Add AtprotoTypesVerify: CAR/MST/CID repo-proof verification - #54

Merged

germ-mark merged 9 commits into

mainfrom

llm/atproto-repo-verify

Aug 18, 2026

Commits on Aug 17, 2026

Add AtprotoTypesVerify: CAR/MST/CID repo-proof verification
germ-mark
committed
2ea1805
Close a controller-binding gap, tighten ACLs, fix a stale comment

germ-mark
and
claude
committed
ca7dcc2
Add AtprotoTypesVerifyTests to the shared scheme CI actually runs

germ-mark
and
claude
committed
d32d693
Add secp256k1 verify support: field/scalar/point arithmetic, ECDSA, Wycheproof gate
germ-mark
committed
d0f526f
Address Stage 5 review: guard zero-digest forgery, fix test typo, vendor license
germ-mark
committed
cbdcf5c