seiyakobayashi / zkml-optimization Goto Github PK

📝 Overview

🖋 Details

📚 References

📝 Overview

Implement CLI app for provers.

🖋 Details

CLI app should have the following functionalities.

1. Encode testing results as a Merkle tree
2. Auto-generate and deploy verifiers (using circom)

📚 References

n/a

📝 Overview

Infer I/F (types) of testing data from the ML model fetched from IPFS.

🖋 Details

It would be nice for provers to be able to know the required I/F (types) of testing data from the model itself. Planning to use tfjs.

📚 References

• tfjs

📝 Overview

Implement commit() function of Verifier contract.

🖋 Details

📚 References

📝 Overview

Implement getModel() function of Verifier contract.

🖋 Details

📚 References

📝 Overview

Update documentation before implementing the client-side.

🖋 Details

• Update arch diagrams to reflect the latest architecture.
• Update READMEs to describe the current repository structure.

📚 References

n/a

📝 Overview

Set up testing environment of Verifier contract.

🖋 Details

📚 References

📝 Overview

Write a blogpost of this project.

🖋 Details

Planning to use HackMD.

📚 References

n/a

📝 Overview

This issue contains articles / papers related to this project (should be including ideas of potential improvements on the original proposal).

🖋 Details

• Preliminaries
  • ZKs in general
    • Understanding Zero Knowledge Proof
    • zero-knowledge-proofs
  • ZK-SNARK
    • Vitalik's blogpost
    • zcash's blogpost
  • Circom
    • 0xPARC
  • Commit-Reveal Schemes
    • Exploring Commit-Reveal Schemes on Ethereum
  • Misc
    • Nearly Practical Verifiable Computation
    • ZK Whiteboard Sessions
    • CnP ZKs
• Public / on-chain data, off-chain ML model
  • zkCNN
• Federated Learning
  • Preserving Privacy and Security in Federated Learning
  • Advancing Blockchain-based Federated Learning through Verifiable Off-chain Computations
• Attacks
• Related Project
  • zk-mnist by 0xPARC

📝 Overview

Update Solidity Version to 0.8.19.

🖋 Details

📚 References

📝 Overview

Implement GUI client app with React for provers. Not planning to use frontend servers (e.g. SSR).

🖋 Details

Client app should have the following functionalities. The GUI app should be the only interface that interacts with our verifier contracts (users should not send/receive requests/responses to/from the verifier contracts via CLI app).

1. Fetch models / circuits / keys from the verifier contract and IPFS
2. Commit hashes to the verifier contract
3. Generate Merkle proofs that match the given challenge
4. Compute witness and generate ZKPs
5. Send Merkle proofs and ZKPs to the verifier contract for verification
6. Get information (e.g. of models, commitments) from the verifier contract

📚 References

n/a

📝 Overview

Workflows are not yet set up. Would be nice to implement CI workflows to make sure to run compiling/linting/formatting/testing commands before merging PRs.

🖋 Details

• Implement CI workflow using GitHub actions
  • Workflow should be containing at least the following
    • compiling with solc
    • linting with solhint
    • formatting with prettier
    • testing with chai / mocha

📚 References

n/a

📝 Overview

Implement CLI app for ml model developers.

🖋 Details

CLI app should have the following functionalities.

1. Generate ZK circuits from ML models
2. Generate proving & verification keys from circuits
3. Upload ML models / circuits / keys to IPFS
4. Register hashes of ML models / circuits / keys to the verifier contract

📚 References

• circom
• keras2circom
• IPFS

📝 Overview

Implement disableModel() function of Verifier contract.

🖋 Details

This function should soft-delete the registered model using a flag field (e.g. isDisabled). Hard-deletion should be avoided to prevent model developers from re-registering same models (could be a potential attack when this contract becomes incentivized).

📚 References

n/a

📝 Overview

Implement verify() function of Verifier contract.

🖋 Details

📚 References

📝 Overview

Implement getModels() & getModelsByOwnerAddress() functions of Verifier contract.

🖋 Details

📚 References

📝 Overview

Implement registerModel() function of Verifier contract.

🖋 Details

📚 References

• IPFS

📝 Overview

Implement constructor of Verifier contract.

🖋 Details

📚 References

📝 Overview

🖋 Details

📚 References

• keras2circom
• https://www.usenix.org/system/files/sec21_slides_weng.pdf

📝 Overview

🖋 Details

📚 References

• https://github.com/0xZKML/zk-mnist

📝 Overview

Implement MockedVerifier contract that could be used for testing.

🖋 Details

It seems better to be mocking some internal functions to implement tests for some functions (e.g. reveal()). Implement MockedVerifier contract that simply calls functions of Verifier contract that is to be mocked in our tests.

📚 References

n/a

📝 Overview

Implement reveal() function of Verifier contract.

🖋 Details

📚 References

• Verifying of Merkle Proof in Solidity
• Generating of Merkle Tree & Proof in JS

📝 Overview

Implement updateModel() function of Verifier contract.

🖋 Details

This function should update fields (except contentId & ownerAddress) of the registered model.

📚 References

n/a