Truebit: 검증 가능한 컴퓨팅을 위한 시장 창출

以太坊爱好者

特邀专栏作者

2021-05-03 10:29 (UTC+8)

이 기사는 약 4418자로, 전체를 읽는 데 약 7분이 소요됩니다

Truebit은 계산을 오프체인으로 이동하여 이 문제를 해결하고 대화형 암호화 경제 프로토콜을 통해 계산의 정확성을 확인합니다.

AI 요약

펼치기

Truebit은 계산을 오프체인으로 이동하여 이 문제를 해결하고 대화형 암호화 경제 프로토콜을 통해 계산의 정확성을 확인합니다.

탈중앙화 애플리케이션은 우리에게 장밋빛 미래의 그림을 그려줍니다. 그들은 투명하고 조작이 불가능하며 논스톱으로 실행되고 인센티브를 제공하며 전 세계적으로 조정 문제를 해결합니다.

그러나 도중에 장애물이 있습니다.

첫 번째 레벨 제목

어려운 문제: 분산 컴퓨팅

Solidity로 작성된 코드는 EVM(Ethereum Virtual Machine)에서 바이트코드로 컴파일된 후 블록체인에 패키징됩니다. 그 이후로 바이트 코드를 저장하는 계약 주소로 전송되는 모든 트랜잭션은 코드 실행을 트리거합니다. 블록체인 합의 메커니즘의 설계에 중복성이 있음을 알 수 있습니다. 모든 채굴자는 동일한 계산을 수행한 다음 결과에 대한 합의에 도달합니다.

계산은 정량화되고 그에 따라 비용은 코드 실행의 복잡성에 따라 결정됩니다. 블록체인 가상 머신 명령 세트의 각 작업에는 가격("가스"라고 함)이 표시되며 트랜잭션 발신자는 명령이 실행될 때마다 계산 금액에 따라 지불합니다.

복잡한 비즈니스 논리는 항상 높은 비용을 초래합니다.

그 이상으로 네트워크에서 수행되는 총 계산량은 Gas의 상한값에 영향을 받습니다. 가스 상한은 블록 내 모든 거래에서 소비할 수 있는 가스의 총량을 의미합니다. 안타깝게도 검증자의 딜레마로 인해 가스 제한을 단순히 늘릴 수는 없습니다. 채굴자가 새로 형성된 블록을 받으면 다음 블록을 찾기 시작하기 전에 블록이 유효한지 확인해야 하지만 이러한 검증은 무료 노동입니다. 이익을 추구하는 채굴자들은 딜레마에 빠졌습니다: 블록을 검증하거나 건너뛰십시오. 그리고 블록의 가스 한도가 증가하면 이 딜레마의 영향도 커집니다.

따라서 계산은 비용이 많이 들고 제한적입니다.

트루빗은 이 문제를 해결하는 것을 목표로 합니다.

첫 번째 레벨 제목

솔루션: 검증 가능한 오프체인 컴퓨팅

dApp(분산형 애플리케이션)이 비용이 많이 들거나 Gas의 상한을 초과하는 계산을 실행하려는 경우 Ethereum에서 직접 계산을 실행하는 대신 Truebit 프로토콜에 넘기는 것이 좋습니다.

트루빗 계약

Truebit 프로토콜과 상호 작용하기 위한 API는 매우 간단합니다. Truebit 스마트 계약에서 createTask라는 함수일 뿐입니다.

dApp이 createTask 함수를 호출하는 과정은 다음 내용을 전송해야 합니다.

프로그램: 프로그램 코드. Truebit은 WebAssembly 가상 머신 기술을 사용하므로 dApp은 프로그램 코드의 바이트 코드를 WebAssembly 가상 머신으로 직접 보내거나 IPFS 또는 기타 콘텐츠 기반 주소 지정 시스템에서 프로그램 코드의 해시 값을 보낼 수 있습니다.
입력 값: 프로그램에 대한 입력 값입니다. dApp은 이러한 입력을 직접 보내거나 콘텐츠 주소 지정 시스템에서 해당 입력의 해시를 보낼 수 있습니다.
이미지 설명

dApp은 Truebit 작업을 생성합니다.

이 프로세스를 자세히 설명하기 위해 두 가지 예를 살펴보겠습니다.

Livepeer는 트랜스코더가 제대로 작동하는지 확인해야 하는 분산형 컴퓨팅 플랫폼입니다. 그래서 createTask 함수를 호출하여 FFmpeg를 프로그램으로 보내고 비디오를 함수에 대한 입력 값으로 보냅니다.

Aragon은 투표 집계 작업을 수행하려는 익명의 조직을 위한 플랫폼입니다. 체인에서 대량의 투표 작업을 순환하는 것은 비용이 많이 들고 너무 많은 투표가 집계되면 가스 캡이 이 작업을 방해합니다. 그래서 아라곤은 트루빗의 createTask 함수를 호출하고, 투표 집계 함수를 프로그램으로, 함수에 대한 입력 값으로 투표 배열을 보냈습니다.

이 기능은 Truebit 계약에서 새 작업을 생성합니다.

트루비트 네트워크

Truebit은 컴퓨팅 작업을 위한 마켓플레이스입니다.

누구나 Truebit 클라이언트를 설치하고 무제한 네트워크에 가입하고 컴퓨팅 작업을 실행하여 비용을 받을 수 있습니다.

이미지 설명

Truebit 광부는 컴퓨팅 작업을 모니터링합니다.

새 작업이 생성되면 Truebit 채굴자는 해당 코드를 다운로드하고 작업 게시자가 제공한 입력을 사용하여 로컬 Truebit WebAssembly 가상 머신에서 프로그램을 실행한 다음 결과를 스마트 계약으로 보낼 수 있습니다.

