Ab.1 - Design the next ZKP replacement

Decide, deliberately, what replaces the proof system retired in Aa.1