Milestones

[grandchildrice]

overview
(あとで全部issueに書き出す)

• research
  • MynaCardの仕様
    • 証明書2つあって、どういうデータが含まれているか、どうやってデータを取得するか、、、
  • RSA verification circuit 動作確認した ガス代の比較したい
    • mock proverで検証しただけなので、verifier(solidity)書き出しする
    • https://github.com/axiom-crypto/snark-verifier/tree/v0.1.1
    • zkEmail/halo2-rsa
    • soraさんのライブラリそもそもどうやって呼び出すの？
    • proofを実際に作成して検証する
    • public inputの公開鍵をprivate inputに変える
    • 効率化・最適化
  • SHA256 hash circuit
    • コード読んで動作確認がまだ (Soraさんのやつ)
    • 次は動作確認する
    • DER-encoded messageの証明書をハッシュ化してみる
    • 効率化・最適化
  • マイナンバーカードの証明書をDER encodedされたpublic inputsを入れる
  • Selective Disclosure
    • 標準化する
    • マイナンバーカードにおけるユースケース(署名は決まってる)
• add new feature
  • poseidon hash circuit?
  • SHA256 hash circuit (phase2)
  • Generate DER circuit (phase2)
  • Selective Disclosure (phase3)
  • Interface to integrate on Wallet App (phase3)
• modify
  • fix anything?
• add more tests
  • Abnormal Test?
• add benchmarks (with multiple input size)
  • measure prove/verify time
  • measure proof size
  • measure gas fees