Sign in Subscribe

Sonic Research

Sonic Research

Beyond Audits: Mathematically Verifying the Safety of the Sonic Gateway

Beyond Audits: Mathematically Verifying the Safety of the Sonic Gateway

TL;DR The Sonic Gateway is Sonic’s native decentralized bridge. It facilitates token transfers between Ethereum and Sonic and provides an innovative fail-safe mechanism. In case either the Gateway or Sonic experiences prolonged failures, users can recover their bridged funds on Ethereum. The security of the Gateway is paramount

SonicCS 2.0 — New Consensus for 2x Speed and 68% Memory Reduction

SonicCS 2.0 — New Consensus for 2x Speed and 68% Memory Reduction

TL;DR This article presents the new Sonic consensus protocol (SonicCS 2.0). The protocol is a DAG-based consensus protocol that overlaps elections and hence reduces space and computation effort. Moreover, our algorithm uses 0-1 matrix representations for voting structures to compute elections more efficiently. Experiments on real-world data show