Remco(@recmo):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!

2026.09.23 13:15

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!