4
Various Papers
4.17
Greyhound
4.19
Greco
4.18
Lattice-Based Succinct Arguments for NP with Polylog Verification
TODO
:
…
[
BCS23
]