Skip to content

Add a pure Lean BLAKE3 implementation with checked proofs - #50

Merged
johnchandlerburnham merged 2 commits into
mainfrom
jcb/checked-pure-blake3
Sep 15, 2026
Merged

Add a pure Lean BLAKE3 implementation with checked proofs#50
johnchandlerburnham merged 2 commits into
mainfrom
jcb/checked-pure-blake3

Generate the pure test vectors as a typed structure literal

220ffa4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar