It almost certainly doesn't make sense to use a lattice-based proof system. There is this actually very, very strange ugly proof system that turns a lattice.-based relation into something with the looked at curves. That really allows you to get better performance than working with regular zk-snark and better proof sizes because there's no way anyone's okay with megabyte proof sizes. And if you need sort of a different kind of output, so you could never use some of the techniques that have been used in existing SNARKs because it's so very different.
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: