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!