Interpretation of Trust Minimization Middleware by Distributed Capital Researcher: Consensus Verification and Bridging

Distributed Capital researcher's view on Trust Minimization Middleware: verifying consensus and bridging.

Researcher BallsyAlchemist from Distributed Capital wrote an article analyzing the meaning of trust minimization, why zkBridge has not yet implemented trust minimization, and how to achieve complete consensus verification through ZK light clients.

Succinct, Celer Network, Polymer Labs, LayerZero Labs, and Wormhole have all built zkBridges in different ways, but they have different views on interoperability. For example, Succinct, Celer, and Wormhole rely on ZK light client consensus proof to verify the consensus of origin chain A on destination chain B, while Polymer tries to establish a zkIBC center to achieve a similar IBC experience on any chain. However, most of the security assumptions of zkBridge are based on light clients, which means that the security of zkBridge is equivalent to that of light clients, but far less than L1 security.

How secure is a light client based on synchronous committees? I think synchronous committees are not secure for several reasons: 1) validator distribution bias among node operators: if a node operator is running validators A, B, C, and D, and finds that A is compromised, the probability of collusion between B, C, and D will increase, so it is not independent or uniformly distributed; 2) coordination risk without time limit: 27 hours is long enough for synchronous validators to collude; 3) lack of replicability of consensus =>N security is not high.

So how do we solve this problem? My suggestion is to perform full consensus verification by verifying every signature of all validators, and with the abstract of on-chain verification of BLS signatures by ZKP, we can establish a ZK light client that truly executes complete consensus verification in a trust-minimized manner. In addition, there are three possible methods to effectively generate consensus proof for about 600,000 validator signatures, including recursive composition method, commitment-based method, and folding-based method.

Reference: https://twitter.com/ballsyalchemist/status/1664270746506637312

We will continue to update Blocking; if you have any questions or suggestions, please contact us!

Share:

Was this article helpful?

93 out of 132 found this helpful

Discover more

Blockchain

Coinbase CEO: Almost every economic field is struggling, and Bitcoin is the currency people need at this moment

Editor's Note: This article has been deleted without changing the original intention of the author. Coinbase, a ...

Blockchain

Compliance, endorsement path: inventory cryptocurrency exchange registration holy place

The increase was 132.58%. Tongcheng Holdings announced that it had changed its name to Firecoin Technology. The found...

Opinion

What do legal experts think of the SBF trial?

If SBF is convicted of one or more charges he is facing, the length of time he will spend in prison will largely depe...

Policy

The Shocking Revelation: When Alameda Research Borrowed More Than Just a Cup of Sugar from FTX

Exclusive Leaked Audio from Alameda Research Meeting Exposes Caroline Ellison's Disclosure of Misuse of FTX Deposits ...

News

Inventory of Seven Bills that Could Determine the Future of Cryptocurrency in the United States

Author | DL NEWS compilation | Garyma Wu said the original link of the blockchain https//www.dlnews.com/articles/defi...

Blockchain

Bitfinex abolishes the minimum balance threshold of $10,000

Bitfinex, a Hong Kong-based cryptocurrency exchange, is now open to all traders as they canceled a minimum entry thre...