Merkliste 
 1 Ergebnisse 
 
1

The GKR Protocol Revisited : Nearly Optimal Prover-Compl..:

, In: Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation,
Kaltofen, Erich L. - p. 177-186 , 2022