Zero Knowledge Proofs with High School Math - June 15, 2023
Explore zero-knowledge proofs using high school math concepts. Gain insights into decentralized identity and self-sovereign identity applications. Enhance understanding of blockchain technology fundamentals.
Zero Knowledge Proofs and SNARKs in Blockchain Application Development
Explore zero knowledge proofs and SNARKs for blockchain development. Learn basic ZK concepts, see a zkSNARK demo on Hyperledger Fabric, and discuss applications with industry experts.
Introducing Zeto - A UTXO-Based Privacy-Preserving Tokens Toolkit for EVM
Explore Zeto, a toolkit for building privacy-preserving token solutions using UTXO model and zero-knowledge proofs. Learn its architecture and see demonstrations of token implementations and DvP flows.
Post-Quantum Signatures from Multiparty Computation - Recent Advances
Explore recent advances in post-quantum signatures derived from multiparty computation, presented by Thibauld Feneuil at PQCrypto 2023.
The Power and Weakness of Randomness When You Are Short on Time
Explore the power and limitations of randomness in computational algorithms, focusing on its impact on efficiency, space-bounded computation, and probabilistic proofs.
Zero Knowledge Proofs and ZK Programming in Blockchain Application Development
Explore zero knowledge proofs and implement a zkRollup system in Circom. Learn SNARK technology, Circom programming, and integrate with Hyperledger Besu or Fabric for blockchain applications.
Hyperledger AnonCreds Workshop - Using ZKP Verifiable Credentials Everywhere
Explore Zero Knowledge Proofs in verifiable credentials with hands-on exercises. Learn about AnonCreds, ledger-agnostic implementations, and future developments in decentralized identity.
DIZK: A Distributed Zero Knowledge Proof System
Discover how DIZK revolutionizes zero knowledge proof systems through distributed computing, enabling 100x larger computations and faster processing for enhanced blockchain security and privacy applications.
Formalizing Soundness Proofs of Linear PCP SNARKs
Delve into the formalization of SNARK security proofs using the Lean theorem prover, exploring soundness verification methods for linear PCP-based constructions including Groth '16.