# ONE Market E13 Reference Implementation

E13 adds four reference capabilities to E12:

1. RFC 9591 FROST(P-256, SHA-256) arithmetic and exact Appendix E.4 vector reproduction.
2. A 3-of-5 FROST provider adapting the E12 `thresholdauth.FROSTProvider` boundary.
3. Signed external-evidence admission for physical-region campaigns, cryptographic-module validation evidence, and independent threshold-provider review evidence.
4. An append-only, hash-chained transparency log and deterministic verification receipts.

## Assurance boundary

The in-tree FROST code is a reference/conformance implementation using generic Go P-256 arithmetic and trusted-dealer provisioning. It is not independently audited, not a DKG, not constant-time-certified, and not a validated cryptographic module.

The demonstration evidence is explicitly a reference fixture. E13 does not claim that a physical campaign was performed, that a validated HSM was integrated, or that an independent review was completed.

## Verify

```sh
PYTHONHASHSEED=1313 python3 verification/verify_e13.py
```
