lambdaclass / lambdaworks_stark_platinumLinks
STARK Cairo prover using lambdaworks. 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. Cairo and similar proof systems can be used to provide scalability to blockchains.
☆77Updated last year
Alternatives and similar repositories for lambdaworks_stark_platinum
Users that are interested in lambdaworks_stark_platinum are comparing it to the libraries listed below
Sorting:
- ☆42Updated 10 months ago
- Cairo STARK proof verifier for Starknet☆71Updated last month
- cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for wr…☆57Updated last year
- Rust Library for running the Starknet OS via the Cairo VM☆65Updated 3 weeks ago
- cairo-by-example.com☆40Updated last month
- YAS is Yet Another Swap on Starknet but bringing the best prices and yield to Degens.☆53Updated last year
- Celestia -> Starknet bridge☆46Updated last year