Skip to content
Open
Show file tree
Hide file tree
Changes from 30 commits
Commits
Show all changes
43 commits
Select commit Hold shift + click to select a range
61710ae
pharos verifier
dharjeezy Jan 13, 2026
38fdd03
ismp pharos
dharjeezy Jan 13, 2026
63b3f7c
update state proof verification for pharos staking contract
dharjeezy Jan 14, 2026
883ae04
address more concerns
dharjeezy Jan 15, 2026
c62bbf1
get validator set from proof
dharjeezy Jan 15, 2026
17b7d06
no need to proof the current epoch slot
dharjeezy Jan 15, 2026
d94a728
use a BTreeSet to store validators,
dharjeezy Jan 18, 2026
d81e9b4
prover implementation
dharjeezy Jan 19, 2026
0751817
test for non epoch boundary consensus verification
dharjeezy Jan 21, 2026
fd7ced2
tesseract pharos
dharjeezy Jan 22, 2026
ff08841
pharos spv implementation
dharjeezy Feb 13, 2026
5c648d5
use sp_io for hashing
dharjeezy Feb 13, 2026
5eb6c40
non epoch boundary validator proof checks passes now
dharjeezy Feb 15, 2026
73f7b45
tesseract integration test
dharjeezy Feb 16, 2026
25dfb2d
Merge branch 'main' of github.com:polytope-labs/hyperbridge into dami…
dharjeezy Feb 16, 2026
1052faf
integration test completed
dharjeezy Feb 16, 2026
990b84f
skip pharos on lib
dharjeezy Feb 16, 2026
80e4df3
trigger
dharjeezy Feb 16, 2026
b218d5f
address concerns,
dharjeezy Feb 17, 2026
8fde1f6
dynamic BLS data slots
dharjeezy Feb 17, 2026
75237e9
direct use of state root
dharjeezy Feb 18, 2026
87c7f76
anyhow error variant
dharjeezy Feb 18, 2026
5b50852
address error related concerns
dharjeezy Feb 18, 2026
ddcce64
fix wasm error
dharjeezy Feb 18, 2026
535ec6e
switch to v2 staking contract, add support for non membership proofs
dharjeezy Apr 1, 2026
e2528df
merge main into dami/pharos-network
dharjeezy Apr 2, 2026
371a98e
nits
dharjeezy Apr 2, 2026
c8a7852
get epoch length from the staking contract slot
dharjeezy Apr 2, 2026
c374d23
pharos evm client for state proof fetch
dharjeezy Apr 2, 2026
bbe6edc
address all findings
dharjeezy Apr 2, 2026
bf07643
account proof, CI test, deduplication
dharjeezy Apr 2, 2026
0636c42
run ci on this branch
dharjeezy Apr 2, 2026
e8f3693
change workflow
dharjeezy Apr 2, 2026
2ee6a58
some fixes to proof verification
Wizdave97 Apr 3, 2026
067319d
hack for rate limiting
dharjeezy Apr 3, 2026
c235554
some nits
Wizdave97 Apr 3, 2026
8758b2d
Merge branch 'dami/pharos-network' of github.com:polytope-labs/hyperb…
Wizdave97 Apr 3, 2026
83c3caf
always use key path to verify existence proofs
Wizdave97 Apr 4, 2026
cbbe522
some deduplication
Wizdave97 Apr 4, 2026
6e0668a
some fixes
seunlanlege Apr 4, 2026
93e289e
fix hash_internal_node
seunlanlege Apr 4, 2026
38ac08a
fix pharos tests
seunlanlege Apr 4, 2026
b1cee85
pull_request_target
seunlanlege Apr 4, 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
153 changes: 151 additions & 2 deletions Cargo.lock

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

