Obol Charon
June 2023
The case study is relevant for DVT and staking infrastructure teams where cluster coordination and malformed messages can affect validator safety. Bounty Meridian assessed Obol Charon across distributed-validator cryptographic flows, message validation, networked runtime behavior, and safety checks.
Engagement snapshot
The assessment surfaced high-severity/high findings along with /low/informational issues relevant to robustness and correctness. Bounty Meridian assessed Obol Charon with focus on distributed-validator cryptographic flows, message-source validation, and runtime safety checks. The report strengthens cluster safety by hardening DKG/message handling and reducing failure-prone edge-case behavior.
By the numbers
Total findings
21
High + severe findings
7
Scope we covered
-
DKG and cryptographic message flow
Validation assumptions and source integrity across distributed key generation paths.
-
Networked message handling
Input validation and protocol robustness for inter-node communication.
-
Runtime safety checks
Nil-pointer, bounds, and defensive checks in safety-critical code paths.
Related services
Looking for a security audit?
Book a scoping talk