Content
@
0 reply
0 recast
0 reaction
Ketsuban
@missingno
Reading Guillermo and Alex’s paper on Ligero and log randomness for improving soundness and structuring proofs more efficiently. https://angeris.github.io/papers/log-randomness.pdf
0 reply
0 recast
0 reaction
