A new fast binary-field proving system is out: Flock by
@benediktbuenz,
@ronrothblum and
@kleptographic.
We'll be spending the next couple of weeks exploring whether it could be a good fit for proving post-quantum signature aggregation for Ethereum. 🤞