Trending repositories for topic zero-knowledge-proofs
Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.
Cairo is the first Turing-complete language for creating provable programs for general computation.
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
Cairo is the first Turing-complete language for creating provable programs for general computation.
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.
Cairo is the first Turing-complete language for creating provable programs for general computation.
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
An implementation of BBS+ signatures for node and browser environments
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
An implementation of BBS+ signatures for node and browser environments
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Cairo is the first Turing-complete language for creating provable programs for general computation.
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
Cairo is the first Turing-complete language for creating provable programs for general computation.
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
The Web3 Security Resources Hub is a comprehensive collection of curated tools, guides, and best practices for securing decentralized systems and smart contracts in the blockchain space.
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.
zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
An implementation of BBS+ signatures for node and browser environments
This repository contains list of resources to aid your journey of mastering Zero Knowledge Proofs. If you find any resource missing, you can create a pull request and be a contributor of the project.
A curated list of awesome zkEVM resources, libraries, tools and more
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
The Web3 Security Resources Hub is a comprehensive collection of curated tools, guides, and best practices for securing decentralized systems and smart contracts in the blockchain space.
zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!
Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
An implementation of BBS+ signatures for node and browser environments
A Rust Implementation of the PLONK ZKP System and Extensions
Cairo is the first Turing-complete language for creating provable programs for general computation.
This repository contains list of resources to aid your journey of mastering Zero Knowledge Proofs. If you find any resource missing, you can create a pull request and be a contributor of the project.
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
A curated list of awesome zkEVM resources, libraries, tools and more
Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.
The Web3 Security Resources Hub is a comprehensive collection of curated tools, guides, and best practices for securing decentralized systems and smart contracts in the blockchain space.
zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Cairo is the first Turing-complete language for creating provable programs for general computation.
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.
The Web3 Security Resources Hub is a comprehensive collection of curated tools, guides, and best practices for securing decentralized systems and smart contracts in the blockchain space.
zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!
A Rust Implementation of the PLONK ZKP System and Extensions
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
This repository contains list of resources to aid your journey of mastering Zero Knowledge Proofs. If you find any resource missing, you can create a pull request and be a contributor of the project.
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
This repository contains list of resources to aid your journey of mastering Zero Knowledge Proofs. If you find any resource missing, you can create a pull request and be a contributor of the project.
A demo application using Polygon ID to submit ZK proofs of the user's age.
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
Cairo is the first Turing-complete language for creating provable programs for general computation.
A Rust Implementation of the PLONK ZKP System and Extensions
The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.
An implementation of BBS+ signatures for node and browser environments