mimblewimble / grin

Minimal implementation of the Mimblewimble protocol.

sigp / lighthouse

Ethereum consensus client in Rust

namada-net / namada

Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy

creusot-rs / creusot

Creusot helps you prove your Rust code is correct.

starkware-libs / cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

noir-lang / noir

Noir is a domain specific language for zero knowledge proofs

fabio-rovai / open-ontologies

Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.

microsoft / Spartan

Spartan: High-speed zkSNARKs without trusted setup

samvallad33 / vestige

Think before doing, prove before saving. Vestige is a local, deterministic safety kernel for AI agents. Every memory write and agent action is recorded in Strata, an append-only log, so you can see exactly what your agent did and why.

dusk-network / plonk

Pure Rust implementation of the PLONK ZKProof System done by the Dusk team

astrio-labs / forall-mcp

Forall (∀) is a coding harness from Astrio that helps developers build correct software by generating spec-driven code alongside machine-checkable proofs.

EspressoSystems / jellyfish

A Rust Implementation of the PLONK ZKP System and Extensions

NuvexNetwork / nuvex

Solana-native verifiable compute and oracle protocol. Programs accept a job, an input, constraints, and a callback. Randomness is the first job. An active node can fulfill a VRF request with an ECVRF proof after it locks the configured stake and sends a heartbeat. Fees still do not move.

nwiizo / suiko

日本語文書の自然さと読みやすさを再現可能に診断するRust CLI / Deterministic diagnostics for natural and readable Japanese writing

proofofbots / web-re-toolkit

Headless Akamai & Kasada solver that runs without a browser, and the reversing toolkit it was built with

Momoko-Ayase / Senbei

Static Crackproof-protected binaries unpacker

Dicklesworthstone / franken_accounting

Universal, evidence-native double-entry accounting system of record in Rust on FrankenGraphDB: bitemporal, append-only with first-class restatements, exact money algebra, counterfactual branches, in-database forensic analytics, outsider-verifiable proofs, and an agent-first CLI/MCP surface for CPAs, regulators, litigators, and investigators.