Skip to content

Instantly share code, notes, and snippets.

@AztecBot
AztecBot / audit-pipeline-design.md
Last active March 30, 2026 23:06
Barretenberg Audit Pipeline: Multi-stage security audit design for cloxy

Barretenberg Audit Pipeline v2: Issue Categorization Focus

Context

AztecProtocol/barretenberg-claude has ~2,193 issues from automated security audits. The repo is an experimental fork of barretenberg (C++ prover, AVM/PIL constraints, TS bindings) where Claude agents file audit findings. The current state:

  • ~2,193 total issues (many closed, 37 [META] consolidation issues)
  • Heavy coverage of AVM/VM2 PIL constraints, crypto primitives, stdlib, ECC, Honk prover/verifier
  • Review pipeline labels exist: needs-review, review-1-pass, review-2-pass, review-1-fail, review-2-fail, poc-confirmed, poc-failed
  • Severity labels: critical, high-severity, medium-severity, low-severity, category/info