Halo2 배치 MSM, 약 2배 가속

Strahn 팀이 Halo2 배치 MSM(다중 스칼라 곱셈)에서 업계 표준 pasta_curves 크레이트 대비 1.9~2배 속도 향상을 검증 가능한 방식으로 달성했다고 포럼에 공유했다. 표준 M4에서 측정했을 때 k=11에서 pasta_curves가 34.6ms, 자체 구현(fuji batch)이 17.0ms로 2.0배였고, k=12는 66.9ms 대 33.4ms로 2.0배, k=13은 110.5ms 대 59.3ms로 1.9배, k=14는 223.2ms 대 117.8ms로 1.9배를 기록했다. k=8은 캐시 워밍업 오버헤드로 이점이 없었다.

기술적으로는 Apple CPU의 네 개 실행 포트에 걸쳐 연산을 병렬화하기 위해 NEON/SIMD 레지스터를 스크래치패드처럼 사용했고, 같은 G-base에 대한 계산을 공유해 전체 속도를 끌어올렸다. 코드는 GitHub의 StrahnIo/GoldenDelicious와 StrahnIo/FUJI 저장소에서 확인할 수 있다.

Sean Bowe는 X에서 이 작업을 살펴보고 싶다고 답하며, Tachyon도 Pasta 곡선을 쓰고 증명 비용의 대부분이 여전히 MSM이라고 밝혔다. Orchard와 Ironwood의 halo2 증명은 FFT에 많은 시간을 쓰지만 Tachyon의 Ragu는 FFT 없이 MSM에만 의존한다는 설명이다. 작성자는 이 점을 들어 Tachyon에서 가속 효과가 더 클 수 있다고 해석했다. 현재 Sean의 검토를 기다리는 중이며, iPhone의 A 시리즈 칩으로 확장하는 그랜트를 신청해야 할지 커뮤니티에 묻는 것으로 글을 맺는다.