Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
-
Updated
Jan 9, 2025 - Cairo
#
proof-system
Here are 22 public repositories matching this topic...
Zero-Knowledge Proof Systems Circuit Compiler
-
Updated
Jan 23, 2025 - C++
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
-
Updated
Mar 24, 2025 - Rust
A blazingly fast sdk for running proofs on the browser... and verifying them on-chain
-
Updated
Jul 27, 2023 - Cairo
Proof-backed, drift-resistant AI memory for your codebase. 11 languages, 28 MCP tools, evidence-linked claims.
tree-sitter typescript ai memory sqlite mcp developer-tools vscode-extension cursor copilot ai-agents claude proof-system code-intelligence llm context-window model-context-protocol codebase-indexer
-
Updated
Apr 5, 2026 - TypeScript
efficient proof of solvability with characteristic polynomials
-
Updated
Jul 29, 2021 - C++
Master Thesis Project at LARA (EPFL)
-
Updated
Aug 9, 2022 - Scala
A gnark (Go) circuit that verifies a RISC Zero succinct STARK receipt inside a Groth16 proof over BLS12-381 — settling RISC Zero proofs on Cardano with one native pairing check, no BN254.
rust golang cryptography plutus stark cardano zero-knowledge-proofs proof-system bls12-381 groth16 zk-snark gnark zkvm risc-zero recursive-proofs
-
Updated
Jun 28, 2026 - Go
A single-machine, fixed-AIR canonical STARK engine with independent C++, Rust, and AMD GPU implementations.
rust cryptography cpp high-performance-computing gpu-acceleration hip merkle-tree stark rocm fri amd-gpu goldilocks zero-knowledge-proofs proof-system finite-field canonical-serialization qmg64p01
-
Updated
Jul 14, 2026 - HIP
Algebraic Proof System
-
Updated
Nov 19, 2025 - Rust
Python ZK-STARK implementation for learning and research
-
Updated
Dec 26, 2025 - Python
The monorepo containing all code for the QED project
-
Updated
Apr 25, 2024 - Rust
⚡ATTACK ≠ DATA LOSS — A proof engine that demonstrates deterministic data survivability under disruption.
distributed-systems encryption fault-tolerance data-engineering research-project reconstruction cyber-security data-protection data-recovery data-integrity storage-systems proof-system systems-architecture cyber-resilience deterministic-systems data-survivability backup-alternative raid-alternative
-
Updated
May 16, 2026 - Python
PH2-based zero-knowledge proof and attestation core implemented in C++20.
cryptography privacy cpp merkle attestation zero-knowledge cryptographic-core fri zero-knowledge-proofs proof-system petoron
-
Updated
Jun 1, 2026 - C++
A simple language for making propositional proofs in a Fitch-style natural deduction system
-
Updated
May 1, 2025 - Python
A satirical, highly overengineered Python proof suite verifying the equivalence of 0 ≡ 0 across 20 distinct scientific and mathematical paradigms.
-
Updated
Jul 15, 2026 - Python
Substrate pallet for on-chain proof verification
-
Updated
Jun 12, 2025 - Rust
A verifiable Quality-on-Demand (QoD) proof service that produces cryptographically signed telemetry artifacts and enables independent verification of network performance claims.
api telemetry ed25519 quality-of-service jwks tamper-evident proof-system crytography fastapi network-qos qod network-assurance sla-verification
-
Updated
Mar 26, 2026 - Python
Implementation of the proof system for verifying quantized graph neural network
-
Updated
May 16, 2025 - Python
Modeled the proof systems of Analytic-Tableaux, First-Order-Resolution, ROBDD etc. in Ocaml to efficiently solve the SAT problem
first-order-logic sat-solver propositional-logic natural-deduction robdd hilbert-axioms resolution-proof proof-system analytic-tableaux
-
Updated
Jan 26, 2021 - OCaml
Improve this page
Add a description, image, and links to the proof-system topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the proof-system topic, visit your repo's landing page and select "manage topics."