Skip to content

Commit 8ac6ac6

Browse files
mm-zkmcarilligithub-actions[bot]
authored
feat: Eth proofs, 4MB, multi-prove, log23 verifier from stage 1 (#157)
## What ❔ * increased ROM to 4MB (to allow larger binaries) * created 'multi-prove' command to process multiple proofs in one go (useful for performance testing) * added UseReducedLog23MachineInBothLayers that allows using 23 verifier also in first stage * regenerated binaries and verifiers ## Why ❔ * For eth proofs --------- Co-authored-by: mcarilli <[email protected]> Co-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>
1 parent d112623 commit 8ac6ac6

File tree

62 files changed

+454
-346
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

62 files changed

+454
-346
lines changed

‎.dockerignore‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@ tools/verifier/target
55
!Cargo.toml
66

77
!blake2s_u32
8+
!common_constants
89
!circuit_defs
910
!cs
1011
!examples

‎.github/workflows/test-gpu.yaml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ jobs:
2121
container:
2222
image: nvidia/cuda:${{ matrix.cuda }}
2323
env:
24-
RUST_TOOLCHAIN: nightly-2025-05-23
24+
RUST_TOOLCHAIN: nightly-2025-08-26
2525
steps:
2626
- name: Prepare environment
2727
env:

‎circuit_defs/final_reduced_risc_v_machine/generated/layout‎

Lines changed: 38 additions & 38 deletions
Original file line numberDiff line numberDiff line change
@@ -7090,43 +7090,43 @@
70907090
659585,
70917091
659713,
70927092
725249,
7093-
1249537,
7094-
1253633,
7095-
1253633,
7096-
1253633,
7097-
1253633,
7098-
1253633,
7099-
1253633,
7100-
1253633,
7101-
1253633,
7102-
1253633,
7103-
1253633,
7104-
1253633,
7105-
1253633,
7106-
5447937,
7107-
5447937,
7108-
5447937,
7109-
5447937,
7110-
5447937,
7111-
5447937,
7112-
5447937,
7113-
5447937,
7114-
5447937,
7115-
5447937,
7116-
5447937,
7117-
5447937,
7118-
5447937,
7119-
5447937,
7120-
5447937,
7121-
5447937,
7122-
5447937,
7123-
5447937,
7124-
5447937,
7125-
5447937,
7126-
5447937,
7127-
5447937,
7128-
5447937,
7129-
5447937
7093+
1773825,
7094+
1777921,
7095+
1777921,
7096+
1777921,
7097+
1777921,
7098+
1777921,
7099+
1777921,
7100+
1777921,
7101+
1777921,
7102+
1777921,
7103+
1777921,
7104+
1777921,
7105+
1777921,
7106+
5972225,
7107+
5972225,
7108+
5972225,
7109+
5972225,
7110+
5972225,
7111+
5972225,
7112+
5972225,
7113+
5972225,
7114+
5972225,
7115+
5972225,
7116+
5972225,
7117+
5972225,
7118+
5972225,
7119+
5972225,
7120+
5972225,
7121+
5972225,
7122+
5972225,
7123+
5972225,
7124+
5972225,
7125+
5972225,
7126+
5972225,
7127+
5972225,
7128+
5972225,
7129+
5972225
71307130
],
7131-
"total_tables_size": 5447937
7131+
"total_tables_size": 5972225
71327132
}

‎circuit_defs/final_reduced_risc_v_machine/generated/witness_generation_fn.cuh‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
LOOKUP_TABLE_OFFSETS(0, 1, 131073, 131073, 131073, 196609, 196609, 262145, 327681, 393217, 393217, 393217, 397313, 462849, 462849, 462849, 462849, 528385, 593921, 659457, 659457, 659585, 659585, 659713, 725249, 1249537, 1253633, 1253633, 1253633, 1253633, 1253633, 1253633, 1253633, 1253633, 1253633, 1253633, 1253633, 1253633, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937)
1+
LOOKUP_TABLE_OFFSETS(0, 1, 131073, 131073, 131073, 196609, 196609, 262145, 327681, 393217, 393217, 393217, 397313, 462849, 462849, 462849, 462849, 528385, 593921, 659457, 659457, 659585, 659585, 659713, 725249, 1773825, 1777921, 1777921, 1777921, 1777921, 1777921, 1777921, 1777921, 1777921, 1777921, 1777921, 1777921, 1777921, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225)
22

