스케일링 테조스 (Scaling Tezos) (4)

실제로 이는 사용자가 처음부터 블록 체인과 동기화하여 1 초 이내에 생성 블록에서 완전히 확인할 수 있음을 의미합니다.

SNARK는 한 가지 단점으로 유명합니다. 신뢰할 수있는 설정이 필요하지만 안전하게 수행 할 수 있지만 이후에는 감사를 할 수 없습니다.
그래서 최근에 다른 구성물 인 STARKs가 공개되었습니다. 그것들은 비슷한 속성을 공유하지만 신뢰할 수있는 설정 문제를 없애고 더 적은 수학적 추측에 의존합니다. 또한 양자 컴퓨팅에도 강합니다.

캐치는 무엇입니까? 현재 블록 체인이 이 기법을 사용하지 않는 이유는 무엇입니까? 불행히도,이 방법의 Achilles Heel은 증명 생성에 여전히 상당한 시간이 걸리며, 제가 설명했던 계획에 필요한 것보다 더 많은 시간이 걸린다는 점입니다.
다른 증명 (재귀 SNARK)의 검증 된 증명 생성은 여전히 ​​1 분 정도 걸릴 수 있습니다. 그러나이 분야에서 연구가 활발하고 증거 생성 속도가 이미 상당히 향상되었습니다. STARK 증명 생성은 이미 SNARK보다 3 배 빠릅니다. 우리는 앞으로 몇 년 동안 속도가 계속 빠르게 증가 할 것이라고 생각하고 있습니다.

우리는 STARK의 계산 모델 (유한 필드에 대한 다항식 반복)에서 구현하기에 효율적이고 프로그래밍 언어 (프로그래밍 언어 이론이 우리의 망치입니다 ...)를 설계 할 가능성에 특히 관심이 있습니다. 현명한 계약의 논리를 설명합니다. 탐색해야 할 또 다른 가능성은이 작업을위한 전용 하드웨어를 구축하는 것입니다.