Baseline commandline tool

[nicola]

This command line tool should be as simple as the current zigzag and drgporep example (ability to choose amongst the two), but they must also be taking a replica_id which should be passed down.

$ curl /seed
Seed: XYZ
$ replication-game {zigzag|drgporep} --replica-id=XYZ --vde={same as sloth_iter} --size=(as today) --expansion-degree={as now} --degree={was m}

This should:

• run Replicate using replica-id
• generate 200 challenges non-interactively (if this is not implemented, just use challenges = [H(commR|0),..H(commR|200)] )
• output a JSON version of proof:
  • params: {type: [zigzag|drgporep], replica_id, vde, size, expansion_degree, degree}
  • proof: (serialization from code)

Note:

• challenge count is hard coded with 200
• merkle tree hash is pedersen
• kdf hash is blake2s

Deliverables:

• [ ] command line tool
• [x] serializer/deserializer code
• [ ] JSON scheme spec for DRGPorep proofs, Zigzag proofs

[dignifiedquire]

Still missing:

• proper challenge derivation
• verify with @nicola that everything else works as expected