Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972
The unrelated problems in distributed computing, cryptography and complexity theory were discussed. First problem dealt with the selective decommitment in which an adversary was given commitment to a collection of messages and the adversary can ask for some subsets of the commitments to open. Second problem dealt with the power of 3-round weak zero-knowledge arguements which states what can be proved in zero-knowledge in a 3-round arguement. The third problem dealt with the method of converting a 3-round public -coin arguement to a 1-round signature scheme.
Barry K. Rosen
SWAT 1972
Anurag Ajay, Seungwook Han, et al.
NeurIPS 2023
Pavel Klavík, A. Cristiano I. Malossi, et al.
Philos. Trans. R. Soc. A
Fearghal O'Donncha, Albert Akhriev, et al.
Big Data 2021