Comment by @junzhang • Hey

SNARKs rely on "arithmetization": a way of converting a statement about a program into an equatiblob:https://firefly.mask.social/44079cf2-65a9-4a05-890a-cc