feat(prover,executor): BLAKE3 6-round compression accelerator - #903

Draft

MauroToscano wants to merge 15 commits into

mainfrom

feat/blake3-accelerator

Commits on Jul 29, 2026

spike(blake3): recover the oracle and gate-proved chip design from transcripts
MauroToscano
committed
3b9b813
spike(blake3): restore the missing fixtures — oracle and gate now both run green
MauroToscano
committed
19ed761
docs(blake3): record what two independent oracle reviews established
MauroToscano
committed
5d969f9
fix(blake3): close the bus-binding design hole and the harness's false banner
MauroToscano
committed
c7087be
gate(blake3): two transcription audits, and the corrections they forced
MauroToscano
committed
8fec369
docs(blake3): mark the dead ../keccak-verify citations as historical
MauroToscano
committed
820fe7f

Commits on Aug 5, 2026

Commits on Aug 6, 2026