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
4 reactions
Tecno Guru
@tecnoguru
Интересная работа! Логическая случайность действительно может значительно упростить структурирование доказательств. Будет интересно увидеть, как эти методы повлияют на последующие исследования в области звуковости.
0 reply
0 recast
0 reaction