16 changes: 15 additions & 1 deletion Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -36,6 +36,7 @@ members = [
"modules/ismp/clients/arbitrum",
"modules/ismp/clients/optimism",
"modules/ismp/clients/bsc",
"modules/ismp/clients/pharos",
"modules/ismp/clients/grandpa",
"modules/ismp/testsuite",
"modules/ismp/clients/ismp-arbitrum",
Expand All @@ -60,6 +61,9 @@ members = [
"modules/consensus/tendermint/prover",
"modules/consensus/tendermint/primitives",
"modules/consensus/tendermint/ics23-primitives",
"modules/consensus/pharos/primitives",
"modules/consensus/pharos/verifier",
"modules/consensus/pharos/prover",
"modules/trees/ethereum",
"modules/pallets/mmr",
"modules/pallets/mmr/primitives",
Expand All @@ -69,6 +73,7 @@ members = [
"modules/ismp/state-machines/evm",
"modules/ismp/state-machines/substrate",
"modules/ismp/state-machines/hyperbridge",
"modules/ismp/state-machines/pharos",
"modules/pallets/consensus-incentives",
"modules/pallets/messaging-fees",

Expand Down Expand Up @@ -99,6 +104,7 @@ members = [
"tesseract/messaging/tron",
"tesseract/messaging/evm-tendermint",
"tesseract/messaging/substrate-evm",
"tesseract/messaging/pharos-evm",
"tesseract/messaging/fees",
"tesseract/messaging/fees/prisma-cli",
"tesseract/messaging/telemetry",
Expand All @@ -118,6 +124,7 @@ members = [
"tesseract/consensus/relayer",
"tesseract/consensus/polygon",
"tesseract/consensus/tendermint",
"tesseract/consensus/pharos",


# Airdrop
Expand Down Expand Up @@ -190,7 +197,7 @@ alloy-rlp-derive = "0.3.13"
alloy-sol-macro = { version = "1.5.7", features = ["json"] }
alloy-sol-types = { version = "1.5.7", default-features = false }
alloy = { version = "1.7.3", default-features = false }
alloy-provider = { version = "1.7.3", default-features = false }
alloy-provider = { version = "1.7.3", default-features = false, features = ["reqwest", "reqwest-default-tls"] }
alloy-transport = { version = "1.7.3", default-features = false }
alloy-transport-http = { version = "1.7.3", default-features = false }
alloy-signer = { version = "1.7.3", default-features = false }
Expand Down Expand Up @@ -280,9 +287,13 @@ tendermint-verifier = { path = "./modules/consensus/tendermint/verifier", defaul
tendermint-primitives = { path = "./modules/consensus/tendermint/primitives", default-features = false }
tendermint-prover = { path = "./modules/consensus/tendermint/prover", default-features = false }
tendermint-ics23-primitives = { path = "./modules/consensus/tendermint/ics23-primitives", default-features = false }
pharos-primitives = { path = "./modules/consensus/pharos/primitives", default-features = false }
pharos-verifier = { path = "./modules/consensus/pharos/verifier", default-features = false }
pharos-prover = { path = "./modules/consensus/pharos/prover", default-features = false }

# consensus clients
ismp-bsc = { path = "./modules/ismp/clients/bsc", default-features = false }
ismp-pharos = { path = "./modules/ismp/clients/pharos", default-features = false }
ismp-sync-committee = { path = "./modules/ismp/clients/sync-committee", default-features = false }
arbitrum-verifier = { path = "./modules/ismp/clients/arbitrum", default-features = false }
op-verifier = { path = "./modules/ismp/clients/optimism", default-features = false }
Expand All @@ -293,6 +304,7 @@ ismp-tendermint = { path = "modules/ismp/clients/tendermint", default-features =

# state machine clients
evm-state-machine = { path = "./modules/ismp/state-machines/evm", default-features = false }
pharos-state-machine = { path = "./modules/ismp/state-machines/pharos", default-features = false }
hyperbridge-client-machine = { path = "modules/ismp/state-machines/hyperbridge", default-features = false }

# ismp modules
Expand Down Expand Up @@ -330,6 +342,7 @@ tesseract-messaging = { path = "tesseract/messaging/messaging" }
tesseract-fisherman = { path = "tesseract/messaging/fisherman" }
tesseract-substrate = { path = "tesseract/messaging/substrate" }
tesseract-substrate-evm = { path = "tesseract/messaging/substrate-evm" }
tesseract-pharos-evm = { path = "tesseract/messaging/pharos-evm" }
tesseract-evm = { path = "tesseract/messaging/evm" }
tesseract-tron = { path = "tesseract/messaging/tron" }
tesseract-evm-tendermint = { path = "tesseract/messaging/evm-tendermint" }
Expand All @@ -350,6 +363,7 @@ tesseract-grandpa = { path = "tesseract/consensus/grandpa" }
tesseract-consensus = { path = "tesseract/consensus/relayer" }
tesseract-polygon = { path = "tesseract/consensus/polygon" }
tesseract-tendermint = { path = "tesseract/consensus/tendermint" }
tesseract-pharos = { path = "tesseract/consensus/pharos" }


[workspace.dependencies.codec]
Expand Down
6 changes: 2 additions & 4 deletions modules/consensus/bsc/verifier/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -17,10 +17,9 @@ primitive-types = { workspace = true }
codec = { workspace = true }
ismp = { workspace = true, default-features = false }
geth-primitives = { workspace = true, default-features = false }
sync-committee-verifier = { workspace = true, default-features = false }
crypto-utils = { workspace = true, default-features = false }
sync-committee-primitives = { workspace = true, default-features = false }
bls = { workspace = true }
ark-ec = { workspace = true }
ssz-rs = { git = "https://github.com/polytope-labs/ssz-rs", branch = "main", default-features = false }

[dependencies.polkadot-sdk]
Expand All @@ -38,9 +37,8 @@ std = [
"alloy-primitives/std",
"alloy-rlp/std",
"bls/std",
"sync-committee-verifier/std",
"crypto-utils/std",
"sync-committee-primitives/std",
"geth-primitives/std",
"ark-ec/std",
"ssz-rs/std",
]
Loading
Loading