We haven't seen anything better come up for proving ciphertext or well-formed than this particular proof system so far. How far out do you think we are then on the FHE front? For like private smart contracts, probably a year out. I would say for some of those auction use cases, particularly for searchers, that might only be a few months to six months out. There will be a DSL for some of our zero knowledge proof stuff unfortunately because it's a new system and it's going to need totally new language to interact with.
This week Anna Rose chats with Ravital Solomon, founder of Sunscreen. They cover her early interest in lattice-based cryptography and how this paved the way for her work on FHE, starting at NuCypher then with her startup Sunscreen. They dive into the challenges involved when building with FHE as well as exploring the power in combining ZKP and FHE. They also discuss the early emergence of lattice-based zero knowledge proofs.
Here are some additional links for this episode:
Check out the ZK Jobs Board here: ZK Jobs.
Polygon zkEVM is here. This performant, ZK-powered, open-source, EVM-equivalent rollup launched its Mainnet Beta last month. Polygon zkEVM is making scaling truly frictionless—fast finality and EVM-equivalence means devs can do everything they can do with the EVM, only cheaper.
To connect to Polygon zkEVM, go to Polygon.technology
If you like what we do: