☆15Jun 15, 2026Updated 4 months ago
Alternatives and similar repositories for noir_bigcurve
Users that are interested in noir_bigcurve are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Nov 10, 2023Updated 2 years ago
- Rust implementation of (the non-interactive, non-ZK version of) the Ligero SNARK for arithmetic circuits.☆21Oct 28, 2024Updated last year
- bignum☆36Updated this week
- ☆14Dec 26, 2024Updated last year
- Prover Manager☆27Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆23May 1, 2025Updated last year
- This is where product topics are discussed for Ledger Fresh☆14Mar 3, 2023Updated 3 years ago
- Semaphore Protocol with Noir.☆11Mar 14, 2025Updated last year
- [DEPRECATED] The GPU code of the latest version of SP1 is in the main sp1 repo https://github.com/succinctlabs/sp1☆33Feb 19, 2026Updated 7 months ago
- banyan's hot on-chain data storage zk proofs☆14May 22, 2025Updated last year
- cpp witness calculator for mobile and desktop for iden3 circuits☆17Aug 22, 2025Updated last year
- ☆12Oct 4, 2023Updated 3 years ago
- Groth16 over ICICLE☆46Jul 16, 2025Updated last year
- Notes, code and documents done while reading books and papers.☆25Sep 18, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Generator and supporting evidence for security of the Pluto/Eris half-pairing cycle of elliptic curves☆32Apr 18, 2021Updated 5 years ago
- Starky implementation of Bls12-381☆13May 16, 2024Updated 2 years ago
- WebGPU MSM implementation☆15Oct 28, 2025Updated 11 months ago
- Starknet network’s official MCP server☆15Jan 12, 2026Updated 9 months ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆114Mar 20, 2024Updated 2 years ago
- ☆11Jul 24, 2025Updated last year
- Windowed big integer multiplication implementation on Bitcoin Script☆14Nov 27, 2024Updated last year
- An apples-to-oranges comparison of Solady's `FixedPointMathLib.mulDiv` function vs. an equivalent Huffidity version☆28Mar 9, 2023Updated 3 years ago
- use dotenv as config, parse env to a struct for Rust☆13Jun 19, 2026Updated 3 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Proof of concept implementation of sumcheck over fields of small characteristics.☆20May 16, 2025Updated last year
- Workbook for Introduction to Programmable Cryptography☆34May 3, 2025Updated last year
- ☆24Jul 23, 2026Updated 2 months ago
- A python notebook to explain how Plonky3 underlying works☆21Mar 2, 2025Updated last year
- ☆69Apr 1, 2026Updated 6 months ago
- Big integer arithmetic // secp256k1 & additional P256 ECC operations in circom☆16Dec 8, 2023Updated 2 years ago
- ☆64Oct 7, 2026Updated last week
- zkSnark circuit compiler☆13Aug 5, 2026Updated 2 months ago
- A framework for extracting and formally verifying constraint systems from the Plonky3 zkDSL in Lean.☆17Jan 21, 2026Updated 8 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Noir circuit that verifies Openbanking payments☆12Jun 7, 2025Updated last year
- Awesome things around client-side GPU ecosystems.☆18Mar 23, 2026Updated 6 months ago
- Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust☆22Sep 9, 2025Updated last year
- Pluto Web Prover 🦀☆41Mar 18, 2025Updated last year
- Benchmark for adding Lasso lookup argument to halo2 backend☆38Mar 3, 2024Updated 2 years ago
- RISCU emulator and zk circuit simulator as a reference for a Jolt implementation☆23Dec 11, 2023Updated 2 years ago
- Foundry project for the RLN☆17Nov 10, 2023Updated 2 years ago