furfural··on Show HN: I Built a Groth16 ZK-Proof Verifier from Scratch Using Rustokay I see thanks for the insights