Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
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
32 changes: 30 additions & 2 deletions Cargo.lock

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

4 changes: 0 additions & 4 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -17,10 +17,6 @@ serde_json = { version = "1.0.128", default-features = false }
rlp = { version = "0.5.2", default-features = false }
prost = { version = "0.11", default-features = false }

# Ethereum-IBC
ethereum-consensus = { git = "https://github.com/datachainlab/ethereum-light-client-rs", rev = "v0.2.0", default-features = false }
ethereum-light-client-verifier = { git = "https://github.com/datachainlab/ethereum-light-client-rs", rev = "v0.2.0", default-features = false }

# Kona
kona-client = { git="https://github.com/ethereum-optimism/optimism", rev= "kona-node/v1.6.0", default-features = false }
kona-proof = { git="https://github.com/ethereum-optimism/optimism", rev= "kona-node/v1.6.0", default-features = false }
Expand Down
2 changes: 1 addition & 1 deletion DESIGN.md
Original file line number Diff line number Diff line change
Expand Up @@ -197,7 +197,7 @@ Among the Security Assumptions described above, the OP ELC can detect occurrence

If a Sync Committee acts in violation of the Sync Committee Protocol, the OP ELC will be unable to correctly verify the provided L1 head. Such misbehaviour is defined and the detection procedure is described in the following document. The OP ELC can detect it using the same method:

[https://github.com/datachainlab/ethereum-ibc-rs/blob/v0.1.0/README.md#misbehaviour-detection](https://github.com/datachainlab/ethereum-ibc-rs/blob/v0.1.0/README.md#misbehaviour-detection)
[https://github.com/datachainlab/ethereum-light-client-rs/blob/v0.1.0/README.md#misbehaviour-detection](https://github.com/datachainlab/ethereum-light-client-rs/blob/v0.1.0/README.md#misbehaviour-detection)

### Misbehaviour Detection for L2 Assumptions

Expand Down
30 changes: 29 additions & 1 deletion Makefile
Original file line number Diff line number Diff line change
@@ -1,6 +1,34 @@
PHONY: sync-lock
######## Proto ########

IBC_GO_PATH ?= $$HOME/go/src/github.com/cosmos/ibc-go
ETHEREUM_LIGHT_CLIENT_TYPES_PATH ?= $$HOME/go/src/github.com/datachainlab/ethereum-light-client-types

.PHONY: proto
proto:
cd proto-compiler && cargo run -- compile -i $(IBC_GO_PATH) -e $(ETHEREUM_LIGHT_CLIENT_TYPES_PATH) -o ../proto/src/prost

######## Build ########

.PHONY: sync-lock
sync-lock:
cargo update -p kona-client
cd tools/deps && python sync_lock.py
# Check build
cargo build

######## Lint ########

.PHONY: lint-tools
lint-tools:
rustup component add rustfmt clippy
cargo +nightly install cargo-machete

.PHONY: fmt
fmt:
@cargo fmt --all $(CARGO_FMT_OPT)

.PHONY: lint
lint:
@$(MAKE) CARGO_FMT_OPT=--check fmt
@cargo clippy --locked --tests -- -D warnings
@cargo machete
5 changes: 3 additions & 2 deletions light-client/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -18,8 +18,9 @@ optimism-ibc-proto = { version = "0.1.0", path = "../proto", default-features =
light-client = { git = "https://github.com/datachainlab/lcp", rev = "v0.2.17", default-features = false, features = ["ibc"] }

# Ethereum-IBC
ethereum-consensus = { workspace = true }
ethereum-light-client-verifier = { workspace = true }
ethereum-consensus = { git = "https://github.com/yoshidan/ethereum-light-client-rs", rev = "cb4f62bb86a143556068c0be89bf62ac5f54c75a", default-features = false }
ethereum-light-client-verifier = { git = "https://github.com/yoshidan/ethereum-light-client-rs", rev = "cb4f62bb86a143556068c0be89bf62ac5f54c75a", default-features = false }
ethereum-light-client-types = { git = "https://github.com/datachainlab/ethereum-light-client-types", rev = "933be5eb28f9608d287b2f78cf3728883c5f7e56", default-features = false }

# Kona
kona-protocol = { workspace = true}
Expand Down
Loading
Loading