sandstorm
Proof generator
A Cairo prover built on top of miniSTARK that generates proofs for computational integrity and verification of Smart Contract programs.
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
158 stars
7 watching
22 forks
Language: Rust
last commit: 10 months ago
Linked from 1 awesome list
cairocairo-langcomputational-integrityministarkstarkstarknetzkp
keep-starknet-strange/awesome-starknetRelated projects:
| Repository | Description | Stars |
|---|---|---|
 starkware-libs/cairo | A Rust-based language for creating provable programs with computational integrity | 1,630 |
 lambdaclass/cairo-vm | An implementation of the Cairo VM in Rust for writing provable programs and generating STARK proofs for general computation. | 527 |
 fluidex/plonkit | Provides tools and utilities for generating and verifying proofs in a zkSNARK proof system | 159 |
 ddkang/zkml | A framework for constructing proofs of ML model execution in ZK-SNARKs | 349 |
 microsoft/spartan | A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support | 707 |
 dusk-network/plonk | A Rust implementation of a secure cryptographic system for efficient zero-knowledge proofs | 554 |
| starkware-libs/stone-prover | A proof system based on cutting-edge cryptography that enables efficient verification of cryptographic proofs. | 261 |
 semaphore-protocol/semaphore | A protocol for anonymous interactions, enabling private group membership and message sending across blockchains without revealing identity. | 938 |
 milancermak/xoroshiro-cairo | An implementation of an XORoshiro-based pseudorandom number generator in Cairo for use in on-chain smart contracts. | 36 |
 credence0x/cairo-damn-vulnerable-defi | A set of challenges to learn offensive security of smart contracts on Starknet using the Cairo language. | 21 |
 fuzzinglabs/thoth | An all-in-one security toolkit for analyzing and decoding smart contract bytecode | 249 |
 supranational/sppark | A high-performance library for accelerating zero-knowledge proof generation operations on GPUs | 188 |
| microsoft/nova | A high-speed recursive proof system for cryptographic primitives | 722 |
| lambdaclass/cairo-vm_in_go | An implementation of a programming language for writing provable programs in Go. | 57 |