Shall we move the parts of the protocol which is similar to Anon-Pass to the building blocks and simply use the AC-scheme notation in the protocol?
Then we can specify the proofs of knowledge for each AC algorithm in the building blocks too.
I think this abstraction is possible. And it would be good for two things: readability and reducing the proofs to the proofs of those algorithms. Then we only need to prove the new parts we do.
Shall we move the parts of the protocol which is similar to Anon-Pass to the building blocks and simply use the AC-scheme notation in the protocol?
Then we can specify the proofs of knowledge for each AC algorithm in the building blocks too.
I think this abstraction is possible. And it would be good for two things: readability and reducing the proofs to the proofs of those algorithms. Then we only need to prove the new parts we do.