sandstorm
by andrewmilson
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
AI summary
Proof generator
A Cairo prover built on top of miniSTARK that generates proofs for computational integrity and verification of Smart Contract programs.
- stars
- 158
- forks
- 22
- watching
- 7
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Programmable language
A Rust-based language for creating provable programs with computational integrity
Program Verifier
An implementation of the Cairo VM in Rust for writing provable programs and generating STARK proofs for general computation.
Proof verifier
Provides tools and utilities for generating and verifying proofs in a zkSNARK proof system
ddkang/zkml349
Proof generator
A framework for constructing proofs of ML model execution in ZK-SNARKs
Zero-Knowledge Proof System
A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support
Proof system
A Rust implementation of a secure cryptographic system for efficient zero-knowledge proofs
Proof system
A proof system based on cutting-edge cryptography that enables efficient verification of cryptographic proofs.
Privacy layer
A protocol for anonymous interactions, enabling private group membership and message sending across blockchains without revealing identity.
PRNG implementation
An implementation of an XORoshiro-based pseudorandom number generator in Cairo for use in on-chain smart contracts.
Smart contract challenges
A set of challenges to learn offensive security of smart contracts on Starknet using the Cairo language.
Smart contract analyzer
An all-in-one security toolkit for analyzing and decoding smart contract bytecode
GPU-accelerated proof generator
A high-performance library for accelerating zero-knowledge proof generation operations on GPUs
Proof system
A high-speed recursive proof system for cryptographic primitives
Programmability library
An implementation of a programming language for writing provable programs in Go.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions sandstorm.
