Skip to content

Commit 48eed48

Browse files
committed
docs: update Risc0 version and commands
1 parent 577b0d3 commit 48eed48

File tree

3 files changed

+8
-8
lines changed

3 files changed

+8
-8
lines changed

docs/2_architecture/0_supported_verifiers.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ The following is the list of the verifiers currently supported by Aligned:
77
- :white_check_mark: gnark - Groth16 (with BN254) [(v0.12.0)](https://github.com/Consensys/gnark/releases/tag/v0.12.0)
88
- :white_check_mark: gnark - Plonk (with BN254 and BLS12-381) [(v0.12.0)](https://github.com/Consensys/gnark/releases/tag/v0.12.0)
99
- :white_check_mark: SP1 [(v5.0.0)](https://github.com/succinctlabs/sp1/releases/tag/v5.0.0)
10-
- :white_check_mark: Risc0 [(v2.0.0)](https://github.com/risc0/risc0/releases/tag/v2.0.0)
10+
- :white_check_mark: Risc0 [(v2.1.0)](https://github.com/risc0/risc0/releases/tag/v2.1.0)
1111
- 🏗️ Circom
1212
- 🏗️ Lambdaworks
1313
- 🏗️ Kimchi

docs/3_guides/0_submitting_proofs.md

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ The following is the list of the verifiers currently supported by Aligned:
1313
- :white_check_mark: gnark - Groth16 (with BN254) [(v0.12.0)](https://github.com/Consensys/gnark/releases/tag/v0.12.0)
1414
- :white_check_mark: gnark - Plonk (with BN254 and BLS12-381) [(v0.12.0)](https://github.com/Consensys/gnark/releases/tag/v0.12.0)
1515
- :white_check_mark: SP1 [(v5.0.0)](https://github.com/succinctlabs/sp1/releases/tag/v5.0.0)
16-
- :white_check_mark: Risc0 [(v2.0.0)](https://github.com/risc0/risc0/releases/tag/v2.0.0)
16+
- :white_check_mark: Risc0 [(v2.1.0)](https://github.com/risc0/risc0/releases/tag/v2.1.0)
1717

1818
Learn more about future verifiers [here](../2_architecture/0_supported_verifiers.md).
1919

@@ -190,9 +190,9 @@ risc0-zkvm = { git = "https://github.com/risc0/risc0", tag = "v2.0.0", default-f
190190
rm -rf ~/.aligned/aligned_verification_data/ &&
191191
aligned submit \
192192
--proving_system Risc0 \
193-
--proof ./scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_2_0.proof \
194-
--vm_program ./scripts/test_files/risc_zero/fibonacci_proof_generator/fibonacci_id_2_0.bin \
195-
--public_input ./scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_2_0.pub \
193+
--proof ./scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_2_1_0.proof \
194+
--vm_program ./scripts/test_files/risc_zero/fibonacci_proof_generator/fibonacci_id_2_1_0.bin \
195+
--public_input ./scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_2_1_0.pub \
196196
--aligned_verification_data_path ~/.aligned/aligned_verification_data \
197197
--keystore_path ~/.aligned_keystore/keystore0 \
198198
--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_0.proof \
98-
--vm_program ./scripts/test_files/risc_zero/fibonacci_proof_generator/fibonacci_id_2_0.bin \
99-
--public_input ./scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_2_0.pub \
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 \
100100
--repetitions <BURST_SIZE> \
101101
--keystore_path <KEYSTORE_PATH> \
102102
--batcher_url wss://batcher.alignedlayer.com \

0 commit comments

Comments
 (0)