Groth16 Proof Generation/Verification

Test the single and batch ZK proof generation for an account initialization transaction.

Quick Start

1. Start local validator

# Terminal 1 - Start Solana test validator
solana-test-validator

2. Clone the repo

git clone https://github/com/donjne/circuiting

3. Enter directory

cd circuiting

4. Build and test

# Terminal 2 - Build and run tests
anchor build
anchor test --skip-local-validator

What Gets Tested

Single Transaction Proof: Initializes 1 counter, generates ZK proof Batch Transaction Proof: Initializes 3 counters, generates single batch proof
Mixed Operations: Combines single + batch + increment operations