Stars
29
Forks
6
Language
Go
Last Updated
Oct 26, 2023
Similar Repos
Repo | Language | Stars | Description | Updated At |
---|---|---|---|---|
Haskell | 514 | Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup | May 01, 2023 | |
Haskell | 72 | Schnorr Protocol for Non-interactive Zero-Knowledge Proofs | Mar 27, 2023 | |
C++ | 38 | Efficient and Interactive Zero-Knowledge Proofs | Aug 13, 2022 | |
Solidity | 20 | Extension for zk succinct non-interactive ownership proofs. | Aug 18, 2022 | |
HTML | 47 | Research and implementation for non-interactive blockchain proofs of proofs of work | Sep 13, 2022 | |
None | 2 | Zero-Knowledge files required for generating proofs against circom. | Feb 10, 2023 | |
None | 2 | Nova: Recursive SNARKs without trusted setup | Apr 25, 2022 | |
Rust | 12 | Nova: Recursive SNARKs without trusted setup | Apr 21, 2023 | |
Rust | 122 | Nova: Recursive SNARKs without trusted setup | Aug 08, 2022 | |
Rust | 5 | Nova: Recursive SNARKs without trusted setup | Apr 28, 2023 | |
Rust | 2 | Nova: Recursive SNARKs without trusted setup | Jan 27, 2023 | |
Rust | 384 | Spartan: High-speed zkSNARKs without trusted setup | Aug 29, 2022 | |
Rust | 2 | [Celer Fork] Nova: Recursive SNARKs without trusted setup | Jul 11, 2023 | |
TypeScript | 15 | Client library for generating and using RLN ZK proofs | Apr 19, 2023 | |
TeX | 6 | Non-Interactive Proofs of Proof-of-Work in Chains of Variable Difficulty | Dec 09, 2019 | |
JavaScript | 30 | Library for quickly generating interactive SVGs | Jun 19, 2022 | |
Rust | 59 | Zero Knowledge Proofs Toolkit for CKB | Apr 17, 2023 | |
C# | 17 | A graphical tool for generating SSL certificates without any prior knowledge. | Feb 08, 2023 | |
Python | 3 | A zero-knowledge succinct non-interactive argument of knowledge (zk-SNARK) implementation in Python. | Aug 02, 2022 | |
TypeScript | 8 | TypeScript/JavaScript library for generating DNSSEC proofs for the ENS DNSSEC oracle contract | Jun 29, 2022 | |
TypeScript | 2 | Tools for creating Merkle trees, generating merkle proofs, and verification of merkle proofs. | Nov 28, 2018 | |
Go | 8 | Handy tooling for generating and verifying Merkle proofs | Apr 08, 2022 | |
Rust | 44 | Rust library for efficient, succinct and modular set membership and non-membership proofs | Apr 18, 2023 | |
Rust | 4 | Rust library for efficient, succinct and modular set membership and non-membership proofs | Oct 11, 2022 | |
Lua | 5 | A lua sandbox for executing non-trusted code | May 28, 2022 | |
Lua | 94 | A lua sandbox for executing non-trusted code | Mar 28, 2023 | |
None | 74 | Zero-Knowledge Proofs "for (not too much :wink: ) dummies" | Jul 04, 2022 | |
Rust | 34 | Rust library for generating non-sequential, tightly-packed short IDs. | Feb 12, 2023 | |
Go | 2 | This library enables batch transactions in chaincode without additional trusted systems. | Dec 15, 2021 | |
Haskell | 2 | Haskell library for writing proofs | Dec 05, 2019 | |
Rust | 503 | Noir is a domain specific language for zero knowledge proofs | Apr 25, 2023 | |
Python | 30 | Python code for the post Zero Knowledge Proofs — A Primer | Apr 09, 2023 | |
C++ | 40 | Zilch: A Framework for Developing Zero-Knowledge Proofs for Any Application | May 10, 2023 | |
Haskell | 6 | A Haskell library for generating new names without threading state. | Dec 05, 2019 | |
TypeScript | 73 | A library for generating an interactive SVG visualization of CWL workflows | Mar 29, 2023 | |
Java | 4 | Mongodb Replicator java library for both sharded & non-sharded mongo setup. | Nov 18, 2019 | |
Solidity | 32 | Smart contracts for zero-knowledge proofs verification on-chain with PolygonID | Apr 20, 2023 | |
Java | 9 | 🐉ZeroJava to zMIPS compiler for creation of Zero-Knowledge Proofs | May 11, 2023 | |
Go | 39 | Benchmarking framework for general purpose zero-knowledge proofs languages and libraries | May 03, 2023 | |
None | 3 | Instructions for participating in Loopring's trusted setup multiparty computation ceremony. | Dec 09, 2021 | |
Python | 12 | Non-linear, non-hierarchical knowledge management: Helper scripts for your Zettelkasten. | Jul 14, 2022 | |
OCaml | 7 | BN 128 elliptic curve implementation in OCAML (for Ethereum zero-knowledge proofs) | May 19, 2022 | |
TypeScript | 7 | Zk Tools - Useful tools for developing using zero knowledge proofs, solidity (EVM) | May 09, 2023 | |
JavaScript | 11 | An interactive setup process for Sourcebit | May 04, 2023 | |
Clojure | 2 | Helper Clojure library for integrating Keybase proofs | Apr 19, 2020 | |
C++ | 2 | libsnark: a C++ library for zkSNARK proofs | Oct 28, 2021 | |
C++ | 107 | libsnark: a C++ library for zkSNARK proofs | Aug 03, 2022 | |
Lean | 3 | Library for formalizing cryptography proofs in Lean | Apr 11, 2023 | |
TypeScript | 10 | A simple, IPFS-based multi-party trusted setup utility for snarkjs | Mar 12, 2022 | |
Go | 56 | A non-interactive daemon for host management | Aug 06, 2022 |