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

SP1 upgrade #553

Merged
merged 60 commits into from
Sep 29, 2024
Merged
Show file tree
Hide file tree
Changes from 53 commits
Commits
Show all changes
60 commits
Select commit Hold shift + click to select a range
88ead9f
evm inside risc-v
Sep 10, 2024
85e9c6b
snark prove
Sep 10, 2024
1e374d6
snark prove
Sep 10, 2024
9d8980e
snark prove
Sep 10, 2024
68cc9c6
dev
Sep 11, 2024
871d2f3
dev
Sep 11, 2024
4ecd774
add DA verify
Sep 11, 2024
49a8d51
verify_blob_kzg_proof
Sep 11, 2024
879834d
bls12381 test
Sep 12, 2024
7f1f0c1
tx da encode
Sep 12, 2024
01d2d69
kzg-bls-dev
Sep 12, 2024
e6247d5
zstd test
Sep 13, 2024
96a30e0
suport zstd compressed
Sep 14, 2024
e262698
SP1 Contracts updates (#539)
chengwenxi Sep 18, 2024
4aa11be
dev
Sep 18, 2024
f67e8ef
merge main
Sep 18, 2024
a8ea97f
Merge branch 'feat/sp1' of https://github.com/morph-l2/morph into fea…
Sep 18, 2024
c360807
dev
Sep 18, 2024
a053680
dev
Sep 18, 2024
5aff38a
batch
Sep 18, 2024
c16e19d
plonk
Sep 18, 2024
1583b58
plonk
Sep 18, 2024
9935487
plonk
Sep 18, 2024
92f7a63
plonk
Sep 18, 2024
11a40f9
plonk
Sep 18, 2024
159e5fb
plonk
Sep 18, 2024
448da6f
plonk
Sep 18, 2024
d72a56d
batch verify
Sep 18, 2024
b9eb6c1
Merge branch 'feat/sp1' into sp1-batch
Sep 18, 2024
5077726
plonk app
Sep 18, 2024
413860e
enable plonk
Sep 18, 2024
476aee2
Cleanup contracts (#543)
chengwenxi Sep 18, 2024
436867c
Change batch format (#542)
FletcherMan Sep 19, 2024
f10e092
batch verify
Sep 19, 2024
ecfe8ea
Merge branch 'feat/sp1' into sp1-batch
Sep 19, 2024
0ce4bd1
Fix codec and tests (#544)
chengwenxi Sep 19, 2024
b463664
Restore cargo.lock
Sep 19, 2024
b2b0674
Fix batch hash (#547)
chengwenxi Sep 19, 2024
0d066cf
batch prove
Sep 19, 2024
95a0a39
devnet prove
Sep 19, 2024
8406e55
export verifier
Sep 20, 2024
ed42b3e
plonk-circuits
Sep 23, 2024
329d9c6
Merge branch 'feat/sp1' into sp1-batch
Sep 24, 2024
cd771b7
update rollup contract and bindings
Kukoomomo Sep 24, 2024
0fdb7d9
Cleaning up expired variables (#555)
SegueII Sep 24, 2024
8182a63
Merge branch 'main' into feat/sp1
chengwenxi Sep 25, 2024
7e14ca1
remove used params
Sep 25, 2024
e7a7c69
fix workflow
chengwenxi Sep 25, 2024
9e3a55c
fix workflow
chengwenxi Sep 25, 2024
a90b6ed
fix workflow
chengwenxi Sep 25, 2024
1c96dcb
fix workflow
chengwenxi Sep 25, 2024
257b18c
fix workflow
chengwenxi Sep 25, 2024
b0f8366
check numBlocks max 2 bytes
FletcherMan Sep 26, 2024
f200c02
fix gov deploy
Kukoomomo Sep 26, 2024
70b68bb
remove unnecessary check
Sep 26, 2024
259b33c
delete kzg proof
chengwenxi Sep 27, 2024
c6b69e2
update bindings
Kukoomomo Sep 27, 2024
c3fdb3f
update rollup and bindings
Kukoomomo Sep 27, 2024
7283bd5
Update SP1 verifier (#557)
chengwenxi Sep 27, 2024
a97b710
update dependency
FletcherMan Sep 29, 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
46 changes: 23 additions & 23 deletions .github/workflows/prover.yml
Original file line number Diff line number Diff line change
@@ -1,25 +1,25 @@
name: Prover

on:
push:
branches:
- main
paths:
- "prover/**"
- ".github/workflows/prover.yaml"
pull_request:
paths:
- "prover/**"
- ".github/workflows/prover.yaml"

defaults:
run:
working-directory: "prover"

jobs:
check:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Run build
run: make build-prover
# on:
# push:
# branches:
# - main
# paths:
# - "prover/**"
# - ".github/workflows/prover.yaml"
# pull_request:
# paths:
# - "prover/**"
# - ".github/workflows/prover.yaml"
#
# defaults:
# run:
# working-directory: "prover"
#
# jobs:
# check:
# runs-on: ubuntu-22.04
# steps:
# - uses: actions/checkout@v3
# - name: Run build
# run: make build-prover
2 changes: 1 addition & 1 deletion .gitmodules
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
[submodule "go-ethereum"]
path = go-ethereum
url = https://github.com/morph-l2/go-ethereum.git
branch = main
branch = remove_ccc
12 changes: 4 additions & 8 deletions Makefile
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
################## update dependencies ####################

ETHEREUM_TARGET_VERSION := v0.5.0
TENDERMINT_TARGET_VERSION := v0.3.0
ETHEREUM_TARGET_VERSION := v1.10.14-0.20240911055856-0fe4a892721d
TENDERMINT_TARGET_VERSION := v0.3.1-0.20240911064723-eb4bb5fb2914

ETHEREUM_MODULE_NAME := github.com/morph-l2/go-ethereum
TENDERMINT_MODULE_NAME := github.com/morph-l2/tendermint
Expand Down Expand Up @@ -128,14 +128,10 @@ go-ubuntu-builder:

################## devnet 4 nodes ####################

devnet-up: submodules go-ubuntu-builder go-rust-builder
devnet-up: submodules go-ubuntu-builder
python3 ops/devnet-morph/main.py --polyrepo-dir=.
.PHONY: devnet-up

devnet-up-mockccc:
python3 ops/devnet-morph/main.py --polyrepo-dir=. --mockccc
.PHONY: devnet-up-mockccc

devnet-up-debugccc:
python3 ops/devnet-morph/main.py --polyrepo-dir=. --debugccc
.PHONY: devnet-up-debugccc
Expand Down Expand Up @@ -179,5 +175,5 @@ start-all-tx-submitter:
done

# build geth
nccc_geth: submodules
geth: submodules
cd go-ethereum && env GO111MODULE=on GOWORK=off go run build/ci.go install ./cmd/geth
2 changes: 1 addition & 1 deletion bindings/bin/gov_deployed.hex

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion bindings/bin/rollup_deployed.hex

Large diffs are not rendered by default.

422 changes: 37 additions & 385 deletions bindings/bindings/gov.go

Large diffs are not rendered by default.

4 changes: 2 additions & 2 deletions bindings/bindings/gov_more.go

Large diffs are not rendered by default.

260 changes: 52 additions & 208 deletions bindings/bindings/rollup.go

Large diffs are not rendered by default.

4 changes: 2 additions & 2 deletions bindings/bindings/rollup_more.go

Large diffs are not rendered by default.

4 changes: 2 additions & 2 deletions bindings/go.mod
Original file line number Diff line number Diff line change
Expand Up @@ -2,9 +2,9 @@ module morph-l2/bindings

go 1.22

replace github.com/tendermint/tendermint => github.com/morph-l2/tendermint v0.3.0
replace github.com/tendermint/tendermint => github.com/morph-l2/tendermint v0.3.1-0.20240911064723-eb4bb5fb2914

require github.com/morph-l2/go-ethereum v0.5.0
require github.com/morph-l2/go-ethereum v1.10.14-0.20240911055856-0fe4a892721d

require (
github.com/VictoriaMetrics/fastcache v1.12.2 // indirect
Expand Down
4 changes: 2 additions & 2 deletions bindings/go.sum
Original file line number Diff line number Diff line change
Expand Up @@ -109,8 +109,8 @@ github.com/mmcloughlin/addchain v0.4.0/go.mod h1:A86O+tHqZLMNO4w6ZZ4FlVQEadcoqky
github.com/mmcloughlin/profile v0.1.1/go.mod h1:IhHD7q1ooxgwTgjxQYkACGA77oFTDdFVejUS1/tS/qU=
github.com/modern-go/concurrent v0.0.0-20180306012644-bacd9c7ef1dd/go.mod h1:6dJC0mAP4ikYIbvyc7fijjWJddQyLn8Ig3JB5CqoB9Q=
github.com/modern-go/reflect2 v1.0.1/go.mod h1:bx2lNnkwVCuqBIxFjflWJWanXIb3RllmbCylyMrvgv0=
github.com/morph-l2/go-ethereum v0.5.0 h1:8RmripTA2F92capiLRZTiycSGsj4DR+HGOvwwhgQ58I=
github.com/morph-l2/go-ethereum v0.5.0/go.mod h1:sMJCfHOBzVRDkM2yF/Hy+oUk2rgC0CQZHTLs0cyzhhk=
github.com/morph-l2/go-ethereum v1.10.14-0.20240911055856-0fe4a892721d h1:tEYhJ9z2DNp8I6aSD1dyrSz/rqLzwXmjikcNF6yN0o4=
github.com/morph-l2/go-ethereum v1.10.14-0.20240911055856-0fe4a892721d/go.mod h1:sMJCfHOBzVRDkM2yF/Hy+oUk2rgC0CQZHTLs0cyzhhk=
github.com/mwitkow/go-conntrack v0.0.0-20161129095857-cc309e4a2223/go.mod h1:qRWi+5nqEBWmkhHvq77mSJWrCKwh8bxhgT7d/eI7P4U=
github.com/nxadm/tail v1.4.4/go.mod h1:kenIhsEOeOJmVchQTgglprH7qJGnHDVpk1VPCcaMI8A=
github.com/nxadm/tail v1.4.8/go.mod h1:+ncqLTQzXmGhMZNUePPaPqPvBxHAIsmXswZKocGu+AU=
Expand Down
9 changes: 2 additions & 7 deletions contracts/contracts/l1/rollup/IRollup.sol
Original file line number Diff line number Diff line change
Expand Up @@ -8,15 +8,15 @@ interface IRollup {

/// @param version The version of current batch.
/// @param parentBatchHeader The header of parent batch, see the comments of `BatchHeaderV0Codec`.
/// @param chunks The list of encoded chunks, see the comments of `ChunkCodec`.
/// @param blockContexts The block contexts of current batch.
/// @param skippedL1MessageBitmap The bitmap indicates whether each L1 message is skipped or not.
/// @param prevStateRoot The state root of parent batch.
/// @param postStateRoot The state root of current batch.
/// @param withdrawalRoot The withdraw trie root of current batch.
struct BatchDataInput {
uint8 version;
bytes parentBatchHeader;
bytes[] chunks;
bytes blockContexts;
bytes skippedL1MessageBitmap;
bytes32 prevStateRoot;
bytes32 postStateRoot;
Expand Down Expand Up @@ -113,11 +113,6 @@ interface IRollup {
/// @param newVerifier The address of new rollup verifier.
event UpdateVerifier(address indexed oldVerifier, address indexed newVerifier);

/// @notice Emitted when the value of `maxNumTxInChunk` is updated.
/// @param oldMaxNumTxInChunk The old value of `maxNumTxInChunk`.
/// @param newMaxNumTxInChunk The new value of `maxNumTxInChunk`.
event UpdateMaxNumTxInChunk(uint256 oldMaxNumTxInChunk, uint256 newMaxNumTxInChunk);

/// @notice Emitted when the state of Challenge is updated.
/// @param batchIndex The index of the batch.
/// @param challenger The address of challenger.
Expand Down
Loading
Loading