✨ feat(binius_vitalik): add arithmetization #2

Closed wenjin1997 closed 2 months ago