Projects in Awesome Lists tagged with proof-system
A curated list of projects in awesome lists tagged with proof-system .
https://github.com/kkrt-labs/kakarot
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
cairo-lang ethereum evm proof-system smart-contracts stark starknet zero-knowledge
Last synced: 24 Oct 2025
https://github.com/NilFoundation/zkllvm
Zero-Knowledge Proof Systems Circuit Compiler
compiler llvm proof-system zero-knowledge
Last synced: 09 Apr 2025
https://github.com/NilFoundation/zkLLVM
Zero-Knowledge Proof Systems Circuit Compiler
compiler llvm proof-system zero-knowledge
Last synced: 17 Apr 2025
https://github.com/snarkify/sirius
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
cryptography ivc nova proof-system protostar zero-knowledge-proofs zkp
Last synced: 18 Apr 2025
https://github.com/starkoracles/Aero
A blazingly fast sdk for running proofs on the browser... and verifying them on-chain
cairo-lang miden proof-system stark starknet zero-knowledge
Last synced: 17 Apr 2025
https://github.com/floriancassayre/master-project
Master Thesis Project at LARA (EPFL)
epfl formal-methods lisa proof-assistant proof-system sequent-calculus set-theory
Last synced: 13 May 2025
https://github.com/m1kc3b/oraclenano_pwa_demo
OracleNano is a lightweight, offline-first cryptographic proof system (PoC) built as a PWA.
blockchain crypto developer-tools digital-signature ipfs ledger offline-first oracle privacy proof-system pwa rust selfhosted typescript verifiable-data wasm web3 zero-trust
Last synced: 03 May 2026
https://github.com/ciphercurve/toyni
Toyni is a new, emerging ZK proof system in Rust, developed by Ciphercurve.
formal-verification open-source proof-system research rust stark zero-knowledge zero-knowledge-proofs
Last synced: 18 Apr 2025
