Stark Friendly Privacy Primitives in Cairo

Install Cairo
Clone the repo

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

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

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

• 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