#

recursive-zkps

Here are 3 public repositories matching this topic...

o1-labs / proof-systems

The proof systems used by Mina

kimchi bulletproofs zksnarks zero-knowledge-proofs plonk recursive-zkps

Updated Jun 10, 2026
Rust

Raunaque97 / RepeatingLifeZK

game-of-life mina zksnarks recursive-zkps o1js

Updated Oct 15, 2023
TypeScript

dry-abscess93 / proof

Record and verify tamper-proof SHA-256 proof chains for AI decisions via MCP, SDK, or REST API, with JSON-LD export for audits

html link-checker library research type-theory poc agda coin advantech knowledge-proofs kimchi zk-snarks formality bulletproofs snark zksnarks explaining-snarks plonk recursive-zkps

Updated Jun 11, 2026
TypeScript

Improve this page

Add a description, image, and links to the recursive-zkps topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the recursive-zkps topic, visit your repo's landing page and select "manage topics."