https://ethresear.ch/t/best-of-both-worlds-a-measured-review-of-non-interactive-zk-fraud-proofs/23132
너무 길어서 살짝 울렁증옴.
암튼.. 읽다가 포기하고
그냥 Non-Interactive 와 Interactive 에 대해서 조금 알면 괜찮겠다 싶어서 글 한번 적어봄.
➗➗➗➗➗➗➗➗➗➗
☑️ 블록체인의 '거래 검증' 역할
블록체인에서는 여러 사람이 함께 거래 기록을 관리하는데, 누군가가 거짓말을 하거나 잘못된 거래를 넣으려고 할 수 있음
그래서 이걸 막기 위해 모두가 거래 기록이 맞는지 확인해주는 절차가 필요함
☑️ Fraud Proof 란?
누가 잘못된 상태를 올렸는지 검증해내는 증거, 롤업(optimistic 롤업)에서 상태가 L1에 반영되기 전에, 틀린 계산이나 부정한 블록을 잡아내는 메커니즘임.
Rollup 은 대부분 계산을 L2 에서 하고 요약된 내용을 L1 에 올리게 됨.
누군가가 잘못된 내용을 L2에 올렸을 때 L1으로 올리기 이전에 "사기증명" 이라는 것을 하고 보통 Interactive 방식과 Non-Interactive 방식이 있음.
쉽게 설명하기 위해 비유적으로 표현해보겠음.
☑️대화식(Interactive) 방식
- 친구들이 서로 번갈아 가며 질문하고 답하면서 문제점을 찾아가는 방식
- 시간이 좀 걸리지만, 조금만 제대로 기억하는 친구가 있으면 누구나 이길 수 있음
☑️비대화식(Non-Interactive) 방식
- 문제 있는 부분을 한꺼번에 콕!!! 찍어서 증명하려고 바로 이기는 방법을 씀
- 당연히 훨씬 빠르게 끝낼 수 있지만, 문제는 그걸 하려면 매우 똑똑하고 스마트하고 인텔리전스한 친구가 한 명 있어야 한다는거. 이게 고성능슈퍼컴퓨터인데 현실적으로너무 비싸서 쉽게 할 수 없다는 것.
자... 그렇다면
☑️돈으로 발라버려서 Non-Interactive 로 해버리면 되지 않나?
라고 할 수 있을텐데 나쁜 놈 한 놈이 계속 사기를 시도하고 이리꼬고 저리꼬아서 틈사이로 문제를 집어넣으면 이 슈퍼컴퓨터 조차도 버거울 정도의 연산능력이 필요해져서 결국에는 성능이슈가 생겨버리게 됨. 나중에 질문한 아이는 오래 기다려야 하는 상황이 오게 됨
☑️ 이 스마트하고 인텔리전스한 친구가 여러명이 있다면?
물론 이런 친구가 수십명이 있다면 끄덕없게 될 수도 있지!
그런데.... 이 친구들이 그냥 하지 않고 보상을 바라고 하고 있는데, 문제를 해결한 친구에게만 보상이 주어지고 열심히 노력했지만 문제를 찾지 못한 친구는... 나처럼 맨날 억까당했다고 우울감에 빠지고 허덕이겠지?
아무튼.. 이러한 이유 때문에 우리는 지금 Interactive 방식을 더 많이쓰고 있음.