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

더욱더 파워풀한 테크닉이 가까이에 있습니다.

체인 유효성 검사가 준비되어 있으며 활발한 연구를하고있는 것으로 나타났습니다. (SNARK). 간결한 비 대화식 제로 지식 지식 증명을 나타내는 SNARK는 거래의 개인 정보를 보호하기 위해 Zcash에서 사용되는 기술입니다. SNARK는 개인 정보 보호 혜택 외에도 확장 성을 높이는 데 매우 강력한 도구가 될 수 있으며 향후 Tezos 반복에서 활용할 수있는 도구입니다.

작동 방식은 다음과 같습니다. A에서 B로 토큰을 보내는 트랜잭션을 확인하는 코드와 같은 컴퓨터 코드를 가져옵니다.이 코드에서 A에서 토큰을 전송하는 유효한 트랜잭션을 알고 있다는 zero-knowlege 증명을 생성 할 수 있습니다. 거래 자체를 광부에게 제출하는 대신 증거와 함께 잔액 변경을 제출할 수 있습니다. 이 증명은 트랜잭션의 복잡성에 관계없이 모든 유효성 검사기에서 아주 작은 시간안에서 매우 효율적으로 확인할 수 있습니다. 이는 현명한 계약에 대한 가스 한도가 과거의 일이 될 것임을 의미합니다. 컴퓨터에서 현명한 계약을 체결하고 몇 시간과 몇 시간의 계산을 수행 한 다음 계산을 수행했으며 숫자가 더해진다는 작은 증거를 네트워크에 제출할 수 있습니다. 이러한 직감적 인 가능성은 PCP 정리의 결과입니다. 거래가 제대로 검증되었다는 경제적 인“베팅”을 시도하기보다는 진정한 암호화 보증을 얻을 수 있습니다.

다른 증거(SNARK)를 목격하고 검증 한 증거를 생성 할 수 있습니다. 결과적으로 블록 작성자는 수신한 모든 증거를 집계하고 다른 모든 증거를 보았음을 증명하는 단일 증거를 생성 할 수 있습니다. 트랜잭션은 블록 생성자를 포함하여 여전히 개인 정보이지만 단일 암호화 증명으로 압축됩니다. 그런 다음 블록 작성자는 트랜잭션을 적용한 결과와 함께 하나의 증명을 게시합니다.

더 나아가, 각 블록이 원장 내용의 루트 해시로만 구성되는 블록 체인을 상상할 수 있습니다. 이전 블록에 존재하는 증명 자체가 유효했다고 증명할수 있습니다.