33
FN_BEGIN(0)
44
GET_ORACLE_VALUE(u32, 0, { PcInit })

‎circuit_defs/final_reduced_risc_v_machine/src/lib.rs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@ pub const NUM_CYCLES: usize = DOMAIN_SIZE - 1;
1414
pub const LDE_FACTOR: usize = 2;
1515
pub const LDE_SOURCE_COSETS: &[usize] = &[0, 1];
1616
pub const TREE_CAP_SIZE: usize = 32;
17-
pub const MAX_ROM_SIZE: usize = 1 << 21; // bytes
17+
pub const MAX_ROM_SIZE: usize = 1 << 22; // bytes
1818
pub const ROM_ADDRESS_SPACE_SECOND_WORD_BITS: usize = (MAX_ROM_SIZE.trailing_zeros() - 16) as usize;
1919

2020
pub const ALLOWED_DELEGATION_CSRS: &[u32] =

‎circuit_defs/machine_without_signed_mul_div/generated/layout‎

Lines changed: 38 additions & 38 deletions
Original file line numberDiff line numberDiff line change
@@ -9261,43 +9261,43 @@
92619261
659585,
92629262
659713,
92639263
725249,
9264-
1249537,
9265-
1253633,
9266-
1253633,
9267-
1253633,
9268-
1253633,
9269-
1253633,
9270-
1253633,
9271-
1253633,
9272-
1253633,
9273-
1253633,
9274-
1253633,
9275-
1253633,
9276-
1253633,
9277-
5447937,
9278-
5447937,
9279-
6496513,
9280-
6627585,
9281-
6758657,
9282-
6758657,
9283-
6758657,
9284-
6758657,
9285-
6758657,
9286-
6758657,
9287-
6758657,
9288-
6758657,
9289-
6758657,
9290-
6758657,
9291-
6758657,
9292-
6758657,
9293-
6758657,
9294-
6758657,
9295-
6758657,
9296-
6758657,
9297-
6758657,
9298-
6758657,
9299-
6758657,
9300-
6758657
9264+
1773825,
9265+
1777921,
9266+
1777921,
9267+
1777921,
9268+
1777921,
9269+
1777921,
9270+
1777921,
9271+
1777921,
9272+
1777921,
9273+
1777921,
9274+
1777921,
9275+
1777921,
9276+
1777921,
9277+
5972225,
9278+
5972225,
9279+
7020801,
9280+
7151873,
9281+
7282945,
9282+
7282945,
9283+
7282945,
9284+
7282945,
9285+
7282945,
9286+
7282945,
9287+
7282945,
9288+
7282945,
9289+
7282945,
9290+
7282945,
9291+
7282945,
9292+
7282945,
9293+
7282945,
9294+
7282945,
9295+
7282945,
9296+
7282945,
9297+
7282945,
9298+
7282945,
9299+
7282945,
9300+
7282945
93019301
],
9302-
"total_tables_size": 6758657
9302+
"total_tables_size": 7282945
93039303
}

‎circuit_defs/machine_without_signed_mul_div/generated/witness_generation_fn.cuh‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
LOOKUP_TABLE_OFFSETS(0, 1, 131073, 131073, 131073, 196609, 196609, 262145, 327681, 393217, 393217, 393217, 397313, 462849, 462849, 462849, 462849, 528385, 593921, 659457, 659457, 659585, 659585, 659713, 725249, 1249537, 1253633, 1253633, 1253633, 1253633, 1253633, 1253633, 1253633, 1253633, 1253633, 1253633, 1253633, 1253633, 5447937, 5447937, 6496513, 6627585, 6758657, 6758657, 6758657, 6758657, 6758657, 6758657, 6758657, 6758657, 6758657, 6758657, 6758657, 6758657, 6758657, 6758657, 6758657, 6758657, 6758657, 6758657, 6758657, 6758657)
1+
LOOKUP_TABLE_OFFSETS(0, 1, 131073, 131073, 131073, 196609, 196609, 262145, 327681, 393217, 393217, 393217, 397313, 462849, 462849, 462849, 462849, 528385, 593921, 659457, 659457, 659585, 659585, 659713, 725249, 1773825, 1777921, 1777921, 1777921, 1777921, 1777921, 1777921, 1777921, 1777921, 1777921, 1777921, 1777921, 1777921, 5972225, 5972225, 7020801, 7151873, 7282945, 7282945, 7282945, 7282945, 7282945, 7282945, 7282945, 7282945, 7282945, 7282945, 7282945, 7282945, 7282945, 7282945, 7282945, 7282945, 7282945, 7282945, 7282945, 7282945)
22

