stone-prover
Proof system
A proof system based on cutting-edge cryptography that enables efficient verification of cryptographic proofs.
260 stars
9 watching
76 forks
Language: C++
last commit: 2 months ago
Linked 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,348 |
| starkware-libs/starkex-contracts | A Scalability Engine for Crypto Exchanges using Cryptographic Proofs and STARKs | 279 |
 microsoft/nova | A high-speed recursive proof system for cryptographic primitives | 714 |
| starkware-libs/cairo | A Rust-based language for creating provable programs that can perform general computation | 1,599 |
| microsoft/spartan | A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support | 694 |
 dusk-network/plonk | A Rust implementation of a secure cryptographic system for efficient zero-knowledge proofs | 551 |
 sunscreen-tech/sunscreen | A compiler for encrypted computation and proof systems based on fully homomorphic encryption | 247 |
 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 | 70 |
 scipr-lab/libsnark | A C++ library implementing a cryptographic method for proving the integrity of computations in zero knowledge. | 1,838 |
| scipr-lab/dizk | A Java library enabling verifiable computations in distributed systems using zero-knowledge proofs and scalable arithmetic. | 234 |
 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 formalizing cryptographic proofs in Coq. | 56 |
| software-mansion/starknet.py | A Python SDK for interacting with Starknet, a Layer 2 scaling solution for Ethereum. | 260 |