Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
-
Updated
Jan 9, 2025 - Cairo
#
proof-system
Here are 21 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
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
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++
⚡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
A simple language for making propositional proofs in a Fitch-style natural deduction system
-
Updated
May 1, 2025 - Python
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
Substrate pallet for on-chain proof verification
-
Updated
Jun 12, 2025 - Rust
Open-source, non-territorial registry and proof stack for machine-native, off-planet-capable autonomous infrastructure.
registry cryptography governance receipts proof-system verifiability space-machine-registry ssh-signatures non-territorial
-
Updated
Jun 6, 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
OracleNano is a lightweight, offline-first cryptographic proof system (PoC) built as a PWA.
rust privacy typescript crypto pwa offline-first ipfs blockchain selfhosted oracle wasm ledger developer-tools digital-signature web3 zero-trust proof-system verifiable-data
-
Updated
May 22, 2025
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."