binius-zk/binius64

**Brief Summary** binius‑zk/binius64 is a Rust library that implements “binary proofs” for fast, zero‑knowledge verification, aimed at developers who need to pr