Zellic - Audit Reports

Assessment reports>Babylon Genesis Chain>Design>Vigilante monitor (BTC timestamping monitor)

Findings

DiscussionBabylon node module-wise reviewed parameters Dependency management and vulnerability assessment Panic handling in ABCI++ handlers Behavior of MissedBlocksCounter on consecutive windows

Audit ResultsAssessment Results

AddendumAddendum Nonce reuse in adaptor signatures allows recovering signing key tests Key recovery succeeding on output from a btc-delegations query test

Vigilante monitor (BTC timestamping monitor)

Description

This package implements the BTC timestamping monitor. For monitoring the state of the change and alerting possible lapses in liveliness. However it does not play a security-critical role in the Babylon architecture.

Invariants

For reference, here are some examples:

Monitor the state of the chain and alert any anomalies
Ensure liveliness of the chain