Implementation of Commit-Reveal Scheme

[SeiyaKobayashi]

🎨 Overview

Implementation of commit-reveal scheme.

🌈 Details

1. Implemented the following contract functions & their tests.

A. VerifierFactory contract

• constructor: contract constructor that initializes the address of the master verifier contract.
• createChildContract: function that deploys a cloned (proxy) verifier contract.
• getModels: function that fetches models.
• getModelsByOwnerAddress: function that fetches models by the address of the requested model owner.
• getMasterVerifierContract: function that fetches the address of the master verifier contract.
• getClonedVerifierContract: function that fetches the address of the cloned verifier contract of the requested model.

B. Verifier contract

• constructor: contract constructor that initializes difficulty.
• commitment: function that stores commitments in the contract.
• getCommitment: function that fetches details of the requested commitment (onlyOwner).
• getCommitmentsOfModel: function that fetches commitments of the requested model (onlyOwner).
• getCommitmentsOfProver: function that fetches commitments of the requested prover.
• updateChallenge: function that updates the value of challenge of commitment.
• getDifficulty: function that fetches difficulty of challenge (onlyOwner).
• updateDifficulty: function that updates difficulty of challenge (onlyOwner).
• reveal: function that verifies the given Merkle proofs.

2. Implemented the following libraries.

• Bytes: library of some bytes operations.
• Challenge: library of challenge generation algorithm.
• MerkleTree: library of some Merkle tree operations.

📚 References

• Solidity Factory Pattern
• commit-reveal scheme
• Merkle proof

[SeiyaKobayashi]

test coverage

-----------------|----------|----------|----------|----------|----------------|
File             |  % Stmts | % Branch |  % Funcs |  % Lines |Uncovered Lines |
-----------------|----------|----------|----------|----------|----------------|
 src/            |      100 |      100 |    96.43 |      100 |                |
  IVerifier.sol  |      100 |      100 |      100 |      100 |                |
  Verifier.sol   |      100 |      100 |    96.43 |      100 |                |
 src/libraries/  |      100 |      100 |      100 |      100 |                |
  Bytes.sol      |      100 |      100 |      100 |      100 |                |
  Challenge.sol  |      100 |      100 |      100 |      100 |                |
  MerkleTree.sol |      100 |      100 |      100 |      100 |                |
-----------------|----------|----------|----------|----------|----------------|
All files        |      100 |      100 |    96.88 |      100 |                |
-----------------|----------|----------|----------|----------|----------------|

[SeiyaKobayashi]

generate one verifier contract for one model using factory pattern

Done in 5f41476730294b2ed7ee5d832172aaf584bda9cf.