Gus Gutoski
@gusgutoski
Addendum: snark-friendly proof of correct erasure-encoding is even cheaper than originally claimed, thanks to barycentric challenge test. See forum post comment https://espresso.discourse.group/t/faster-vid-on-espresso-s-critical-path/39/3?u=gus
0 reply
0 recast
1 reaction