A little bit about my journey into cryptography and how I ended up at Interfold. I'm really proud to be part of this team and excited about what we're building together!
Meet @ZaraJavar, Senior Cryptography Engineer at the Interfold.
From pure math and formal security verification to threshold FHE and ZKPs, Zara is building the cryptographic core of E3s so private inputs can produce publicly verifiable outcomes.
Show more
The $FOLD auction is live.
Eligible participants can now bid through the official Uniswap CCA interface.
The auction closes Friday, July 10 @ 10am ET / 14:00 UTC.
Official link below.
Show more
FOLD auction week begins.
Eligible participants can now register, verify, and prepare bids ahead of the $FOLD auction.
The auction begins Wednesday, July 8 at 10am ET / 14:00 UTC on @Uniswap.
Official link below.
Show more
LATEST: Ethereum co-founder @VitalikButerin praised @theInterfold, a new privacy-focused voting protocol using ZK proofs, FHE, and Ethereum, calling it the realization of ideas he has pushed for nearly a decade around censorship-resistant and anonymous onchain voting systems.
Show more
More people should know about the Interfold.
It's basically what I've been yelling at people to build with the MACI ideas ( ) for almost a decade, and now it exists, in a generalized form.
The idea is: a privacy protocol optimized for things like voting (and other use cases eg. secret-ballot auctions). The mechanism generates a threshold encryption key, and people send in their votes onchain, using a ZKP to prove eligibility. An arbitrary computation on the votes gets run inside FHE, and then threshold-decrypted.
From what I can tell (the docs are good ), it gets pretty optimal security guarantees:
* Voter anonymity can be made unconditional if eligibility is proven with ZK-SNARKs
* Censorship resistance is guaranteed by ethereum (votes can be posted directly onchain, and there's a proof that all posted votes are taking into account)
* The correctness of the outputted result can be ensured via ZK over FHE
* Liveness and coercion resistance depend on M-of-N honesty; unavoidable given present-day technology
The main limitation is that today "ZK over FHE" is only properly available for additive vote tallying, as it's too expensive for computations that involve multiplication or other more complicated manipulation at the moment. There's work in progress on slashing-based / optimistic computation for such situations.
(And of course ideally in the long term we'd figure out obfuscation so you can get rid of the M-of-N committees😃)
Show more
New from the Interfold Cryptography series:
How do you make a multiparty cryptographic system publicly verifiable, from distributed key generation through final decryption?
Enclave is now The Interfold.
What we built isn’t a hardware enclave, but a distributed network for confidential coordination.
The Interfold names that network. 🌐
