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
3 replies
1 recast
5 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