@pgafZK

pgafZK has been a member of Linktree for 2 years and joined in July 2024. Resources pgafZK has populated their site with include: • ZK Education Database • Follow me on Twitter • Reflections after zkSummit 9 • Reflections after zkSummit 10 • What is verifiable computation & why should I care? • RISC Zero Developer Docs • Want to build verifiable software? • RISC Zero | Universal ZK Knowledge • Want to earn rewards by running hardware? • YouTube: Verifiable Computation / ZK • ZK10: FRI-based recursion with a Groth16 Wrapper - Paul Gafni • High-level overview of STARKs (2 minutes) • High-level overview of FRI (2 minutes) • Intro to Finite Fields (1 hour) • Intro to Reed Solomon Codes (1 hour) • Intro to FRI (1 hour) • FRI Mechanics (1 hour) • Quotients in ZK Protocols (1 hour) • Proof System Overview | RISC Zero Developer Docs • STARK by Hand (12 chapters) • Using Random Linear Combinations in Proof System Design - HackMD • Communication Complexity of Recursion vs. Folding • Translating FRI Soundness to Unique Decoding Radius • The 4 Features of a zkVM: How to Choose your ZK Toolkit • Honey, I Shrunk the Proof: Enabling on-chain verification for RISC Zero • Revolutionizing DeFi Security: ZK Proof of Exploit on RISC Zero • More facets of Paul