Error Correcting Codes & Information Theory with Ron Rothblum
Zero Knowledge
00:00
How to Prove Correctness of Boolean Circuits
Ronald Ronsvi: The ideas under length of linear time provers sort of break down. And I'm saying, you know, let's try to work with these. What can we do in terms of proving correctness of Boolean circuits? But the downside was that the soundness error was a constant rather than being some, you know,. negligible function, which is what we prefer. So it basically works for it kind of takes away the restriction on the field. It can work for any field that you like; hardest case would be 0, 1, f2.
Transcript
Play full episode
