[계획] 파일럿 연구 제안 사항

• 목표 : Make Tezos suitable for user’s mobile in privacy-preserving way
• 기간 : 2020년 9월 ~ 12월
• 제안 배경
  • Privacy를 기업 철학으로 내세우는 여러 기업들이 차별화된 Privacy 기능 제공을 위해 탈중앙화된 블록체인을 도입할 것으로 예상함.
  • 기업들의 주요 영역인 모바일 서비스의 주요 인프라로 블록체인이 가진 이슈들을 해결할 필요
  • On-Device 기반에서 Data Integrity / Computation Correctness 이슈 존재
• 해결책 위한 리서치 분야
  • Aggregatable Commitment 를 통해 모바일에 저장되어야 하는 데이터 크기나 연산량을 줄임.
  • CP(Commit-and-Prove) SNARK 를 기반으로 부하가 적으면서도 다양한 연산에서 Integrity 를 보장하는 ZKP system을 구현할 예정

[결과] 파일럿 기간동안 진행한 사항

• 다음 주제에 대한 연구 및 아티클 작성 : Roadmap by Formula-Zero [링크]
  • 주제 : Light Client for PoS, CP-SNARK, aSVC
    • Disassemble Plumo : Light client for PoS-based Celo (9월)
    • Commit-and-Prove SNARK 활용 (9월)
    • Aggregatable Sub-Vector Commitmtent 란 (10월)
    • Post zk-SNARK (12월)
• Zero Knowledge Seoul Meetup 운영
  • 목적 : zkSNARK 의 여러 scheme 들 파악
    • Transparent SNARKs from DARK Compilers (10월)
    • Recursive SNARK : Halo and Coda (11월)
    • Commit-and-Prove SNARK (9월)

[제안] 포뮬러 제로의 1년 프로젝트 제안 : Circuit

제안 배경 설명

(1) 현재 블록체인에 필요한 것은 User Adoption

⇒  데스크탑보다 모바일에서의 블록체인 네트워크 연결이 필요함

User Adoption은 사용자 확보에도 중요하지만 그만큼 많은 수의 검증인을 확보하기에 네트워크의 보안성도 향상됨.

(2) 모바일의 주요 특징은 한정된 연산 능력과 저장공간임.

현재 블록체인 네트워크가 위 특징을 고려하여 모바일에 연동되는 방법은 두 가지임

a. 신뢰하는 풀노드로부터 필요정보만 받아와서 반영 (필요시 하나 이상의 풀노드 연동하여 교차 검증)