Statistics for topic zero-knowledge-proofs
RepositoryStats tracks 610,147 Github repositories, of these 59 are tagged with the zero-knowledge-proofs topic. The most common primary language for repositories using this topic is Rust (28).
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.
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
A Rust Implementation of the PLONK ZKP System and Extensions
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.
零知识证明入门教程。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.
A Rust Implementation of the PLONK ZKP System and Extensions
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.
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.
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.
A Framework of Lattice-based Zero-knowledge Arguments in Rust
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.
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.
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.
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
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
Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.
🔒 ZK-WASM: Zero-Knowledge Proofs in Rust 🦀, compiled to WebAssembly 🕸️, bridged with JavaScript 🚀
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).