Limber는 SNARK에서 비원어(non-native) 정수 연산을 효율적으로 처리하는 새로운 증명 시스템이다. Zaratan(PKC 26)의 정수 관계를 무작위 소수체로 축소하는 방식을 발전시켜, 임의의 표준 다항식 커밋먼트 스킴(PCS)으로 구현 가능한 최초의 실용적 정수 mod-PCS를 제시했다. 곱셈 커밋먼트 오버헤드가 점근적으로 o(1) 수준으로, 작은 체(field) 기반 PCS에도 적용할 수 있다. 실제 구현 결과 RSA 연산 증명 속도를 기존 회로 기반 접근법보다 67배 이상 앞당겼다. SNARK 시스템의 고질적 버그 원인이던 비원어 산술 문제에 실용적 해법을 제시했다는 점에서 의미가 있다.

• •SNARK의 비원어(non-native) 정수 연산은 주요 성능 병목이자 구현 버그의 핵심 원인(ZK 버그 27건 중 9건 관련)
• •Zaratan 방식을 발전시켜 임의의 표준 PCS로 인스턴스화 가능한 최초의 실용적 정수 mod-PCS 'Limber' 제안
• •점근적으로 o(1) 곱셈 커밋먼트 오버헤드 달성, 작은 체 기반 PCS에도 적용 가능
• •RSA 산술 증명을 기존 회로 기반 접근법 대비 67배 이상 빠르게 처리하는 것을 실증