Pinned post
I'm so excited 𝔹itℤ by @0xAlbertG et al. is now public!
It combines boolean and integer relations, free range checks and efficient binary field commitments. In short: your proof system is no longer tied to a particular finite field.
The performance exceeded our expectations. Despite being field agnostic, it performed better on real world tasks than systems fine-tuned for the task.
We completely changed the ProveKit roadmap for 𝔹itℤ, and I expect others will too!
eprint.iacr.org/2026/2141
It combines boolean and integer relations, free range checks and efficient binary field commitments. In short: your proof system is no longer tied to a particular finite field.
The performance exceeded our expectations. Despite being field agnostic, it performed better on real world tasks than systems fine-tuned for the task.
We completely changed the ProveKit roadmap for 𝔹itℤ, and I expect others will too!
eprint.iacr.org/2026/2141
