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

Move IBC and cometbls move light client #2662

Merged
merged 60 commits into from
Aug 29, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
60 commits
Select commit Hold shift + click to select a range
290ff17
chore(move): cometbls verifier test passes
aeryz Jul 31, 2024
c78289d
chore: import aptos
aeryz Jul 31, 2024
fc2753b
feat(move): started ibc implementation with move
Caglankaan Jul 31, 2024
fbe9265
chore(cometbls-move): split pairing
aeryz Aug 1, 2024
6cc34ca
chore(move-ibc): create_client with event emitting in it
Caglankaan Aug 1, 2024
32ad7f9
chore(move-ibc): fixed global storage usage, removed registerclient
Caglankaan Aug 1, 2024
7620993
chore(move-ibc): lightclient api design
Caglankaan Aug 1, 2024
5f4012b
chore(cometbls-move): fix apis
aeryz Aug 1, 2024
2c68938
feat(cometbls-move): integrate zk verifier
aeryz Aug 1, 2024
635b467
chore(cometbls-move): create_client tests
aeryz Aug 2, 2024
4b43e1e
feat: added connection handshake with test cases
Caglankaan Aug 2, 2024
d0d1065
chore(cometbls-move): state constructors
aeryz Aug 2, 2024
13e0fe9
chore: fixed create client test case
Caglankaan Aug 2, 2024
a810c3a
feat(move-ics23): implement optimized existence proof verification
aeryz Aug 2, 2024
eb3fbd2
chore(move): create proper movement executable
aeryz Aug 5, 2024
7d5cde7
chore(move-ics23): implement varint and test
aeryz Aug 5, 2024
8847868
feat: channel handshake helpers + openinit
Caglankaan Aug 5, 2024
bf3dffd
chore(move-proto): decode varint and field
aeryz Aug 7, 2024
236c4c7
feat(move-ibc): added channel open init
Caglankaan Aug 7, 2024
0565230
chore(move-ibc): fix storage issue
aeryz Aug 7, 2024
80176fd
feat(move-ibc): channel handshake finalized with test cases
Caglankaan Aug 7, 2024
38a8181
chore(move-ibc): refactored event usage, fixed warnings
Caglankaan Aug 8, 2024
2423554
chore(move-proto): more proto decode impls
aeryz Aug 8, 2024
bb38fc2
chore(ibc-move): recvpacket - sendpacket with pinpong app
Caglankaan Aug 8, 2024
74af8ac
chore(move-ibc): complete connectionend proto encode/decode
aeryz Aug 9, 2024
deac580
chore(move-ibc): wip integrate connection end
aeryz Aug 9, 2024
2179c79
chore(move-ibc): use connectionend
aeryz Aug 13, 2024
6bb30cd
feat(move-ibc): add channel protos
aeryz Aug 13, 2024
ccd1351
feat(move-ibc): channel proto integration
aeryz Aug 13, 2024
f680aa4
chore(move-ibc): fix channel tests
aeryz Aug 14, 2024
3bd7e0f
chore(move-ibc): add Packet and Height protos
aeryz Aug 14, 2024
290444e
chore(move-ibc): verify commitment in recvpacket
aeryz Aug 14, 2024
e8a63f4
chore(move-ibc): added writeack-ack msgs and test cases
Caglankaan Aug 15, 2024
43494a3
chore(move-ibc): fixed callback logic for channels
Caglankaan Aug 16, 2024
47741f1
feat(ics08-movement): initiate the impl
aeryz Aug 16, 2024
7bfa160
chore(ibc-move): timeout packet added
Caglankaan Aug 16, 2024
b63cf71
chore(ibc-move): timeout packet test cases added
Caglankaan Aug 16, 2024
d9a5252
chore(ics08-movement): reimpl bunch of types
aeryz Aug 19, 2024
926f1ad
chore(ics08-movement): `StateProof` compiles
aeryz Aug 19, 2024
f1b3a73
chore(ics08-movement): transaction proof
aeryz Aug 21, 2024
9a06391
chore(unionlabs): start implementing movement types
aeryz Aug 22, 2024
a9f2da8
chore(unionlabs): move types to unionlabs
aeryz Aug 22, 2024
ece82b5
chore(unionlabs): impl protos for aptos types
aeryz Aug 22, 2024
94468eb
chore(unionlabs): complete aptos proto impl
aeryz Aug 23, 2024
c3c8244
chore(unionlabs): derive `model` in missing types
aeryz Aug 23, 2024
6be6112
chore(ics08-movement): mock impl `IbcClient`
aeryz Aug 26, 2024
b9897d1
chore(unionlabs): add `tx_proof` to movement header
aeryz Aug 26, 2024
51de7d5
feat: intoduce `aptos-verifier`
aeryz Aug 26, 2024
91251d8
feat(ics08-movement): header verification
aeryz Aug 26, 2024
78ee9ed
feat(aptos-verifier): existence proof verification
aeryz Aug 27, 2024
2de0e22
feat(ics08-movement): membership verification
aeryz Aug 28, 2024
d20a3cc
chore(cometbls-move): membership verification
aeryz Aug 28, 2024
0bd9d5b
chore(move): proper signer handling in callbacks
aeryz Aug 28, 2024
210adc3
chore(move-ibc): capability authentications
aeryz Aug 29, 2024
d2bf058
fix(move-ibc): packet commitments
aeryz Aug 29, 2024
bdbb1cb
chore(move-ibc): name improvements and missing signers
aeryz Aug 29, 2024
e458319
chore: fmt
aeryz Aug 29, 2024
fb603ab
feat(devnet): add ics08-movement to union devnet
aeryz Aug 29, 2024
921abd0
chore(move-ibc): use snake case for naming
aeryz Aug 29, 2024
4a795ee
chore: fix hubble
aeryz Aug 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
2 changes: 2 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -74,3 +74,5 @@ data/
fbef3d1a-8b84-4eb5-937c-06f78b1a1347
db.sqlite
db.sqlite3*

