stone-prover
Proof system
A proof system based on cutting-edge cryptography that enables efficient verification of cryptographic proofs.
261 stars
10 watching
76 forks
Language: C++
last commit: about 2 years agoLinked from 1 awesome list
keep-starknet-strange/awesome-starknetRelated projects:
| Repository | Description | Stars |
|---|---|---|
| starkware-libs/cairo-lang | A language and package for writing provable programs in Python. | 1,350 |
| starkware-libs/starkex-contracts | A Scalability Engine for Crypto Exchanges using Cryptographic Proofs and STARKs | 283 |
 microsoft/nova | A high-speed recursive proof system for cryptographic primitives | 722 |
| starkware-libs/cairo | A Rust-based language for creating provable programs with computational integrity | 1,630 |
| 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 |
 sunscreen-tech/sunscreen | A compiler for encrypted computation and proof systems based on fully homomorphic encryption | 250 |
 andrewmilson/sandstorm | A Cairo prover built on top of miniSTARK that generates proofs for computational integrity and verification of Smart Contract programs. | 158 |
 paulmillr/scure-starknet | An audited implementation of Starknet cryptography | 71 |
 scipr-lab/libsnark | A C++ library implementing a cryptographic method for proving the integrity of computations in zero knowledge. | 1,846 |
| scipr-lab/dizk | A Java library enabling verifiable computations in distributed systems using zero-knowledge proofs and scalable arithmetic. | 237 |
 software-mansion/starknet-jvm | A toolkit for interacting with the Starknet blockchain using JVM languages | 65 |
 nalinbhardwaj/zordle | A web application built using Zero-Knowledge Proof technology to verify players' knowledge of word mappings without revealing the words themselves. | 215 |
 ssprove/ssprove | A foundational framework for modular cryptographic proofs in Coq | 56 |
| software-mansion/starknet.py | An SDK for interacting with the Starknet blockchain. | 262 |