Community edition of Nightfall_4
☆18Jul 7, 2026Updated last week
Alternatives and similar repositories for nightfall_4_CE
Users that are interested in nightfall_4_CE are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implementation for https://eprint.iacr.org/2025/1300☆44Sep 2, 2025Updated 10 months ago
- ☆27Apr 7, 2026Updated 3 months ago
- A framework for extracting and formally verifying constraint systems from the Plonky3 zkDSL in Lean.☆16Jan 21, 2026Updated 6 months ago
- ☆11Sep 10, 2024Updated last year
- Plonkish Nova implementation along with advanced features☆16Dec 16, 2023Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf☆42Sep 14, 2023Updated 2 years ago
- A repository for the Leela VS the World project for On-Chain machine learning☆19Sep 26, 2024Updated last year
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆41Oct 28, 2025Updated 8 months ago
- ☆13Mar 14, 2024Updated 2 years ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆23Jul 18, 2025Updated last year
- Extracting the semantics of Noir to Lean for formal verification☆41Jun 19, 2026Updated last month
- Client side zero-knowledge proving.☆108Updated this week
- A multisig Wallet for the Cardano Ecosystem☆11Dec 24, 2025Updated 6 months ago
- A monorepo for vOPRF-based secure nullifiers☆23Apr 13, 2025Updated last year
- 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.
- zkSnark circuit compiler☆13Apr 29, 2026Updated 2 months ago
- Synthesis of Formally Verified Cryptographic Primitives☆15Jul 1, 2026Updated 2 weeks ago
- Semaphore v4 implemented in Rust☆11Oct 7, 2025Updated 9 months ago
- STARK-based signature aggregation for Falcon and SPHINCS+☆16Mar 23, 2026Updated 3 months ago
- A lattice-based non-interactive folding scheme written in Rust☆129May 1, 2026Updated 2 months ago
- Semaphore Protocol with Noir.☆11Mar 14, 2025Updated last year
- The Michelson Symbolic vErifier☆13Feb 3, 2023Updated 3 years ago
- ☆17Jul 14, 2026Updated last week
- Yet Another Bridge with Grind Labs and Herodotus☆20Jan 5, 2024Updated 2 years 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.
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆16Jul 10, 2026Updated last week
- Rust language proof-carrying data framework☆56Jul 13, 2026Updated last week
- Hodl portfolio☆11May 24, 2026Updated last month
- Reproducible hardened Linux images for confidential computing and safe MEV☆23Updated this week
- ☆19May 5, 2020Updated 6 years ago
- Tutorial: deploy privacy preserving application on Ztarknet☆19Nov 20, 2025Updated 8 months ago
- ☆102Updated this week
- Reader for ICAO 9303 electronic machine readable travel documents.☆42Feb 21, 2025Updated last year
- Plonky3 native support for p3-uni-stark and p3-batch-stark recursion... and more☆25Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Computable Polynomials in Lean.☆46Jul 14, 2026Updated last week
- A support library for working with zero knowledge cryptography in Lean 4.☆50May 27, 2026Updated last month
- Fiat-Shamir for the masses.☆100Updated this week
- A Rust library for proof-carrying disclosures☆23Apr 10, 2024Updated 2 years ago
- ☆24Updated this week
- Universal Registry Contract☆14Oct 15, 2025Updated 9 months ago
- Trinity is a two-party computation (2PC) protocol designed to minimize interaction rounds, enable input verifiability, and facilitate reu…☆27Aug 8, 2025Updated 11 months ago