computational-integrity

There are 0 repository under computational-integrity topic.

• starkware-libs / cairo

  Cairo is the first Turing-complete language for creating provable programs for general computation.

  cairocomputational-integritystarknetzero-knowledge-proofszkp
  Language:Rust 1717

• andrewmilson / sandstorm

  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)

  cairostarkstarknetministarkcairo-langcomputational-integrityzkp
  Language:Rust 158