New: doubleadvancezeroknowledgeproofsystem