Solidity based prover for AWS Nitro enclave attestations
☆25Dec 13, 2024Updated last year
Alternatives and similar repositories for NitroProver
Users that are interested in NitroProver are comparing it to the libraries listed below
Sorting:
- A very simple router to exchange tokens for the best price on any UniswapV2 like AMM.☆14Aug 31, 2021Updated 4 years ago
- message signing and verifying for Lightning Network☆11Jan 6, 2023Updated 3 years ago
- Rust Implementation of Ethereum Binary Tree EIP-7864☆16Jul 13, 2025Updated 7 months ago
- zkSNARK full flow example in Go☆12Jun 3, 2020Updated 5 years ago
- Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters☆11Jun 3, 2021Updated 4 years ago
- Rust utilities for the ethereum attestation service.☆14Apr 6, 2024Updated last year
- Signing, Keystore, ABI and RLP encoding utilities for EVM / Ethereum / secp256k1 based blockchains. Written in Go with an enterprise frie…☆13Dec 22, 2025Updated 2 months ago
- A Swiss knife for Noir☆17Feb 20, 2026Updated last week
- A proof-of-concept implementation of KiloNova☆12Oct 15, 2024Updated last year
- Efficient Anonymous Tokens with Private Metadata Bit☆15Mar 7, 2023Updated 2 years ago
- Aptos Keyless ZK circuit implementation in circom, together with a Rust-based ZK proving service☆20Feb 12, 2026Updated 2 weeks ago
- A Payjoin Client Library in JS with TypeScript types☆14Dec 10, 2022Updated 3 years ago
- Poseidon encryption in Typescript and circom (decryption only) on the BN254 elliptic curve☆13Jul 12, 2023Updated 2 years ago
- RealWorld CTF 5th realwrap challenge☆18May 21, 2023Updated 2 years ago
- Mini Ethereum Virutal Machine☆14Jul 31, 2018Updated 7 years ago
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers☆13Jan 16, 2020Updated 6 years ago
- ☆18Jun 30, 2024Updated last year
- forge development env for SUAVE key management☆20Aug 8, 2024Updated last year
- ring-vrf ring proof v2.5☆20Feb 19, 2026Updated last week
- Compact linkable ring signatures. A modification on MLSAG.☆20May 10, 2020Updated 5 years ago
- ☆17Jul 11, 2025Updated 7 months ago
- Implementation of bulletproofs++ in rust☆18May 8, 2023Updated 2 years ago
- Automated verification of uniqueness property for ZKP circuits☆45Jun 6, 2024Updated last year
- ☆20Aug 13, 2024Updated last year
- An Ethereum validator crawler☆16Jan 14, 2026Updated last month
- ☆18Nov 22, 2024Updated last year
- library for utreexo accumulator in c++☆20Apr 12, 2023Updated 2 years ago
- Go implementation of Merkle Tree Certificates☆24Nov 5, 2025Updated 3 months ago
- Rust crypto library for zero-knowledge proofs☆19Jan 14, 2026Updated last month
- A collection of awesome Miden links, resources and shiny things.☆18Jun 12, 2025Updated 8 months ago
- Open-Source Libraries for Circom by ABDK Consulting☆19Dec 22, 2019Updated 6 years ago
- circom runtime☆20Oct 18, 2024Updated last year
- Implementation of the Hades permutation algorithm used in Poseidon Hashes with ZKProof capabilities.☆22Jan 24, 2024Updated 2 years ago
- A TLA+ formalization of the algorithm described in "Paxos Made Simple"☆21Jan 28, 2025Updated last year
- The first CHIP-8 zkvm☆21Jun 4, 2024Updated last year
- A Rust library for proof-carrying disclosures☆23Apr 10, 2024Updated last year
- Bitcoin DSL for scripting layer two contracts and interactions with bitcoin nodes☆20Aug 22, 2024Updated last year
- ☆20Dec 24, 2019Updated 6 years ago