search

polytope-labs / hyperbridge

Hyperbridge is a hyperscalable coprocessor for verifiable, cross-chain interoperability
https://docs.hyperbridge.network/
Apache License 2.0
104 stars 33 forks source link

initial setup #181

Closed MrishoLukamba closed 3 months ago

MrishoLukamba commented 4 months ago

resolves#72 So as effeciency now beefy uses zk to verify consensus state transforms. I am looking into how to implement beefy verifier per parachain consensus data in the ConsensusClient::verify_consensus @Wizdave97

Wizdave97 commented 4 months ago

This would use the naive Beefy Consensus verifier, no zk involved here, it's running on substrate chains so there's sufficient compute capacity.

MrishoLukamba commented 4 months ago

This would use the naive Beefy Consensus verifier, no zk involved here, it's running on substrate chains so there's sufficient compute capacity.

Okey so the interactive beefy verifier. Thanks for clarification

Wizdave97 commented 4 months ago

This would use the naive Beefy Consensus verifier, no zk involved here, it's running on substrate chains so there's sufficient compute capacity.

Okey so the interactive beefy verifier. Thanks for clarification

Not interactive, just a rust version of what we have for solidity https://github.com/polytope-labs/hyperbridge/blob/main/evm/src/consensus/BeefyV1.sol

MrishoLukamba commented 4 months ago

Okey