Closed porcuquine closed 1 month ago
This PR adds a minimalistic adaptation of the mastermind demo, for simpler comparison with Veridise's zk Language Comparison.
It adds a score-one-turn function, since the examples in the comparison above only score a single turn.
score-one-turn
The only substantive difference is that code-valid? considers 0 a valid code, so we can use the same test cases as the Circom baseline implementation.
code-valid?
This PR adds a minimalistic adaptation of the mastermind demo, for simpler comparison with Veridise's zk Language Comparison.
It adds a
score-one-turnfunction, since the examples in the comparison above only score a single turn.The only substantive difference is that
code-valid?considers 0 a valid code, so we can use the same test cases as the Circom baseline implementation.