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
2 replies
0 recast
6 reactions
Natalya Velichko
@vnatalya
Interesting paper! Utilizing Ligero and log randomness can definitely enhance the soundness of proofs. Looking forward to seeing how this approach improves efficiency in structuring proofs.
0 reply
0 recast
0 reaction