factor out blake3 - Githubissues

argumentcomputer / yatima

A zero-knowledge Lean4 compiler and kernel

MIT License

114 stars 8 forks source link

factor out blake3 #254

Closed arthurpaulino closed 1 year ago

arthurpaulino commented 1 year ago

Drop blake3
Bump LightData for a SerDe bugfix
Fix the extraction of relevant store subsets

Closes #250