Proposal: Implement msmAccel trait for sppark-msm and icicle-msm

[cyl19970726]

General Grant Proposal

• Project: Implement msmAccel trait for sppark-msm and icicle-msm (Self Proposed Open Task: Implement a polynomial repo integrating Icicle and sppark #32 (comment))

Project Overview 📄

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

• 0xhhh
• [email protected]
• @long_hhh

Team Website

• https://github.com/cyl19970726

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 🔩

Overview

• Total Estimated Duration: 5 weeks
• Total Estimated Working Hours: 70 hours
• Full-time equivalent (FTE): 0.35
• Expected Start Date: February 26th 2024
• Expected End Date: Mar 30th 2024

Milestone 1: Implement msmAccel trait for Icicle-msm

• Estimated Duration: 2 weeks
• Estimated Working Hours: 30 hour
• FTE: 0.375
• Estimated delivery date: Mar 10th 2024

Milestone 2: Implement msmAccel trait for Sppark-msm

• Estimated Duration: 2 weeks
• Estimated Working Hours: 30 hour
• FTE: 0.375
• Estimated delivery date: Mar 24th 2024

Milestone 3: Use different msm versions (Sppark, Icicle, Cpu) for benchmark test on Halo2 proof-system.

• Estimated Duration: 1 week
• Estimated Working Hours: 10 hour
• FTE: 0.25
• Estimated delivery date: Mar 30th 2024

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.

[NOOMA-42]

close this application per the discussion with @cyl19970726 and @mitsu1124