fact: Variable (Commitment Response P_State : Set) (P_commit : Blist -> Blist -> Comp (P_State * Commitment)) (V_challenge : Blist -> Commitment -> Comp (Bvector t)) (P_respond : P_State -> Bvector t -> Comp Response) (V_accept : Blist -> Commitment -> Bvector t -> Response -> bool).
imports: Crypto FCF RndNat