example proofs

HerodotusDev · Nov 19, 2024 · 5702c4f · 5702c4f
1 parent 0ff7e2f
commit 5702c4f
Show file tree

Hide file tree

Showing 24 changed files with 56,188 additions and 72 deletions.
diff --git a/examples/proofs/dex/cairo0_stone5_keccak_160_lsb_example_proof.json b/examples/proofs/dex/cairo0_stone5_keccak_160_lsb_example_proof.json
diff --git a/examples/proofs/dex/cairo0_stone6_blake2s_248_lsb_example_proof.json b/examples/proofs/dex/cairo0_stone6_blake2s_248_lsb_example_proof.json
diff --git a/examples/proofs/dex/cairo0_stone6_keccak_160_lsb_example_proof.json b/examples/proofs/dex/cairo0_stone6_keccak_160_lsb_example_proof.json
diff --git a/examples/proofs/dex/cairo1_stone5_keccak_160_lsb_example_proof.json b/examples/proofs/dex/cairo1_stone5_keccak_160_lsb_example_proof.json
diff --git a/examples/proofs/recursive/cairo0_stone5_keccak_160_lsb_example_proof.json b/examples/proofs/recursive/cairo0_stone5_keccak_160_lsb_example_proof.json
diff --git a/examples/proofs/recursive/cairo0_stone6_blake2s_248_lsb_example_proof.json b/examples/proofs/recursive/cairo0_stone6_blake2s_248_lsb_example_proof.json
diff --git a/examples/proofs/recursive/cairo0_stone6_keccak_160_lsb_example_proof.json b/examples/proofs/recursive/cairo0_stone6_keccak_160_lsb_example_proof.json
diff --git a/examples/proofs/recursive/cairo1_stone5_keccak_160_lsb_example_proof.json b/examples/proofs/recursive/cairo1_stone5_keccak_160_lsb_example_proof.json
diff --git a/examples/proofs/recursive_with_poseidon/cairo0_stone5_keccak_160_lsb_example_proof.json b/examples/proofs/recursive_with_poseidon/cairo0_stone5_keccak_160_lsb_example_proof.json
diff --git a/examples/proofs/recursive_with_poseidon/cairo0_stone6_blake2s_248_lsb_example_proof.json b/examples/proofs/recursive_with_poseidon/cairo0_stone6_blake2s_248_lsb_example_proof.json
diff --git a/examples/proofs/recursive_with_poseidon/cairo0_stone6_keccak_160_lsb_example_proof.json b/examples/proofs/recursive_with_poseidon/cairo0_stone6_keccak_160_lsb_example_proof.json
diff --git a/examples/proofs/recursive_with_poseidon/cairo1_stone5_keccak_160_lsb_example_proof.json b/examples/proofs/recursive_with_poseidon/cairo1_stone5_keccak_160_lsb_example_proof.json
diff --git a/examples/proofs/small/cairo0_stone5_keccak_160_lsb_example_proof.json b/examples/proofs/small/cairo0_stone5_keccak_160_lsb_example_proof.json
diff --git a/examples/proofs/small/cairo0_stone6_blake2s_248_lsb_example_proof.json b/examples/proofs/small/cairo0_stone6_blake2s_248_lsb_example_proof.json
diff --git a/examples/proofs/small/cairo0_stone6_keccak_160_lsb_example_proof.json b/examples/proofs/small/cairo0_stone6_keccak_160_lsb_example_proof.json
diff --git a/examples/proofs/small/cairo1_stone5_keccak_160_lsb_example_proof.json b/examples/proofs/small/cairo1_stone5_keccak_160_lsb_example_proof.json
diff --git a/examples/proofs/starknet/cairo0_stone5_keccak_160_lsb_example_proof.json b/examples/proofs/starknet/cairo0_stone5_keccak_160_lsb_example_proof.json
diff --git a/examples/proofs/starknet/cairo0_stone6_blake2s_248_lsb_example_proof.json b/examples/proofs/starknet/cairo0_stone6_blake2s_248_lsb_example_proof.json
diff --git a/examples/proofs/starknet/cairo0_stone6_keccak_160_lsb_example_proof.json b/examples/proofs/starknet/cairo0_stone6_keccak_160_lsb_example_proof.json
diff --git a/examples/proofs/starknet/cairo1_stone5_keccak_160_lsb_example_proof.json b/examples/proofs/starknet/cairo1_stone5_keccak_160_lsb_example_proof.json
diff --git a/examples/proofs/starknet_with_keccak/cairo0_stone5_keccak_160_lsb_example_proof.json b/examples/proofs/starknet_with_keccak/cairo0_stone5_keccak_160_lsb_example_proof.json
diff --git a/examples/proofs/starknet_with_keccak/cairo0_stone6_blake2s_248_lsb_example_proof.json b/examples/proofs/starknet_with_keccak/cairo0_stone6_blake2s_248_lsb_example_proof.json
diff --git a/examples/proofs/starknet_with_keccak/cairo0_stone6_keccak_160_lsb_example_proof.json b/examples/proofs/starknet_with_keccak/cairo0_stone6_keccak_160_lsb_example_proof.json
diff --git a/examples/proofs/starknet_with_keccak/cairo1_stone5_keccak_160_lsb_example_proof.json b/examples/proofs/starknet_with_keccak/cairo1_stone5_keccak_160_lsb_example_proof.json