Zafny - Framework for Writing Formally Verified Zero-Knowledge Circuit
Discover how to create formally verified zero-knowledge circuits using Zafny framework, exploring its implementation and verification capabilities for blockchain applications.
Introduction to MPC and Circom-MPZ
Dive into the fundamentals of Multi-Party Computation (MPC) and explore circom-mpz implementation, covering essential concepts and practical applications in blockchain technology.
Privacy-First, User-Centric, Defensive Applications in Blockchain Development
Explore the principles of privacy-focused and user-centric decentralized applications, emphasizing defensive development strategies for enhanced security and user protection.
zkBitcoin - Zero-Knowledge Proofs for Bitcoin Transactions
Dive into the innovative concept of zkBitcoin with expert David Wong, exploring zero-knowledge proofs and their application in Bitcoin's ecosystem for enhanced privacy and scalability.
Client-side Proving on Mobile Made Easy
Discover how to implement efficient client-side proving on mobile devices through Mopro, exploring practical applications and optimization techniques for blockchain technology.
Plonky3 and Valida - Pushing the Performance and Usability of Zero Knowledge Proof
Explore cutting-edge developments in zero-knowledge proof systems through Plonky3 and Valida, focusing on enhanced performance metrics and practical implementation strategies.
AnonCreds Specification Overview - 2023
Explore the AnonCreds specification for decentralized trust, focusing on key aspects and benefits of this open-source blockchain technology for enterprise-grade deployments.
Decentralized Business Automation Using zkEVM and Firefly for Enterprise
Explore decentralized business automation using zkEVM and Hyperledger Firefly. Learn about zero-trust architecture, granular access control, and trustless ZK internet for enterprises.
Why You Shouldn't Trust Me
Explore Zero-Knowledge Proofs: a revolutionary approach to information security that eliminates third-party trust, enhances privacy, and combines with web3 for unprecedented value creation.
Security Vulnerabilities in ZK-SNARKs and Their Application in ZK-Rollups
Explore critical security vulnerabilities in zk SNARK systems and their implications for zk rollups, focusing on systematic analysis and potential mitigation strategies in blockchain scaling solutions.
Sigma Unleashed - A Realistic Implementation
Dive into practical implementation strategies for Sigma, exploring real-world applications and technical considerations for effective deployment and optimization in modern systems.
Threat Modeling for Complex Systems in Web3
Dive into advanced threat modeling techniques for Web3 systems, exploring security frameworks and risk assessment strategies for complex blockchain architectures.
LURK: Lambda, the Ultimate Recursive Knowledge - A LISP-Based Language for zk-SNARKs
Explore Lurk, a LISP-based language for zk-SNARKs, enabling Turing-complete zero-knowledge proofs. Learn about its design, theory, and innovative content addressing approach for efficient programming.
Polygon ID: Decentralized Identity Leveraging ZK Proofs
Explore Polygon ID's decentralized identity system using ZK proofs. Learn about selective disclosure, identity management, and the interplay between blockchain technologies.
Polynomial Commitments and SNARKs
Explore advanced cryptographic concepts like polynomial commitments and SNARKs in this comprehensive session from Crypto 2024, chaired by Yupeng Zhang.
SNARKs - Introduction and Fundamentals
Explore cutting-edge developments in SNARKs (Succinct Non-Interactive Arguments of Knowledge) at this Crypto 2024 session, chaired by Nir Bitansky.
SNARKs 2 - Advanced Cryptographic Protocols
Explore advanced cryptographic concepts and latest developments in SNARKs at this Crypto 2024 session, chaired by Jonathan Bootle.
Zero-knowledge Proofs - Crypto 2024
Explore cutting-edge developments in zero-knowledge proofs at this Crypto 2024 session, featuring expert presentations and discussions on cryptographic advancements.
Cloud Cryptography
Explore cutting-edge cloud cryptography techniques and advancements presented at Crypto 2024, chaired by Giuseppe Persiano. Gain insights into the latest research and innovations in this critical field.
Interactive and Zero-knowledge Proofs
Explore cutting-edge developments in interactive and zero-knowledge proofs at this Crypto 2024 session, chaired by Rafail Ostrovsky. Gain insights into advanced cryptographic techniques.
Enhancing Privacy and Security with ZKP and Encryption in Hyperledger Fabric
Explore advanced cryptographic techniques for data privacy in Hyperledger Fabric. Learn about Zero Knowledge Proof, Homomorphic Encryption, and their applications in various industries.