Post #3275258
2026-06-05 07:48 UTC
Between this and the Google Quantum Circuit ZKP bug/forgeries, I think it should become standard practice to formally verify zero-knowledge proof circuits.
Otherwise, we really have zero-knowledge about what's being proven.
Replies (1)
-
@jeremiah_@mastodon.social 2026-06-05 08:21
@fj@mastodon.social I see what you did there