The chapter discusses NIST's interest in zero knowledge (ZK) and how it can be applied in threshold applications. It explores the challenges of lattice-based zero knowledge proofs and the limitations of proving hidden elements' smallness.
In this week’s episode, Anna Rose is joined by Nigel Smart, Professor at KU Leuven and Chief Academic Officer at Zama to discuss the advancements in MPC over recent years. Nigel unpacks core components of MPC systems, including garbled circuits, secret sharing, and FHE. They discuss both systems-level applications like DKGs and Threshold Signature Schemes and actual real-world deployments. Throughout the episode, they also discuss how MPC and ZK differ, but how they can be used together to enhance each other's capabilities.
RISC Zero’s out-of-the-box tooling allows developers to access the magic of ZK proofs from any chain without needing to learn custom languages or build custom zk circuits.
Bonsai, RISC Zero’s most anticipated product, allows developers to prove huge programs off-chain, roll them into one succinct proof, and verify anywhere with low amounts of gas.