33
FN_BEGIN(0)
44
GET_ORACLE_VALUE(u32, 0, { PcInit })

‎circuit_defs/machine_without_signed_mul_div/src/lib.rs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@ pub const NUM_CYCLES: usize = DOMAIN_SIZE - 1;
1414
pub const LDE_FACTOR: usize = 2;
1515
pub const LDE_SOURCE_COSETS: &[usize] = &[0, 1];
1616
pub const TREE_CAP_SIZE: usize = 32;
17-
pub const MAX_ROM_SIZE: usize = 1 << 21; // bytes
17+
pub const MAX_ROM_SIZE: usize = 1 << 22; // bytes
1818
pub const ROM_ADDRESS_SPACE_SECOND_WORD_BITS: usize = (MAX_ROM_SIZE.trailing_zeros() - 16) as usize;
1919

2020
pub const ALLOWED_DELEGATION_CSRS: &[u32] =

‎circuit_defs/reduced_risc_v_log_23_machine/generated/layout‎

Lines changed: 38 additions & 38 deletions
Original file line numberDiff line numberDiff line change
@@ -7090,43 +7090,43 @@
70907090
659585,
70917091
659713,
70927092
725249,
7093-
1249537,
7094-
1253633,
7095-
1253633,
7096-
1253633,
7097-
1253633,
7098-
1253633,
7099-
1253633,
7100-
1253633,
7101-
1253633,
7102-
1253633,
7103-
1253633,
7104-
1253633,
7105-
1253633,
7106-
5447937,
7107-
5447937,
7108-
5447937,
7109-
5447937,
7110-
5447937,
7111-
5447937,
7112-
5447937,
7113-
5447937,
7114-
5447937,
7115-
5447937,
7116-
5447937,
7117-
5447937,
7118-
5447937,
7119-
5447937,
7120-
5447937,
7121-
5447937,
7122-
5447937,
7123-
5447937,
7124-
5447937,
7125-
5447937,
7126-
5447937,
7127-
5447937,
7128-
5447937,
7129-
5447937
7093+
1773825,
7094+
1777921,
7095+
1777921,
7096+
1777921,
7097+
1777921,
7098+
1777921,
7099+
1777921,
7100+
1777921,
7101+
1777921,
7102+
1777921,
7103+
1777921,
7104+
1777921,
7105+
1777921,
7106+
5972225,
7107+
5972225,
7108+
5972225,
7109+
5972225,
7110+
5972225,
7111+
5972225,
7112+
5972225,
7113+
5972225,
7114+
5972225,
7115+
5972225,
7116+
5972225,
7117+
5972225,
7118+
5972225,
7119+
5972225,
7120+
5972225,
7121+
5972225,
7122+
5972225,
7123+
5972225,
7124+
5972225,
7125+
5972225,
7126+
5972225,
7127+
5972225,
7128+
5972225,
7129+
5972225
71307130
],
7131-
"total_tables_size": 5447937
7131+
"total_tables_size": 5972225
71327132
}

‎circuit_defs/reduced_risc_v_log_23_machine/generated/witness_generation_fn.cuh‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
LOOKUP_TABLE_OFFSETS(0, 1, 131073, 131073, 131073, 196609, 196609, 262145, 327681, 393217, 393217, 393217, 397313, 462849, 462849, 462849, 462849, 528385, 593921, 659457, 659457, 659585, 659585, 659713, 725249, 1249537, 1253633, 1253633, 1253633, 1253633, 1253633, 1253633, 1253633, 1253633, 1253633, 1253633, 1253633, 1253633, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937, 5447937)
1+
LOOKUP_TABLE_OFFSETS(0, 1, 131073, 131073, 131073, 196609, 196609, 262145, 327681, 393217, 393217, 393217, 397313, 462849, 462849, 462849, 462849, 528385, 593921, 659457, 659457, 659585, 659585, 659713, 725249, 1773825, 1777921, 1777921, 1777921, 1777921, 1777921, 1777921, 1777921, 1777921, 1777921, 1777921, 1777921, 1777921, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225, 5972225)
22

33
FN_BEGIN(0)
44
GET_ORACLE_VALUE(u32, 0, { PcInit })

0 commit comments

Comments
 (0)