systems / Rust / cryptography
BLS verifier
Ethereum sync-committee signature verification as one deliberately narrow primitive, compiled for native C-FFI or wasm32.
WORKING PRIMITIVEDesign choice
One primitive verifies one thing. The surrounding workspace separates the cryptographic core from an integration runner, CLI wrapper, and a higher-level harness.
Why the boundary matters
A valid aggregate BLS signature is not by itself a complete Ethereum sync-committee verifier. Committee selection, signing-root construction, state transition context, and operational failure handling belong above the primitive.
Targets
Native cdylib for C-FFI and a wasm32-unknown-unknown build for the device path.
Documentation
The runbooks lead with return codes, failure modes, and what must not be inferred from a successful primitive call.