Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
96 commits
Select commit Hold shift + click to select a range
bdf7826
rollback dep of zkvm-prover
noel2004 Nov 25, 2025
9839bf7
prover quit while proving process has panicked
noel2004 Nov 25, 2025
d262a63
Merge remote-tracking branch 'origin/develop' into feat/prover_4.7
noel2004 Nov 25, 2025
dc29c8c
Merge remote-tracking branch 'origin/develop' into feat/prover_4.7
noel2004 Nov 25, 2025
af63bc0
fix wrong configuration
noel2004 Nov 25, 2025
5c2803c
Merge remote-tracking branch 'origin/develop' into feat/prover_4.7
noel2004 Dec 3, 2025
5ae31bc
Merge remote-tracking branch 'origin/develop' into feat/prover_4.7
noel2004 Dec 3, 2025
98be0a0
Merge remote-tracking branch 'origin/develop' into feat/prover_4.7
noel2004 Dec 9, 2025
b244fa8
Merge remote-tracking branch 'origin/develop' into feat/prover_4.7
noel2004 Dec 16, 2025
e852915
update zkvm-prover
noel2004 Dec 16, 2025
b833468
add debug mode, trivial fixings
noel2004 Dec 16, 2025
930a12a
update zkvm-prover dep and openvm to 1.4.2
noel2004 Dec 16, 2025
3b174f8
add test data for mainnet galileo and prune feynman (can not be teste…
noel2004 Dec 16, 2025
74a3d7a
udpate zkvm-prover dep
noel2004 Dec 17, 2025
ede29c7
init dumper
noel2004 Dec 18, 2025
b270d96
dumper
noel2004 Dec 18, 2025
79d79ed
fix
noel2004 Dec 18, 2025
d306b38
fix
noel2004 Dec 18, 2025
03b992f
json mode
noel2004 Dec 18, 2025
492563f
Merge remote-tracking branch 'origin/develop' into feat/zkvm_prover_142
noel2004 Jan 16, 2026
6a57a2e
update dep of zkvm prover and trivial fixing
noel2004 Jan 16, 2026
8955d4f
Merge branch 'feat/zkvm_prover_143' into develop
noel2004 Feb 16, 2026
58297d3
fix e2e tool
noel2004 Feb 19, 2026
b76539b
update test env
noel2004 Feb 19, 2026
93f755c
update dep
noel2004 Feb 20, 2026
252eea9
use galileov2 for cloak test enviroment
noel2004 Feb 20, 2026
a35834d
fix make file in e2e test
noel2004 Feb 20, 2026
e1aa90b
update ZKVM_VERSION
noel2004 Feb 25, 2026
f2a9ba5
upgrade dep
noel2004 Mar 2, 2026
649c441
pump crates version
noel2004 Mar 2, 2026
09d83e1
udpate testing configuration
noel2004 Mar 6, 2026
fafcea4
Merge remote-tracking branch 'origin/develop' into feat/zkvm_prover_143
noel2004 Mar 13, 2026
bbe6c41
update proving-sdk
noel2004 Mar 18, 2026
766aa25
update zkvm-prover with patched openvm 1.4.3
noel2004 Mar 23, 2026
b4ccd70
update zkvm-prover and test stuff
noel2004 Mar 24, 2026
1408430
AI helper: init
noel2004 Feb 25, 2026
343ed78
refine the skill and update makefile
noel2004 Mar 24, 2026
ac40de8
agentic the local test
noel2004 Apr 13, 2026
7643561
add unit test agent
noel2004 Apr 14, 2026
949271c
fix "put into background" instruction
noel2004 Apr 14, 2026
00c407c
+ fix local memory instruction
noel2004 Apr 15, 2026
b19dac8
update ignore files
noel2004 Apr 15, 2026
b0575d9
update zkvm prover
lispc May 19, 2026
1e020b9
fix cargo check
Velaciela May 19, 2026
d595390
fix cargo fmt import ordering
Velaciela May 19, 2026
4657129
add docs
Velaciela May 19, 2026
d46829c
test e2e done
Velaciela May 19, 2026
13193e8
Merge origin/develop into feat/zkvm_prover_143
Velaciela May 19, 2026
4ac05e7
done
Velaciela May 20, 2026
37a43ba
fix ci
Velaciela May 20, 2026
7186b4a
remove coordinator-proxy in e2e test
Velaciela May 22, 2026
db1b42c
update .gitignore
lispc May 22, 2026
9918cd4
chore: bump version to v4.7.13-openvm16 for custom OpenVM 1.6 build
lispc May 22, 2026
4d0a683
Merge remote-tracking branch 'origin/develop' into feat/zkvm_prover_143
lispc May 29, 2026
b9a4a3a
docs(setup): add shadow coordinator + prover testing guide and scripts
lispc May 29, 2026
129d6e5
feat(sender): add dry-run mode for transaction simulation via eth_call
lispc May 29, 2026
9cab5b6
update docs/shadow-testing/README.md
lispc May 30, 2026
b22b4cf
docs
lispc May 31, 2026
341c038
update docs
lispc May 31, 2026
2a7d7b5
update docs
lispc Jun 1, 2026
204843b
feat(shadow-testing): add mainnet shadow fork toolkit + manual finali…
lispc Jun 2, 2026
c424e53
update docs
lispc Jun 3, 2026
ee3b61a
fix(shadow-testing): correct verifier contract, relayer bypass, and docs
lispc Jun 3, 2026
5a87b79
docs: add Sepolia shadow testing rules and agent discipline
lispc Jun 3, 2026
2422f5f
docs(shadow-testing): verifier wrapper lessons, anvil gas fix, and l2…
lispc Jun 4, 2026
02e375b
refactor(shadow-testing): merge scripts/ into tests/, deduplicate doc…
lispc Jun 4, 2026
ab3e21f
shadow-testing: fix prover stack overflow by adding RUST_MIN_STACK
lispc Jun 4, 2026
5b0f8f4
docs(shadow-testing): document L1MessageQueueV2 state sync fix for bu…
lispc Jun 4, 2026
9cf009a
docs(shadow-testing): clarify S3 digest Montgomery→Canonical conversion
lispc Jun 5, 2026
443d03c
docs(shadow-testing): document MVRV verifier routing and bundle readi…
lispc Jun 5, 2026
e0a892a
halo srs (#1805)
georgehao Jun 9, 2026
03dcc98
docs: add single-chunk re-proving guide and link from AGENTS.md
lispc Jun 26, 2026
7fcb56b
Merge origin/develop into shadow-test-ai
lispc Jul 11, 2026
e03d76f
Revert branch-specific code changes in libzkp/proofs.rs and rollup/in…
lispc Jul 11, 2026
f058c08
chore: upgrade zkvm-prover dependency and shadow configs to v0.9.0
lispc Jul 11, 2026
3bb5092
docs(shadow-testing): reorganize docs by module, remove chronicle LES…
lispc Jul 11, 2026
304f965
shadow-testing: finalize v0.9.0 multi-bundle test, move Feynman wrapp…
lispc Jul 11, 2026
37689ad
Restore v0.9.0 source adaptations reverted by mistake
lispc Jul 11, 2026
6445f84
Restore bundle/batch deferral fix for v0.9.0
lispc Jul 11, 2026
effe773
docs(shadow-testing): clarify PostEuclidV2 function vs PostFeynman ve…
lispc Jul 11, 2026
735abd8
tmp
lispc Jul 12, 2026
81574ff
update
lispc Jul 13, 2026
509e757
monor
lispc Jul 13, 2026
877fa44
merge sync-queue-hashes
lispc Jul 13, 2026
9a87643
coordinator: refund attempts on coordinator-side dispatch failures
lispc Jul 13, 2026
6ecc982
tests/shadow-testing: split snapshot and follow modes into separate dirs
lispc Jul 13, 2026
2a2a89f
rollup: test-friendliness flags for shadow-fork submit-only mode
lispc Jul 13, 2026
ee217b3
tests/shadow-testing: adopt new relayer flags in follow mode
lispc Jul 13, 2026
b85cbb4
tests/shadow-testing: follow mode forks N hours back, adds catch-up p…
lispc Jul 13, 2026
0caab3e
tests/shadow-testing: wait for updateVerifier tx to seal before addPr…
lispc Jul 13, 2026
78bd4e0
shadow-testing: drain inherited blob gas on fresh fork; re-ensure isP…
lispc Jul 13, 2026
b4d4162
shadow-testing: query eth_blobBaseFee via cast rpc (cast 1.6+ dropped…
lispc Jul 13, 2026
8cd8292
feat(shadow-testing): mid-run zk-stack upgrade test for follow mode
lispc Jul 24, 2026
4c35ff2
feat(prover): bump zkvm to master bf887150 with halo2-gpu SNARK accel…
lispc Jul 24, 2026
d9d863f
fix(shadow-testing): harden mid-run upgrade cutover; libzkp reads agg…
lispc Jul 24, 2026
feb651f
fix(prover): halo2-gpu bundle proving crashes — VRAM starvation + def…
lispc Jul 24, 2026
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
2 changes: 2 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -33,3 +33,5 @@ target
zkvm-prover/*.json
.work/
rollup/tests.test
local-secrets.md
tmp/
121 changes: 119 additions & 2 deletions AGENTS.md

Large diffs are not rendered by default.

Loading