feat: L-S48 MultiDieAggCorrect.v — 8-die merkle aggregation correctness proof (Wave-13b)#804
Open
gHashTag wants to merge 1 commit into
Open
feat: L-S48 MultiDieAggCorrect.v — 8-die merkle aggregation correctness proof (Wave-13b)#804gHashTag wants to merge 1 commit into
gHashTag wants to merge 1 commit into
Commits
Commits on May 14, 2026
- committed
Dmitrii Vasilev