proof-system

There are 0 repository under proof-system topic.

• kkrt-labs / kakarot

  Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

  cairo-langethereumevmsmart-contractsstarknetproof-systemstarkzero-knowledge
  Language:Cairo 873

• NilFoundation / zkLLVM

  Zero-Knowledge Proof Systems Circuit Compiler

  compilerllvmproof-systemzero-knowledge
  Language:C++ 262

• snarkify / sirius

  A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

  cryptographyproof-systemzero-knowledge-proofszkpivcnovaprotostar
  Language:Rust 86

• starkoracles / Aero

  A blazingly fast sdk for running proofs on the browser... and verifying them on-chain

  cairo-langmidenproof-systemstarkstarknetzero-knowledge
  Language:Cairo 39

• vadym-f / Sudoku_solvability_proof

  efficient proof of solvability with characteristic polynomials

  proof-systemcharacteristic-polynomial
  Language:C++ 6

• FlorianCassayre / master-project

  Master Thesis Project at LARA (EPFL)

  epflset-theoryproof-assistantproof-systemformal-methodslisasequent-calculus
  Language:Scala 2

• Nicolas-Reyland / aps

  Algebraic Proof System

  algebraalgebraic-structuresproof-systemrustsymbolic-expressions
  Language:Rust 2

• qed-project / project

  The monorepo containing all code for the QED project

  databasemathcomputer-algebra-systemproof-system
  Language:Rust 1

• kkd26 / logic_and_proof

  Simple logic evaluator and prover

  logicproof-systempropositional-logic
  Language:OCaml

• Vedant2311 / SAT-solver-toolbox

  Modeled the proof systems of Analytic-Tableaux, First-Order-Resolution, ROBDD etc. in Ocaml to efficiently solve the SAT problem

  analytic-tableauxsat-solverhilbert-axiomsnatural-deductionresolution-proofpropositional-logicproof-systemrobddfirst-order-logic
  Language:OCaml