Skip to content
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.

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

perf: local bus #1293

Merged
merged 102 commits into from
Sep 17, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
102 commits
Select commit Hold shift + click to select a range
0e573c1
collect the local memory events
kevjue Aug 9, 2024
97ae8c7
better naming
kevjue Aug 9, 2024
37d8815
implemented machineair for memory local chip
kevjue Aug 9, 2024
235ffda
empy eval
kevjue Aug 9, 2024
9c6ef80
moved MemoryChipType enum to mod.rs
kevjue Aug 9, 2024
031f2b8
added tests
kevjue Aug 9, 2024
cb2c0a8
Merge branch 'dev' into kevjue/phase_1_improvements
kevjue Aug 9, 2024
1a2a6e9
some fixes
kevjue Aug 9, 2024
c1451e1
added local memory chips to the risc-v machine
kevjue Aug 9, 2024
4c46cbc
added interaction scope
kevjue Aug 9, 2024
9d538a3
renamed MessageScope to InteractionScope
kevjue Aug 9, 2024
e47d52a
changes to the prover
kevjue Aug 9, 2024
060282d
handled two different cumulative sums
kevjue Aug 9, 2024
5c4a435
debug folder changres
kevjue Aug 10, 2024
b7bedfd
core prover and verifier changes compile
kevjue Aug 12, 2024
f535214
recursion compiles
kevjue Aug 12, 2024
7846ade
core verification works
kevjue Aug 13, 2024
9555ae7
things compile
kevjue Aug 13, 2024
b7671aa
fixed some bugs
kevjue Aug 13, 2024
e2cdc49
local memory checks
kevjue Aug 14, 2024
b9ebca4
local mem event
kevjue Aug 14, 2024
b2a2636
ssz_withdrawal works!
kevjue Aug 15, 2024
cdfb891
tendermint compiles
kevjue Aug 15, 2024
b904c03
ssz_withdrawal working with byte lookup migration
kevjue Aug 16, 2024
2acb408
tendermint works!
kevjue Aug 16, 2024
3ce0c20
added program memory to phase 1
kevjue Aug 16, 2024
592118b
remote plonky3 dependencies
kevjue Aug 17, 2024
a268004
some cleanup
kevjue Aug 19, 2024
7b04460
big cleanuip
kevjue Aug 20, 2024
940ef24
fixed typo
kevjue Aug 21, 2024
c950e99
fixed permutation width bug
kevjue Aug 23, 2024
a7575cf
fixes
kevjue Aug 23, 2024
09c7563
removed unnecessary constraints
kevjue Aug 23, 2024
84dcba3
add some more logs
kevjue Aug 25, 2024
8bad4a2
more logging
kevjue Aug 25, 2024
6dfc22b
changes dependencies
kevjue Aug 25, 2024
19e8ca0
remove generate_dependencies for phase 1
kevjue Aug 26, 2024
3fdafea
more logging
kevjue Aug 26, 2024
83f0580
removed shard column from byte table
kevjue Aug 27, 2024
90c663c
added precompile blus for weierstrass precompiles
kevjue Aug 27, 2024
b6f5f0e
merged dev and things compile
kevjue Aug 28, 2024
835e1f9
some fixes
kevjue Aug 28, 2024
dfa91a3
initial changes to get the verifier to work
kevjue Aug 29, 2024
5506551
added syscall table
kevjue Aug 30, 2024
2180d3e
merged dev
kevjue Aug 30, 2024
fae481d
changes in core prover for phase 2 chip split
kevjue Aug 31, 2024
7ada5f0
Merge branch 'dev' into kevjue/phase_1_improvements
kevjue Aug 31, 2024
e701bd8
core verification works
kevjue Sep 1, 2024
fc87eab
changes for moongate
kevjue Sep 1, 2024
1d8d49a
better cumulative sum error
kevjue Sep 2, 2024
825ca91
fixed bug
kevjue Sep 2, 2024
36da046
some fixes
kevjue Sep 2, 2024
d216ec2
changes for recursion
kevjue Sep 3, 2024
741285d
changes to recursion verify_shard
kevjue Sep 3, 2024
36da109
compress prover compiles
kevjue Sep 3, 2024
3cad40e
recursive runtime for first shard runs fine
kevjue Sep 3, 2024
0411471
Merge branch 'dev' into kevjue/phase_1_improvements
kevjue Sep 3, 2024
92bb37c
some fixes for the recursion compress proof gen
kevjue Sep 4, 2024
2dc19b9
rebase from v1.3.0-rc2
kevjue Sep 4, 2024
bcacff6
removed file
kevjue Sep 4, 2024
359b6ce
compressed proof generated but fails verification
kevjue Sep 4, 2024
1fb8b72
compressed proofs work
kevjue Sep 4, 2024
8c52a11
merged latest v1.3.0-rc2
kevjue Sep 4, 2024
c1705f3
got wrap working
kevjue Sep 4, 2024
1dfd8f7
added some comments
kevjue Sep 5, 2024
80bd31d
some cleanup
kevjue Sep 5, 2024
5296cac
more cleanup
kevjue Sep 5, 2024
ed78d05
revert some changes in the recursion crate
kevjue Sep 5, 2024
f1383fc
exclude recursion/circuit and recursion/program
kevjue Sep 5, 2024
172bf5c
reverted recursion/circuit and recursion/program directories
kevjue Sep 5, 2024
9c86c02
fixed unit test
kevjue Sep 5, 2024
e39a4dc
fixed a warning
kevjue Sep 5, 2024
f159b55
merged latest v1.3.0-rc2
kevjue Sep 5, 2024
eb74090
Merge branch 'tamir/v1.3.0-rc2' into kevjue/phase_1_improvements
kevjue Sep 5, 2024
98e19d2
generate_dependencies after record.split
kevjue Sep 5, 2024
17f73db
remove unneeded clippy allow
kevjue Sep 5, 2024
87f290a
changes for moongate
kevjue Sep 6, 2024
3c86e33
Merge branch 'tamir/v1.3.0-rc2' into kevjue/phase_1_improvements
kevjue Sep 6, 2024
ffba4c3
big cleanup of the local memory for syscalls
kevjue Sep 6, 2024
34b3b81
minimize diff
kevjue Sep 6, 2024
262cae5
more cleanup
kevjue Sep 6, 2024
02e505a
cleaned up generate trace/dependencies for local memory table
kevjue Sep 6, 2024
a7c4564
generate dependencies for all chips
kevjue Sep 7, 2024
bd600e4
merged v1.3.0-rc2
kevjue Sep 7, 2024
ed06156
fix merge issue
kevjue Sep 7, 2024
a251d6b
fixed unit tests and formatting
kevjue Sep 7, 2024
fd11b44
restore the examples
kevjue Sep 7, 2024
6c80f61
check for byte multiplicies in the rust verifier
kevjue Sep 8, 2024
39670dd
added byte multiplicies overflow check in recursion circuit
kevjue Sep 8, 2024
cb77447
cleanup
kevjue Sep 9, 2024
4d77bc1
Merge branch 'tamir/v1.3.0-rc2' into kevjue/phase_1_improvements
kevjue Sep 9, 2024
3b8c445
some cleanup
kevjue Sep 10, 2024
b2f871b
Merge branch 'tamir/v1.3.0-rc2' into kevjue/phase_1_improvements
kevjue Sep 10, 2024
f72c35f
feat: generate dependencies cleanup (#1498)
kevjue Sep 14, 2024
7ed65a2
some clean up
kevjue Sep 14, 2024
175afa0
more cleanup
kevjue Sep 14, 2024
4ece415
last clippy issue
kevjue Sep 14, 2024
bf69f54
some cleanup
kevjue Sep 14, 2024
7817a5c
fixed unit tests
kevjue Sep 14, 2024
600616f
merged proof shapes
kevjue Sep 14, 2024
0b5bc84
changed chip ordering in setup
kevjue Sep 16, 2024
f1d5d5d
merge conflicts
tamirhemo Sep 17, 2024
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: 8 additions & 68 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

8 changes: 5 additions & 3 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -18,21 +18,23 @@ members = [
"crates/helper",
"crates/primitives",
"crates/prover",
"crates/recursion/circuit",
"crates/recursion/circuit-v2",
"crates/recursion/compiler",
"crates/recursion/core",
"crates/recursion/core-v2",
"crates/recursion/derive",
"crates/recursion/gnark-cli",
"crates/recursion/gnark-ffi",
"crates/recursion/program",
"crates/sdk",
"crates/cuda",
"crates/stark",
"crates/zkvm/*",
]
exclude = ["examples/target"]
exclude = [
"examples/target",
"crates/recursion/program",
"crates/recursion/circuit",
]
resolver = "2"

[profile.release]
Expand Down
2 changes: 1 addition & 1 deletion crates/core/executor/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,7 @@ nohash-hasher = "0.2.0"
thiserror = "1.0.63"
tracing = "0.1.40"
strum_macros = "0.26.4"
strum = "0.26.3"
strum = { version = "0.26.3", features = ["derive"] }
log = "0.4.22"
hex = "0.4.3"
bytemuck = "1.16.3"
Expand Down
Loading
Loading