I’ve dig a little bit into Binius after Vitalik’s blog post and it seems that it will be possible to create more efficient proofs using it. The proofs are larger (few MB) but apparently they could be wrapped inside SNARK or STARK proof.
STARKs have had the advantage of being the most efficient zk proofs but that is coming into question.
How will this innovation affect Starknet?