🎉🥳#TGIF and it is ELI-5 time! Today, we talk about the last topic for the self-managed model for cBridge 2.0: how cBridge 2.0's design provides the first-ever solution to the "griefing problem" in the non-custodial bridging system using the Celer State Guardian Network.
1/n So what is “griefing”? In the self-managed bridging model of cBridge 2.0’s two models, two steps are always needed for the cross-chain transaction to happen for both the bridge nodes and the user in the following sequence.
2/n Step 1 for the user: make a “time-locked” transfer to the bridge node on the source chain, where only she has the key to unlocking this transfer.
Step 1 for the bridge node: make a locked transfer to the user on the destination chain, using the exact same lock as the user.
3/n Step 2 for the user: unlock the transfer on the destination chain to get the fund from the bridge node.
Step 2 for the bridge node: seeing the key to the lock on dst chain, she can then unlock the transfer on the source chain to get the fund from the user.
4/n Griefing happens when bridge node refuses to do step 1 after user did step 1, or the user refuses to do step 2 after the bridge node did step 1, either due to system fault or malicious intent.
5/n Griefing will not result in fund loss but will cause funds of users or bridge nodes to be stuck in the system and wait for a very long timeout. The challenge is that, in both scenarios, events are happening on different chains and it is impossible to tell who is at fault.
6/n We need some decentralized entity that can act as the “arbitrator” of this griefing challenge. Because SGN is allocating the requests for the users and it can track the entire lifecycle any cross-chain transfer, it is very easy for the SGN to tell who is actually at fault.
8/n In cBridge 2.0, after the arbitration, SGN can slash “SLA” bound from the faulty party to compensate the opportunity and time cost of the damaged party. SGN can only touch a pre-defined amount of bond at maximal, so there is no loss of non-custodial property.
9/n That concludes our walkthrough of the self-managed model of cBridge 2.0. What's coming next? We will talk about the detailed design in the pooled together model soon!
• • •
Missing some Tweet in this thread? You can try to
force a refresh
Tl;dr 🧵 on how Celer's Brevis @brevis_zk works.
💪1/ Brevis is a powerful system for omnichain data access in dApps with key components: zkFabric, zkQueryNet, and zkAggregatorRollup. Benefits include trust-free access, low-cost, and modularity. blog.celer.network/2023/03/21/bre…
🌉2/ zkFabric collects block headers from connected blockchains and generates ZK Consensus Proofs for validity using zk light client circuits. A decentralized network of relayers and provers ensures trust-free access to block headers.
🚀 3/ zkQueryNet is an open marketplace of ZK Query Engines for dApp developers. Write queries via high-level APIs and query languages directly in smart contracts & select the engine that fits your needs. Flexible, powerful, and trust-free.
🤔When building a next-gen ZK infrastructure, one must select a suitable ZK dev framework from the many available options
🏦To make this easier, we're launching the Pantheon of ZKP to help build a ZKP dev framework testbed with a diverse set of benchmarks blog.celer.network/2023/03/01/the…
🧪Today we take the first step by providing a comprehensive benchmark using a SHA-256 workload for low-level circuit frameworks including gnark, Arkworks, Circom+snarkjs/rapidsnark, Halo2 (KZG), Plonky2 and Starky
🤗We invite the community to share reproducible benchmarking results and work together towards a universally recognized evaluation testbed that covers the full set of low-level circuit development frameworks, high-level zkVMs and compilers, and hardware acceleration providers
📢(1/n)A DNS cache poisoning attack on cBridge’s frontend UI appprox. during 08/17 07:45pm to 10:00 pm UTC caused some users to be redirected to malicious smart contracts that can drain all approved token amount. FIRST, PLEASE check&revoke any approval to the followings:
In locally verified bridges, since liquidity is also self-managed by the relayers themselves, there is additional complexity in node scheduling and handling griefing as mentioned below (malicious relayer locks user fund). Celer cBridge 2.0 is the first to solve these challenges.
🙌🙌 #ELI5 continues 1/n We talked about TWO models of cBridge 2.0 yesterday and also dived into the design challenges for the self-managed liquidity model.
🧑🔧 Today is we start to break down the solutions. First, we start with the node coordination and operation issues.
3/n cBridge 2.0 solves the coordination problem in the self-managed model with State Guardian Network (SGN). SGN, an essential component in Celer, is a specialized and decentralized PoS chain with CELR staking. Its general purpose is to relay information from L2 to L1.
🙌🧐1/n cBridge 2.0 is the first and only cross-chain architecture that allows Liquidity Providers to freely choose between the "self-managed" and the "pooled-together" liquidity models. Today, we talk about some fun design challenges. We will unveil solutions in the coming days!
2/n Under the self-managed, a.k.a "non-custodial", model, LPs hold full control of their liquidity 100% of the time. To make this possible, each LP also needs to run a cBridge node "program" in a server so that they can respond to users' asset cross-chain requests.
3/n Self-managed model has the very obvious benefits of not needing to trust any centralized or decentralized third parties. However, this is also a double-edged sword.