Rust
Go
BFT
TEE
malachite (96K lines, Rust) โ BFT consensus engine. Audited proposal/vote validation, BLS/Ed25519 crypto, state machine logic.
arc-node (168K lines, Rust) โ Blockchain node. Audited EVM frame stack, unsafe blocks, env config.
arc-remote-signer (25K lines, Go) โ TEE remote signer. Audited gRPC server, AWS KMS proxy, vsock routing, enclave crypto. Found attestation bypass + DoS vectors.
Python
Rust
High Severity
Algorithmic complexity DoS in CLVM serialization. Method: timing analysis, root cause isolation, PoC with negative control.