hyrax-pcs-commit repository
☆14Dec 16, 2025Updated 2 months ago
Alternatives and similar repositories for hyrax-pcs-commit
Users that are interested in hyrax-pcs-commit are comparing it to the libraries listed below
Sorting:
- Transaction sitter. Signs transactions and sends them to the blockchain.☆18Sep 24, 2025Updated 5 months ago
- Transaction sitter. But a glorious monolith.☆28Jan 7, 2026Updated last month
- contract-deployer repository☆16Jan 8, 2026Updated last month
- Herodotus Data Processor using SP1 as backend☆17Jan 27, 2026Updated last month
- worldcoin-grants-contracts repository☆17Dec 16, 2025Updated 2 months ago
- Smart contracts for the WLD token.☆48Dec 16, 2025Updated 2 months ago
- DEPRECATED. world-tree repository☆35Dec 3, 2025Updated 2 months ago
- Semaphore Merkle Tree Batcher (SMTB) trusted setup ceremony☆27Sep 23, 2025Updated 5 months ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Jul 18, 2025Updated 7 months ago
- snarkjs powers of tau universal setup (.ptau) deserializer for gnark's groth16 bn254 phase1 trusted setup☆31Dec 16, 2025Updated 2 months ago
- ☆12Sep 6, 2023Updated 2 years ago
- UPA is the proof aggregation engine built by NEBRA team.☆38Nov 19, 2025Updated 3 months ago
- Extracting the semantics of Noir to Lean for formal verification☆36Feb 20, 2026Updated last week
- signup-sequencer repository☆100Feb 20, 2026Updated last week
- zkSnark circuit compiler☆12Feb 19, 2026Updated last week
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆50Jul 5, 2023Updated 2 years ago
- A zkML framework for ensuring the integrity of computational graphs using Circle STARK proofs☆54Sep 3, 2025Updated 5 months ago
- State bridge between the WorldID Ethereum mainnet deployment and WorldID supported networks☆119Feb 12, 2026Updated 2 weeks ago
- ☆13Aug 23, 2023Updated 2 years ago
- Library built from scratch to implement zk-protocols☆13Dec 13, 2023Updated 2 years ago
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 years ago
- Turing machine ZKVM☆10Nov 12, 2023Updated 2 years ago
- File system implementation for the Internet Computer☆11Nov 28, 2025Updated 3 months ago
- Semaphore Protocol with Noir.☆11Mar 14, 2025Updated 11 months ago
- Simple example of motoko outcalls☆10Aug 21, 2024Updated last year
- ☆11Sep 12, 2023Updated 2 years ago
- ☆11Sep 10, 2024Updated last year
- ☆11Jan 28, 2023Updated 3 years ago
- A library that enables to create provable play-by-email games, leveraging Zero-Knowledge proofs.☆11Dec 5, 2024Updated last year
- Celestia derivation pipeline and proof crate built with kona☆15Dec 19, 2025Updated 2 months ago
- ☆11Mar 2, 2024Updated 2 years ago
- CLI for importing Sourcify verified contract to Etherscan in the simplest and fastest way☆10Jun 18, 2023Updated 2 years ago
- CMPUT404-assignment-websockets.☆17Mar 17, 2014Updated 11 years ago
- Batteries included library to configure tracing, logs and metrics☆13Feb 18, 2026Updated last week
- MiniKit - SDK for Mini Apps in World App.☆81Updated this week
- JavaScript tutorial for Zero-Knowledge Proofs using SnarkJS and Circom☆12Jan 7, 2023Updated 3 years ago
- Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNAR…☆11Oct 10, 2023Updated 2 years ago
- A developer's guide to building dapps on Fuel.☆14Sep 15, 2022Updated 3 years ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆21Feb 18, 2026Updated last week