Skip to content

Commit 3576271

Browse files
JuArceJuArce
committed
fix: update proofs paths
docs: update paths
1 parent 806641b commit 3576271

File tree

5 files changed

+15
-15
lines changed

5 files changed

+15
-15
lines changed

‎crates/cli/send_proof_with_random_address.sh‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -64,9 +64,9 @@ elif [[ $PROOF_TYPE == "gnark_plonk" ]]; then
6464
elif [[ $PROOF_TYPE == "risc0" ]]; then
6565
aligned submit \
6666
--proving_system Risc0 \
67-
--proof ../../scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_2_1_0.proof \
68-
--vm_program ../../scripts/test_files/risc_zero/fibonacci_proof_generator/fibonacci_id_2_1_0.bin \
69-
--public_input ../../scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_2_1_0.pub \
67+
--proof ../../scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_2_2_0.proof \
68+
--vm_program ../../scripts/test_files/risc_zero/fibonacci_proof_generator/fibonacci_id_2_2_0.bin \
69+
--public_input ../../scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_2_2_0.pub \
7070
--random_address \
7171
--repetitions $REPETITIONS \
7272
--rpc_url $RPC_URL \

‎docs/3_guides/0_submitting_proofs.md‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -191,9 +191,9 @@ risc0-zkvm = { git = "https://github.com/risc0/risc0", tag = "v2.0.0", default-f
191191
rm -rf ~/.aligned/aligned_verification_data/ &&
192192
aligned submit \
193193
--proving_system Risc0 \
194-
--proof ./scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_2_1_0.proof \
195-
--vm_program ./scripts/test_files/risc_zero/fibonacci_proof_generator/fibonacci_id_2_1_0.bin \
196-
--public_input ./scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_2_1_0.pub \
194+
--proof ./scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_2_2_0.proof \
195+
--vm_program ./scripts/test_files/risc_zero/fibonacci_proof_generator/fibonacci_id_2_2_0.bin \
196+
--public_input ./scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_2_2_0.pub \
197197
--aligned_verification_data_path ~/.aligned/aligned_verification_data \
198198
--keystore_path ~/.aligned_keystore/keystore0 \
199199
--network holesky \

‎docs/3_guides/9_aligned_cli.md‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -94,9 +94,9 @@ Submit a proof to the Aligned Layer batcher.
9494
```bash
9595
aligned submit \
9696
--proving_system Risc0 \
97-
--proof ./scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_2_1_0.proof \
98-
--vm_program ./scripts/test_files/risc_zero/fibonacci_proof_generator/fibonacci_id_2_1_0.bin \
99-
--public_input ./scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_2_1_0.pub \
97+
--proof ./scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_2_2_0.proof \
98+
--vm_program ./scripts/test_files/risc_zero/fibonacci_proof_generator/fibonacci_id_2_2_0.bin \
99+
--public_input ./scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_2_2_0.pub \
100100
--repetitions <BURST_SIZE> \
101101
--keystore_path <KEYSTORE_PATH> \
102102
--batcher_url wss://batcher.alignedlayer.com \

‎operator/risc_zero/lib/src/lib.rs‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -72,12 +72,12 @@ pub extern "C" fn verify_risc_zero_receipt_ffi(
7272
mod tests {
7373
use super::*;
7474

75-
const RECEIPT: &[u8] = include_bytes!("../../../../scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_2_1_0.proof");
75+
const RECEIPT: &[u8] = include_bytes!("../../../../scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_2_2_0.proof");
7676
const IMAGE_ID: &[u8] = include_bytes!(
77-
"../../../../scripts/test_files/risc_zero/fibonacci_proof_generator/fibonacci_id_2_1_0.bin"
77+
"../../../../scripts/test_files/risc_zero/fibonacci_proof_generator/fibonacci_id_2_2_0.bin"
7878
);
7979
const PUBLIC_INPUT: &[u8] = include_bytes!(
80-
"../../../../scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_2_1_0.pub"
80+
"../../../../scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_2_2_0.pub"
8181
);
8282

8383
#[test]

‎operator/risc_zero/risc_zero_test.go‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -8,17 +8,17 @@ import (
88
)
99

1010
func TestFibonacciRiscZeroProofVerifies(t *testing.T) {
11-
innerReceiptBytes, err := os.ReadFile("../../scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_2_1_0.proof")
11+
innerReceiptBytes, err := os.ReadFile("../../scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_2_2_0.proof")
1212
if err != nil {
1313
t.Errorf("could not open proof file: %s", err)
1414
}
1515

16-
imageIdBytes, err := os.ReadFile("../../scripts/test_files/risc_zero/fibonacci_proof_generator/fibonacci_id_2_1_0.bin")
16+
imageIdBytes, err := os.ReadFile("../../scripts/test_files/risc_zero/fibonacci_proof_generator/fibonacci_id_2_2_0.bin")
1717
if err != nil {
1818
t.Errorf("could not open image id file: %s", err)
1919
}
2020

21-
publicInputBytes, err := os.ReadFile("../../scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_2_1_0.pub")
21+
publicInputBytes, err := os.ReadFile("../../scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_2_2_0.pub")
2222
if err != nil {
2323
t.Errorf("could not open public input file: %s", err)
2424
}

0 commit comments

Comments
 (0)