Binius: Highly efficient proofs over binary fields | Dark Hacker News