Community edition of Nightfall_4
☆18Sep 16, 2026Updated this 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 last year
- ☆28Apr 7, 2026Updated 5 months ago
- A framework for extracting and formally verifying constraint systems from the Plonky3 zkDSL in Lean.☆17Jan 21, 2026Updated 7 months ago
- ☆11Sep 10, 2024Updated 2 years ago
- Plonkish Nova implementation along with advanced features☆16Dec 16, 2023Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf☆42Sep 14, 2023Updated 3 years ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆41Oct 28, 2025Updated 10 months ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Jul 18, 2025Updated last year
- Extracting the semantics of Noir to Lean for formal verification☆41Jun 19, 2026Updated 3 months ago
- ☆12Dec 12, 2025Updated 9 months ago
- A monorepo for vOPRF-based secure nullifiers☆23Apr 13, 2025Updated last year
- zkSnark circuit compiler☆13Aug 5, 2026Updated last month
- Synthesis of Formally Verified Cryptographic Primitives☆17Sep 1, 2026Updated 2 weeks ago
- Semaphore v4 implemented in Rust☆11Oct 7, 2025Updated 11 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- STARK-based signature aggregation for Falcon and SPHINCS+☆16Mar 23, 2026Updated 5 months ago
- A lattice-based non-interactive folding scheme written in Rust☆129May 1, 2026Updated 4 months ago
- Semaphore Protocol with Noir.☆11Mar 14, 2025Updated last year
- The Michelson Symbolic vErifier☆13Feb 3, 2023Updated 3 years ago
- ☆22Updated this week
- Yet Another Bridge with Grind Labs and Herodotus☆20Jan 5, 2024Updated 2 years ago
- Hodl portfolio☆11May 24, 2026Updated 3 months ago
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆16Jul 24, 2026Updated last month
- Rust language proof-carrying data framework☆57Updated this week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A repository for the Leela VS the World project for On-Chain machine learning☆19Sep 26, 2024Updated last year
- Reproducible hardened Linux images for confidential computing and safe MEV☆24Updated this week
- ☆19May 5, 2020Updated 6 years ago
- ☆102Aug 21, 2026Updated 3 weeks ago
- Tutorial: deploy privacy preserving application on Ztarknet☆19Nov 20, 2025Updated 9 months ago
- Client side zero-knowledge proving.☆138Sep 10, 2026Updated last 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☆28Updated this week
- Computable Polynomials in Lean.☆47Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A support library for working with zero knowledge cryptography in Lean 4.☆50May 27, 2026Updated 3 months ago
- A Rust library for proof-carrying disclosures☆23Apr 10, 2024Updated 2 years ago
- Universal Registry Contract☆14Oct 15, 2025Updated 11 months ago
- ☆25Updated this week
- Trinity is a two-party computation (2PC) protocol designed to minimize interaction rounds, enable input verifiability, and facilitate reu…☆27Aug 8, 2025Updated last year
- Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.☆16Mar 3, 2024Updated 2 years ago
- PADL - Private, Auditable and Distributed ledger, is a tool based on zero-knowledge proofs for exploring and building private and auditab…☆22Updated this week