3 ms·
This is a blog post about a recent paper covering the Fiat-Shamir transform. It involves zero-knowledge proofs and verifiable computation, not simple logic.
by some_furry 2y ago
This is a blog post about a recent paper covering the Fiat-Shamir transform. It involves zero-knowledge proofs and verifiable computation, not simple logic.
- fuzztester 2y ago>zero-knowledge >not simple logic bro ... you impractical academic ... i'm calling you out as an impractical academic, based on your fancy, high-falutin, chi-chi words above ... because logic is all there is. there is nothing in life, the universe, and everything, except (simple) logic. https://en.m.wikipedia.org/wiki/Life,_the_Universe_and_Everything https://en.m.wikipedia.org/wiki/Life,_the_Universe_and_Every... ;) logic does not need to be complicated. confusion worse confounded. :) just that some of it may not be evident to you or us at any given time. like, you know, at first people thought, euclidean geometry was the only kind of geometry. https://en.m.wikipedia.org/wiki/Euclidean_geometry https://en.m.wikipedia.org/wiki/Euclidean_geometry later, non-euclidean geometry was discovered or invented. https://en.m.wikipedia.org/wiki/Non-Euclidean_geometry https://en.m.wikipedia.org/wiki/Non-Euclidean_geometry go figure. pun intended. galileo is another example. don't tell me you didn't hear about him. a lot of people learned about him in elementary school. https://en.m.wikipedia.org/wiki/Galileo_Galilei https://en.m.wikipedia.org/wiki/Galileo_Galilei And yet it moves: https://en.m.wikipedia.org/wiki/And_yet_it_moves https://en.m.wikipedia.org/wiki/And_yet_it_moves
- donald_duck_won 2y ago[flagged]