제가 Starknet에서 양자 내성 서명(post-quantum signatures)을 실용화하는 어려움에 대해 이야기했던 것이 기억나시나요?
글쎄요, 그 이후로 흥미로운 진전이 있었습니다.
가장 큰 장애물 중 하나는 검증 비용입니다. Falcon-512는 처음에 Starknet에서 검증하는 데 약 48.4M 가스를 필요로 했습니다.
비교하자면, 전통적인 ECDSA 검증은 대략 31,000 가스 비용이 듭니다.
이는 엄청난 격차입니다.
@Starknet은 개발자, 연구원, AI 에이전트들을 한데 모아 양자 내성 서명 검증을 최적화하는 'Falcon Challenge'를 통해 이러한 검증 비용을 낮추기 위해 노력해 왔습니다. 그리고 지금까지의 진전은 살펴볼 가치가 있습니다.
초기 Falcon-512 벤치마크: 48.4M 가스
최적화된 결과: 24.1M 가스
이는 검증 비용의 50.2% 감소를 의미합니다.
하지만 또 다른 흥미로운 발전이 있습니다.
이 챌린지는 Falcon-512를 넘어 확장되어 이제 다섯 가지 양자 내성 서명 체계를 다루고 있습니다.
현재 검증 비용은 다음과 같습니다:
Falcon-512: 24.1M 가스
Falcon-1024: 49.1M 가스
ML-DSA-44: 168.6M 가스
ML-DSA-87: 87.4M 가스
SLH-DSA-128s: 396.4M 가스
그리고 SLH-DSA-128s는 상당한 도약을 이루었습니다.
그 검증 비용은 초기 벤치마크와 비교하여 9.3배 더 저렴해졌습니다.
이는 정말 심각한 최적화입니다.
이 챌린지는 또한 Cairo 구현을 개선하고, 검증 버그를 찾고, 해싱 연산을 최적화하는 다양한 방법을 탐구합니다.
저는 이것이 전체 노력에서 중요한 부분이라고 생각합니다. 우리는 단순히 더 강력한 암호학을 도입한다고 해서 사용자들이 터무니없이 비싼 거래를 받아들이리라고 기대할 수 없습니다. 그것은 안전하고, 효율적이며, 일상적인 사용에 충분히 저렴해야 합니다.
여전히 갈 길이 멉니다. 특히 전통적인 ECDSA 검증과 비교했을 때 그렇습니다.
하지만 이러한 비용들이 개방형 협력을 통해 낮아지는 것을 보니, Starknet의 미래에 대해 낙관할 만한 충분한 이유를 얻게 됩니다.
퀀텀 허브 (Quantum Hub): https://t.co/WkFywJniVC
[@hollyyy 인용]: 지난 몇 주 동안 양자 보안(quantum security)을 연구한 후, 블록체인 인프라를 조금 다르게 보기 시작했습니다.
@Starknet의 경우, 제가 계속해서 돌아가게 되는 부분은 주변의 모든 것을 재구축하지 않고도 그 보안 중 얼마나 많은 부분이 실제로 변경될 수 있느냐입니다.
그의 STARK 증명(STARK proofs)은 이미]