delayed proving Some like it proved: an architecture for provable apps, with Lancelot at zkSummit 12 Lancelot's talk at zkSummit 12 on what we think will be the future of dApps and smart contract development thanks to zero-knowledge proofs.
delayed proving An introduction to delayed proving Learn what is Delayed Proving on Hylé, how it works, how it differs from the status quo, and why you should care.
