Exploring Lurk: a New Language for Recursive zk-SNARKs
Zero Knowledge
00:00
How to Build a CvLF Bridge on a Blockchain
There's no need for a VM and this is really important. You just need a simple, very fire contract. We produce proofs that under reasonable assumption of choosing a backend are simply verifiable on chain for a modded cost. And yet, because we are micro VM, we give you those important advantages of recovering a computation model that is intuitive to you. If you're doing a CvLF test stands on a number that is not prime, you should just pay the price of a few iterations, not the entire sequence of operations. So you can prove off-chain, define a list program and then put the verifier on chain on any chain.
Transcript
Play full episode
