stone-prover
AI summary
Proof system
A proof system based on cutting-edge cryptography that enables efficient verification of cryptographic proofs.
- stars
- 261
- forks
- 76
- watching
- 10
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Programming language
A language and package for writing provable programs in Python.
Stark Exchange Engine
A Scalability Engine for Crypto Exchanges using Cryptographic Proofs and STARKs
Proof system
A high-speed recursive proof system for cryptographic primitives
Programmable language
A Rust-based language for creating provable programs with computational integrity
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
Encryption compiler
A compiler for encrypted computation and proof systems based on fully homomorphic encryption
Proof generator
A Cairo prover built on top of miniSTARK that generates proofs for computational integrity and verification of Smart Contract programs.
Starknet crypto library
An audited implementation of Starknet cryptography
Computational proof system
A C++ library implementing a cryptographic method for proving the integrity of computations in zero knowledge.
Zero-knowledge proof system
A Java library enabling verifiable computations in distributed systems using zero-knowledge proofs and scalable arithmetic.
Blockchain toolkit
A toolkit for interacting with the Starknet blockchain using JVM languages
ZK proof game
A web application built using Zero-Knowledge Proof technology to verify players' knowledge of word mappings without revealing the words themselves.
cryptographic proof framework
A foundational framework for modular cryptographic proofs in Coq
Blockchain SDK
An SDK for interacting with the Starknet blockchain.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions stone-prover.
