If you have Telegram, you can view and join
$Binius - highly efficient proofs over binary fields right away.