NOOMA-42
commented
7 months ago close this application per the discussion with @cyl19970726 and @mitsu1124
Closed cyl19970726 closed 7 months ago
NOOMA-42
commented
7 months ago close this application per the discussion with @cyl19970726 and @mitsu1124
General Grant Proposal
Project Overview :page_facing_up:
Overview
Implement the msmAccel trait which is mentioned at https://github.com/privacy-scaling-explorations/halo2/pull/277/files#diff-919910df38e231a60a5d3776e9a3f9cf0891a4c414c6b38cd9ba24ae7e6bda84 for Sppark-MSM and Icicle-MSM, and then integrate the msmAccel trait into halo2 at the end.
Team : Langlands
Team members
Team Website
Team's experience
Participated in the development of Ethstorage's proof of storage and also participated in the development of EigenZkVM. Recently I have been doing research related to msm.
Team Code Repos
*https://github.com/cyl19970726/halo2/tree/zal-intergration
Development Roadmap :nut_and_bolt:
Overview
Milestone 1: Implement msmAccel trait for Icicle-msm
Milestone 2: Implement msmAccel trait for Sppark-msm
Milestone 3: Use different msm versions (Sppark, Icicle, Cpu) for benchmark test on Halo2 proof-system.
Deliverables and Specifications
0a. Codebase
We plan to Implement msmAccel trait for Sppark-msm and icicle-msm at the zal-intergration branch of halo2, and then integrates into halo2 at the end
0b. Documentation
We will provide both inline documentation of the code and a basic tutorial that explains how to use different msm versions using different implementations of the msmAccel trait.
0c. Testing Guide
The code will have proper unit-test coverage to ensure functionality and robustness. In the guide we will describe how to run these tests.
0d. MSM Algorithms Integration
icicle sppark
0e. Benchmark
Benchmark data between Halo2 proof-system using different GPU versions and CPU versions of msm in the same test environment.