이미지 설명

태스크 핸들러가 결과를 제출합니다.

보조 제목

사례 1: 도전자 없음

이미지 설명

보조 제목

두 번째 경우: 도전자가 있다

이미지 설명

유효성 검사기가 챌린지를 시작했습니다.

보조 제목

게임 확인

이미지 설명

간단한 C 프로그램(왼쪽)과 컴파일된 WebAssembly 텍스트 형식(오른쪽)

도전자는 확인 게임을 시작합니다.

태스크 핸들러와 챌린저 모두 초기 상태가 0이고, 각각 빈 가상 머신을 시작하고, 동일한 프로그램으로 동일한 입력을 실행합니다(블록체인의 태스크 설명에 지정된 대로). 상태가 0이면 일관성이 있습니다.

이미지 설명

도전자는 작업 처리기의 상태를 쿼리합니다.

이미지 설명

태스크 핸들러와 챌린저가 검증 게임을 합니다.

이제 도전자가 자체 상태의 Merkle 루트를 로컬에서 계산하고 그 결과를 태스크 핸들러의 결과와 비교할 차례입니다.

둘이 같으면 분기되는 위치가 연산 명령어 집합의 후반부에 있다고 판단할 수 있다. 둘이 같지 않으면 세트의 전반부에서 차이가 발생한 것입니다.

이미지 설명

챌린저와 태스크 핸들러의 상태 루트는 상태가 7일 때 동일합니다.

이미지 설명

도전자는 집합에서 두 번째 중간점의 상태 루트를 묻습니다.

태스크 핸들러는 그에 따라 응답합니다.

이미지 설명

도전자는 세 번째 중간점의 상태 루트를 쿼리합니다.

대화식 검증 게임은 계속됩니다.

이미지 설명

인수: 상태 12에서 상태 13으로 전환할 때의 명령

이미지 설명

온체인 WebAssembly 인터프리터가 논란의 여지가 있는 명령 실행

상태의 계산된 Merkle 루트가 태스크 핸들러에서 제공한 상태 루트와 다른 경우 후자의 예치금은 몰수됩니다.

전체 과정은 여기까지입니다!

우리는 모든 계산을 오프체인으로 이동하고 이더리움만 사용하여 분쟁을 방지하기 위한 원스텝 지침을 계산합니다.

첫 번째 레벨 제목

암호경제학

Truebit의 인센티브에는 작업 보상, 예치금, 작업 처리자와 도전자 간의 도전 메커니즘, 컴퓨팅 시장의 경제 설계가 포함됩니다.

최근 우리는 Truebit 토큰의 업그레이드 계획을 발표했으며 현재 고려 중인 두 가지 솔루션은 다음과 같습니다.

인센티브 레이어 1: 필수 오류 및 누적 상금 풀

이 프로토콜을 주의 깊게 연구하면 일부 기민한 독자는 문제를 발견할 수 있습니다.

작업 처리자는 자신의 계산이 확인되고 실수하면 예치금이 몰수되므로 속임수를 쓰지 않을 것임을 알고 있습니다. 장기적으로 검증인이 버그를 찾아 소득을 얻지 못하고 결국 컴퓨팅 시장에서 사라지는 것은 극히 어렵습니다. 검증자가 사라지면 태스크 핸들러가 부정 행위를 시작합니다. 그런 다음 검증자가 다시 나타나 오류를 포착합니다.

시스템은 안정적인 평형 상태에 있지 않지만 지속적으로 위아래로 뒤집힙니다.

트루빗은 이 문제를 해결하기 위해 백서에서 강제오류와 대박이라는 개념을 제시했습니다. Truebit 프로토콜은 태스크 핸들러가 특정 확률에서 잘못된 계산 결과를 제공하도록 강제합니다. 이러한 버그를 발견하고 챌린지에 성공한 검증인은 자동으로 잭팟을 받게 됩니다. 이 횡재는 모든 작업의 보상에서 나오므로 검증자에게 상당한 기대 수익을 제공하는 막대한 양입니다. 검증 작업은 작업 처리기가 항상 올바른 계산 결과를 제공하더라도 수익성이 있습니다.

인센티브 계층 2: 다중 작업 처리기 및 페어 확인 챌린지

또 다른 대안은 특정 구현 프로세스에서 나옵니다. 태스크 핸들러와 검증자는 항상 동일한 작업을 수행합니다. 즉, 동일한 프로그램을 다운로드하고, 로컬에서 실행하고, 계산을 받습니다. 따라서 타이밍 규칙에 따라 하나의 작업 처리기와 여러 도전자를 지정하는 대신 모든 사람이 동시에 계산 결과를 제출할 수 있도록 프로토콜을 변경하지 않는 이유는 무엇입니까?

스마트 계약은 모든 계산이 일관성이 있는지 확인합니다. 동의하면 결과가 올바른 것으로 간주됩니다. 일치하지 않고 여러 유형의 계산 결과가 생성되면 스마트 계약은 서로 다른 유형의 태스크 프로세서를 구성하여 쌍 검증을 수행합니다.

이 개선된 프로토콜은 검증 문제가 병렬화되기 때문에 적시성을 더 잘 보장할 수 있습니다. 이 개선 사항은 강제 오류 및 잭팟을 대체할 수도 있습니다. 그러나 단점은 태스크 개시자가 지불해야 하는 금액과 여러 태스크 핸들러 간에 보상을 분배하는 방법의 복잡성을 증가시킨다는 것입니다.

첫 번째 레벨 제목