Join us for an insightful fireside chat with Rami Khalil (@hashcashier), Senior Protocol Engineer at @RiscZero and @boundless_xyz, to discuss the design space for building applications using the RISC Zero zkVM.
Hosted by @FormallyJon from @VeridiseInc.
Timestamps:
0:00 - What is a zkVM, specifically RISC Zero's zkVM?
03:04 - What’s the dev experience like, and what are the benefits?
06:01 - What guarantees does the zkVM provide?
08:04 - What do you mean by “underconstrained input”?
10:24 - Can you build privacy apps with RISC Zero?
11:11 - Can you maintain privacy while using the proving network?
13:08 - What new apps are now possible thanks to zkVMs?
17:22 - Who’s Boundless for, and how will decentralized proving work?
20:42 - How does integrating RISC Zero impact a protocol’s security?
24:17 - How do you ensure the zkVM is secure?
26:03 - Are you using the best crypto, constraints, and proving systems?
29:18 - Can you leverage parallelism based on machine count?
30:17 - What would you love to see built with RISC Zero?
30:47 - What’s the value of using FHE inside a zkVM?
32:28 - What advice do you have for devs building zkVM-based apps?
33:12 - Examples when ZK proofs won’t benefit an application?
34:45 - Jon’s security tips for developers
40:02 - Has anyone shared interesting use cases for Steel?
46:37 - What else is RISC Zero building beyond Boundless?
49:17 - Any upcoming apps aside from Keccak?