Awesome Open Source

Programming Languages

Search results for zkp stark

4 search results found

Cairo Vm ⭐ 462

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

Sandstorm ⭐ 146

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

Efficient pairing library, written in Cairo 🐺.

Eigen Zkvm ⭐ 87

A private zkVM basing on layered proof system

STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.

Winterfell ⭐ 6

A fork of the novifinancial/winterfell STARK library.

Related Searches

Blockchain Zkp (26)

Cryptography Zkp (25)

Zk Snarks Zkp (23)

Zero Knowledge Proofs Zkp (15)

Rust Stark (11)

Zkp Circom (11)

Cryptography Stark (8)

Zero Knowledge Zkp (7)

Zero Knowledge Stark (6)

1-4 of 4 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.