Run as generator

 I know inputs    I know only inputs lengths

Number of model steps 


Number of model edges 


Number of automaton transitions 


Number of automaton states 


Trace length 

Generator process unsuccessful!

Run as prover

Regex: 

Trace ("step" names, separated by commas): 

Prover key:
Upload

Upload failed!

Number of model steps:
Number of model edges:
Number of automaton transitions:
Number of automaton states:
Trace length:

Proving unsuccessful!

Run as verifier

Regex: 

Trace length 

Proof:
Verification key:
Processed verification key:
Upload

Upload failed!

Verification successful!

Verification unsuccessful!