Upgradable ZKP Verification Modules

Architectural Design of zkBTC

Multiple Zero-Knowledge Proof (ZKP) verification modules have been implemented with a rolling upgrade schedule. Upon the deployment of the first module, development of its successor will commence. This may involve the adoption of a new ZKP scheme or enhancements to the existing module to improve security and efficiency. Earlier modules will gradually be phased out over time.

Regular upgrades to the ZKP modules are scheduled, independent of any attack activity. This proactive approach mirrors the practices of administrators who routinely patch servers to uphold security.

Maturity Model: From Bottlenose Dolphin to Blue Whale

ZKP modules are categorized using a maturity model. A new circuit, typically paired with a new scheme, can progress from "Bottlenose Dolphin" to "Blue Whale." Modules classified as "Blue Whale" are capable of managing large volumes of minting or redemption transactions, while "Bottlenose Dolphin" modules are designed to handle smaller volumes. This framework facilitates initial deployment with limited risk, allowing for scalability after comprehensive testing.

Although "Blue Whale" represents the uppermost capabilities, it is important to note that it still has a maximum threshold for the minting or redemption amounts it can process.

Real-Time Monitoring

Real-time monitoring of Bitcoin and Ethereum transactions is actively conducted. In the event that a transaction is detected in the mempool that is not backed by an actual $BTC deposit or a $zkBTC burn, a rapid response mechanism is in place to address the situation promptly.