Skip to content

WIP: 4MB ROM, regenerated verifiers, working on GPU #155

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
mm-zk wants to merge 7 commits into
base: dev
Choose a base branch
from
Draft

WIP: 4MB ROM, regenerated verifiers, working on GPU #155

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
3268075
move lazy init arg and constraint eval
Oct 24, 2025
c16ddbe
4MB ROM and updated GPU. CPU works, GPU fails.
mm-zk Oct 24, 2025
89a076f
Merge remote-tracking branch 'origin/dev' into mmzk_1024_failing_gpu
mm-zk Oct 25, 2025
34af59c
Updates after regeneration
mm-zk Oct 25, 2025
d597b64
Added multi-prove option to prove multiple inputs with the same binar…
mm-zk Oct 26, 2025
346e86d
print the summary of times at the end
mm-zk Oct 26, 2025
90bd6a2
switch to v23 circuits only
mm-zk Oct 26, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
76 changes: 38 additions & 38 deletions circuit_defs/final_reduced_risc_v_machine/generated/layout
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7090,43 +7090,43 @@
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
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
],
"total_tables_size": 5447937
"total_tables_size": 5972225
}
2 changes: 1 addition & 1 deletion circuit_defs/final_reduced_risc_v_machine/generated/witness_generation_fn.cuh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
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)
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)

FN_BEGIN(0)
GET_ORACLE_VALUE(u32, 0, { PcInit })
Expand Down
2 changes: 1 addition & 1 deletion circuit_defs/final_reduced_risc_v_machine/src/lib.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ pub const NUM_CYCLES: usize = DOMAIN_SIZE - 1;
pub const LDE_FACTOR: usize = 2;
pub const LDE_SOURCE_COSETS: &[usize] = &[0, 1];
pub const TREE_CAP_SIZE: usize = 32;
pub const MAX_ROM_SIZE: usize = 1 << 21; // bytes
pub const MAX_ROM_SIZE: usize = 1 << 22; // bytes
pub const ROM_ADDRESS_SPACE_SECOND_WORD_BITS: usize = (MAX_ROM_SIZE.trailing_zeros() - 16) as usize;

pub const ALLOWED_DELEGATION_CSRS: &[u32] =
Expand Down
76 changes: 38 additions & 38 deletions circuit_defs/machine_without_signed_mul_div/generated/layout
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9261,43 +9261,43 @@
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
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
],
"total_tables_size": 6758657
"total_tables_size": 7282945
}
2 changes: 1 addition & 1 deletion circuit_defs/machine_without_signed_mul_div/generated/witness_generation_fn.cuh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
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)
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)

FN_BEGIN(0)
GET_ORACLE_VALUE(u32, 0, { PcInit })
Expand Down
2 changes: 1 addition & 1 deletion circuit_defs/machine_without_signed_mul_div/src/lib.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ pub const NUM_CYCLES: usize = DOMAIN_SIZE - 1;
pub const LDE_FACTOR: usize = 2;
pub const LDE_SOURCE_COSETS: &[usize] = &[0, 1];
pub const TREE_CAP_SIZE: usize = 32;
pub const MAX_ROM_SIZE: usize = 1 << 21; // bytes
pub const MAX_ROM_SIZE: usize = 1 << 22; // bytes
pub const ROM_ADDRESS_SPACE_SECOND_WORD_BITS: usize = (MAX_ROM_SIZE.trailing_zeros() - 16) as usize;

pub const ALLOWED_DELEGATION_CSRS: &[u32] =
Expand Down
76 changes: 38 additions & 38 deletions circuit_defs/reduced_risc_v_log_23_machine/generated/layout
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7090,43 +7090,43 @@
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
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
],
"total_tables_size": 5447937
"total_tables_size": 5972225
}
2 changes: 1 addition & 1 deletion circuit_defs/reduced_risc_v_log_23_machine/generated/witness_generation_fn.cuh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
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)
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)

FN_BEGIN(0)
GET_ORACLE_VALUE(u32, 0, { PcInit })
Expand Down
2 changes: 1 addition & 1 deletion circuit_defs/reduced_risc_v_log_23_machine/src/lib.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ pub const NUM_CYCLES: usize = DOMAIN_SIZE - 1;
pub const LDE_FACTOR: usize = 2;
pub const LDE_SOURCE_COSETS: &[usize] = &[0, 1];
pub const TREE_CAP_SIZE: usize = 32;
pub const MAX_ROM_SIZE: usize = 1 << 21; // bytes
pub const MAX_ROM_SIZE: usize = 1 << 22; // bytes
pub const ROM_ADDRESS_SPACE_SECOND_WORD_BITS: usize = (MAX_ROM_SIZE.trailing_zeros() - 16) as usize;

pub const ALLOWED_DELEGATION_CSRS: &[u32] =
Expand Down
76 changes: 38 additions & 38 deletions circuit_defs/reduced_risc_v_machine/generated/layout
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7090,43 +7090,43 @@
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
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
],
"total_tables_size": 5447937
"total_tables_size": 5972225
}
2 changes: 1 addition & 1 deletion circuit_defs/reduced_risc_v_machine/generated/witness_generation_fn.cuh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
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)
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)

FN_BEGIN(0)
GET_ORACLE_VALUE(u32, 0, { PcInit })
Expand Down
2 changes: 1 addition & 1 deletion circuit_defs/reduced_risc_v_machine/src/lib.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ pub const NUM_CYCLES: usize = DOMAIN_SIZE - 1;
pub const LDE_FACTOR: usize = 2;
pub const LDE_SOURCE_COSETS: &[usize] = &[0, 1];
pub const TREE_CAP_SIZE: usize = 32;
pub const MAX_ROM_SIZE: usize = 1 << 21; // bytes
pub const MAX_ROM_SIZE: usize = 1 << 22; // bytes
pub const ROM_ADDRESS_SPACE_SECOND_WORD_BITS: usize = (MAX_ROM_SIZE.trailing_zeros() - 16) as usize;

pub const ALLOWED_DELEGATION_CSRS: &[u32] =
Expand Down
Loading
Loading