[tesseract]: Introduce pallet-outbound-proofs for on-chain consensus proof storage and verification#732
Draft
dharjeezy wants to merge 33 commits intorelayer-v2from
Draft
[tesseract]: Introduce pallet-outbound-proofs for on-chain consensus proof storage and verification#732dharjeezy wants to merge 33 commits intorelayer-v2from
dharjeezy wants to merge 33 commits intorelayer-v2from
Conversation
seunlanlege
reviewed
Mar 24, 2026
seunlanlege
reviewed
Mar 24, 2026
seunlanlege
reviewed
Mar 24, 2026
dharjeezy
changed the title
seunlanlege
reviewed
Mar 25, 2026
seunlanlege
reviewed
Mar 25, 2026
seunlanlege
reviewed
Mar 25, 2026
seunlanlege
reviewed
Mar 25, 2026
seunlanlege
reviewed
Mar 25, 2026
seunlanlege
approved these changes
Mar 25, 2026
…o dami/zk-proof-indexer-db # Conflicts: # evm/src/consensus/BeefyV1.sol # evm/src/consensus/BeefyV1FiatShamir.sol # evm/src/consensus/ConsensusRouter.sol # evm/src/consensus/SP1Beefy.sol # evm/src/core/HandlerV2.sol # evm/test/HandlerV2Test.sol # evm/test/TestConsensusClientV2.sol # sdk/packages/core/contracts/interfaces/IConsensusV2.sol
Wizdave97
reviewed
Mar 26, 2026
| and submit them on-chain via HandlerV2.handleConsensus(). | ||
| """ | ||
| type ZkConsensusProof @entity { | ||
| id: ID! |
Member
There was a problem hiding this comment.
Unique constraint needed here or else the ON CONFLICT check in insertion will fail
dharjeezy
changed the title
Wizdave97
requested changes
Mar 31, 2026
modules/pallets/ismp/src/impls.rs
Outdated
| ); | ||
| Responded::<T>::insert(req_commitment, true); | ||
|
|
||
| T::OnDispatch::on_dispatch(); |
Member
There was a problem hiding this comment.
we should not call it for every message make be call it if the child_trie root changes in onfinalized_hook
|
|
||
| /// The last proven parachain block height | ||
| #[pallet::storage] | ||
| pub type LatestProvenParachainHeight<T: Config> = StorageValue<_, u64, ValueQuery>; |
Member
There was a problem hiding this comment.
we can get this information from decoding the consensus state
|
|
||
| /// Current BEEFY authority set epoch | ||
| #[pallet::storage] | ||
| pub type CurrentEpoch<T: Config> = StorageValue<_, u64, ValueQuery>; |
| pub fn submit_proof( | ||
| origin: OriginFor<T>, | ||
| consensus_proof: BoundedVec<u8, T::MaxProofSize>, | ||
| relay_chain_height: u64, |
Member
There was a problem hiding this comment.
The consensus proof has all this data, we should verify the proof and extract the data from it
| StorageMap<_, Blake2_128Concat, u64, EpochInfo, OptionQuery>; | ||
|
|
||
| #[pallet::storage] | ||
| pub type UnprovenHeights<T: Config> = |
| } | ||
|
|
||
| #[pallet::storage] | ||
| pub type UnprovenEpochs<T: Config> = |
|
|
||
| #[pallet::storage] | ||
| pub type ProvenHeights<T: Config> = StorageMap< | ||
| _, |
Member
There was a problem hiding this comment.
why so we need proven height and recent proofs storage items, on should be sufficient
|
|
||
| let public_inputs = build_public_inputs(&proof, authority.root, authority.len); | ||
|
|
||
| #[cfg(feature = "sp1")] |
Contributor
Author
There was a problem hiding this comment.
I also added a dummy verifier for testing, but i am now going to add the sp1 verification to the current beefy consensus client PR we have opened.
#746) Co-authored-by: Seun Lanlege <seun@polytope.technology>
Co-authored-by: David Salami <wizdave97@gmail.com> Co-authored-by: Seun Lanlege <seun@polytope.technology>
…h, mandatory status) from the consensus proof itself, removed redundant storage and duplicated code with ismp-beefy, and moved OnDispatch to fire only when the child trie root changes in on_finalize.
…/beefy-consensus-client # Conflicts: # Cargo.lock # modules/pallets/testsuite/src/runtime.rs # parachain/runtimes/gargantua/src/ismp.rs
…s/hyperbridge into dami/zk-proof-indexer-db # Conflicts: # modules/pallets/testsuite/src/runtime.rs # parachain/runtimes/gargantua/src/lib.rs
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
4 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This PR Introduces
pallet-outbound-proofs, a pallet that allows provers to submit ZK BEEFY consensus proofs to Hyperbridge, where they are verified, stored in offchain storage, and made available for outbound relayers to polland submit to EVM chains via
HandlerV2.batchCall().