Starkacy

Stark Friendly Privacy Primitives in Cairo

Getting Started

Install Cairo
Clone the repo

git clone https://github.com/hashcloak/Starkacy.git 

Source the cairo environment: source ~/cairo_venv/bin/activate

Running a test for additive homomorphism of pedersen commitments

To test the verifier for the pedersen commitment, run

./scripts/test_pedersen.sh

To test the verifier for Schnorr Signature, run

./scripts/test_schnorr.sh

To test the verifier for Schnorr Signature, run

./scripts/test_schnorr.sh

To test the pedersen_hash function for, run

./scripts/test_pedersen_hash.sh

Next steps

• Update it to Cairo v.0.10.0
• Add hash functions for Schnorr prover in Python and the verifier in Cairo
• Update it to Cairo v.1.0.0 (when Elliptic Curve operations are ready for this specific version)
• Add Rust version of pedersen_commitment
• Add Rust version of Schnorr prover
• Implement Flashproofs prover and verifier in Rust
• Implement Flashproofs verifier in Cairo 1.0.0