The Ethereum co-founder expects “many more improvements” in binary-field-based proving techniques in the months ahead.