This is a Cairo PoC of a simple UTXO-based private payments program. It allows to generate ZK* proofs of spending and creating new outputs with specific amounts and spending conditions. It is mostly inspired by the Zcash Sapling design, but the functionality is greatly reduced plus there are some extra trust assumptions introduced to speed up the development. It should also be noted that STARK proofs (Keccak hash) + Poseidon hash are the only crypto primitives used, which makes the scheme resistant to quantum algorithms.
Scarb is a Cairo package and compiler toolchain manager.
The quickest installation option is:
curl --proto '=https' --tlsv1.2 -sSf https://docs.swmansion.com/scarb/install.sh | shSee more options in the docs
Starknet Foundry is a toolchain for developing smart contracts for Starknet.
Make sure you have Rust installed!
curl -L https://raw.githubusercontent.com/foundry-rs/starknet-foundry/master/scripts/install.sh | shAnd then run:
snfoundryupCairo runner is an interpreter that produces all the necessary artifacts for the proving.
cargo install --git https://github.com/lambdaclass/cairo-vm cairo1-runSTARK One is the most battle tested prover out there, used in production for more than 3 years by Starknet and multiple StarkEx validiums (appchains).
See https://stone-packaging.pages.dev/install/binaries
Integrity is a set of Cairo contracts and a toolchain for recursive proving on Starknet.
cargo install --git https://github.com/m-kus/integrity-calldata-generator --rev e6206805dfe481cbd8f1fbf2629957ae505a8828 swiftnessDepending on the entrypoint:
make shield-args
make transfer-args
make unshield-args
make artifacts
make prove
make calldata
make register-fact
Paste the fact hash and query the result.