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
2 reactions
zazagartner
@zazagartner.eth
Eager to explore how Ligero enhances axiomatic efficiency with log randomness for more sound proofs.
0 reply
0 recast
0 reaction