move/move-ibc/build
47 changes: 45 additions & 2 deletions Cargo.lock

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

3 changes: 3 additions & 0 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -74,6 +74,8 @@ members = [
"voyager",

"drip",
"light-clients/movement/ics08-movement",
"lib/aptos-verifier",
]

[workspace.package]
Expand All @@ -92,6 +94,7 @@ opt-level = 3
strip = true

[workspace.dependencies]
aptos-verifier = { path = "lib/aptos-verifier", default-features = false }
arbitrum-verifier = { path = "lib/arbitrum-verifier", default-features = false }
beacon-api = { path = "lib/beacon-api", default-features = false }
block-message = { path = "lib/block-message", default-features = false }
Expand Down
9 changes: 9 additions & 0 deletions dictionary.txt
Original file line number Diff line number Diff line change
Expand Up @@ -244,6 +244,7 @@ appchain
appchains
appmodule
appparams
aptos
arbitrum
arbtest
arethetypeswrong
Expand Down Expand Up @@ -303,6 +304,7 @@ bitfield
bitfield's
bitfields
bitlist
bitmask
bitsize
bitslice
bitsong
Expand Down Expand Up @@ -376,6 +378,7 @@ commitmenttypes
committes
compat
composability
compr
concat
configurator
confix
Expand Down Expand Up @@ -473,6 +476,7 @@ dymension
echarts
eitherway
elems
elfutils
elgafar
elit
endianness
Expand Down Expand Up @@ -1068,6 +1072,7 @@ stridevalcons
stridevalconspub
stridevaloper
stridevaloperpub
strlen
struct
structs
strxor
Expand All @@ -1076,6 +1081,7 @@ subaccount
subdenom
subdenoms
subdetail
subdir
submessage
submessages
submsg
Expand Down Expand Up @@ -1175,6 +1181,7 @@ umee
unbond
unbonded
unbonding
uncompr
uncons
undelegate
undelegations
Expand Down Expand Up @@ -1222,8 +1229,10 @@ upgradability
upgradeclient
upgradekeeper
upgradetypes
upsert
urql
ursi
usecs
usertransfers
usizes
ustars
Expand Down
2 changes: 2 additions & 0 deletions flake.nix
Original file line number Diff line number Diff line change
Expand Up @@ -233,6 +233,7 @@
./lib/ssz/ssz.nix
./lib/unionlabs/unionlabs.nix
./hubble/hubble.nix
./lib/aptos.nix
./lib/ethereum-verifier/ethereum-verifier.nix
./lib/tendermint-verifier/tendermint-verifier.nix
./lib/scroll-verifier/scroll-verifier.nix
Expand All @@ -249,6 +250,7 @@
./light-clients/linea-light-client/linea-light-client.nix
./light-clients/berachain-light-client/berachain-light-client.nix
./light-clients/evm-in-cosmos-light-client/evm-in-cosmos-light-client.nix
./light-clients/movement/ics08-movement/ics08-movement.nix
./lib/cometbls-groth16-verifier/default.nix
./lib/linea-verifier/default.nix
./lib/linea-zktrie/default.nix
Expand Down
2 changes: 2 additions & 0 deletions generated/rust/protos/Cargo.toml

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

8 changes: 8 additions & 0 deletions generated/rust/protos/src/lib.rs

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

Loading