Statistics for topic zero-knowledge-proofs
RepositoryStats tracks 584,797 Github repositories, of these 55 are tagged with the zero-knowledge-proofs topic. The most common primary language for repositories using this topic is Rust (25).
Stargazers over time for topic zero-knowledge-proofs
Most starred repositories for topic zero-knowledge-proofs (view more)
Trending repositories for topic zero-knowledge-proofs (view more)
Cairo is the first Turing-complete language for creating provable programs for general computation.
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.
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.
Cairo is the first Turing-complete language for creating provable programs for general computation.
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
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.
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!
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.
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!
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.
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 🐺.
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 🐺.
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
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.
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.
零知识证明入门教程。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.
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).