Why Fixed-Point Arithmetic is the Hardest Part of ZK
Your f64 has 53 bits. Your field has 255. Here's where they collide — and why fixed-point arithmetic is the single hardest problem in ZK circuit design.
Topic
zk-proofs
A collection of 1 issue