Vitalik: 암호화, 합의 이론 및 경제학의 발전에 대한 검토
2014년에 저는 암호 화폐 분야(당시에는 이렇게 불렀습니다)가 갈 수 있는 방향에 중요하다고 생각했던 수학, 컴퓨터 과학 및 경제학의 어려운 문제 중 일부를 나열하는 게시물을 게시하고 토론을 했습니다. 중요한. 지난 5년 동안 많은 것이 변했습니다. 그러나 그 당시에 우리가 중요하다고 생각했던 것에 대해 얼마나 많은 진전을 이루었습니까? 우리는 어디에서 성공했고, 어디에서 실패했으며, 중요한 것에 대해 어디에서 마음을 바꿨습니까? 이 에세이에서 I 우리는 2014년의 16개 문제를 하나씩 살펴보고 오늘 각각 얼마나 진행되었는지 확인하세요. 마지막으로 2019 퍼즐을 위한 새로운 선택을 하겠습니다.
이러한 문제는 세 가지 범주로 나눌 수 있습니다.
따라서 풀 수 있는 경우 순전히 수학적 기술을 사용하여 풀 필요가 있습니다.
작업증명과 지분증명을 크게 향상시키는 합의 이론.
경제적으로 다양한 행위자에게 인센티브를 제공하는 구조를 만들어야 하며 이는 종종 프로토콜 계층이 아닌 애플리케이션 계층과 관련됩니다.
첫 번째 레벨 제목
보조 제목
블록체인 확장성
오늘날 암호화폐 공간이 직면하고 있는 가장 큰 문제 중 하나는 확장성 문제입니다... [매우 큰 블록체인]의 주요 문제는 신뢰입니다. 소수의 개체만 전체 노드를 실행할 수 있는 경우 해당 개체는 결탁하여 다음에 동의할 수 있습니다. 여분의 비트코인 중에서 다른 사용자는 전체 블록을 직접 처리하지 않고는 블록이 유효하지 않다는 것을 스스로 알 수 없습니다.
문제: 비트코인과 같은 보안 보장을 유지하지만 네트워크를 계속 실행하는 데 필요한 가장 강력한 노드의 최대 크기가 기본적으로 트랜잭션 수에서 하위 선형인 블록체인 설계를 만듭니다.
상태: 더 많은 실제 평가를 기다리는 훌륭한 이론적 진보.
확장성은 기술적인 문제이며 우리는 이론적으로 엄청난 발전을 이루었습니다. 5년 전에는 거의 아무도 샤딩에 대해 생각하지 않았지만 지금은 샤딩 설계가 일반적입니다. Ethereum 2.0 외에도 OmniLedger, LazyLedger, Zilliqa가 있고 매달 연구 논문이 나오는 것 같습니다. 이 시점에서 추가 개발은 점진적이라고 생각합니다. 기본적으로 우리는 검증자 그룹이 합의가 있는 단일 검증자보다 더 많은 데이터를 안전하게 처리할 수 있게 하고 클라이언트가 조건 하에서도 블록 기술의 전체 유효성과 가용성을 간접적으로 확인할 수 있도록 하는 여러 기술을 이미 보유하고 있습니다. 공격력 51%.
다음은 아마도 가장 중요한 기술일 것입니다.
무작위 샘플링을 통해 무작위로 선택된 소규모 위원회가 전체 검증자 세트를 통계적으로 대표할 수 있습니다: https://github.com/ethereum/wiki/wiki/Sharding-FAQ#how-can-we-solve-the-single- 조정되지 않은 다수 모델에서 샤드 탈취 공격
사기 증명, 결함을 알게 된 단일 노드가 그 존재를 다른 모든 사람에게 전파하도록 허용: https://bitcoin.stackexchange.com/questions/49647/what-is-a-fraud-proof
양육권 증명: 검증자가 일부 데이터를 개별적으로 다운로드하고 검증했음을 확률적으로 증명할 수 있도록 함: https://ethresear.ch/t/1-bit-aggregation-friendly-custody-bonds/2236
클라이언트가 헤더가 있는 블록 본문을 사용할 수 없는지 감지할 수 있는 데이터 가용성 증명: https://arxiv.org/abs/1809.09044. 업데이트된 머클 트리 인코딩 제안을 참조하십시오.
영수증을 통한 교차 샤드 통신과 같은 다른 소규모 개발과 BLS 서명 집계와 같은 "일정 요소" 향상이 있습니다.
타임스탬프
타임스탬프
문제: 블록체인 위에 오버레이이든 자체 블록체인이든 현재 시간을 고정밀로 유지하는 분산형 인센티브 호환 시스템을 만듭니다. 합법적인 모든 사용자의 시계는 일반적으로 표준 편차가 20초인 일부 "진정한" 시간에 분포합니다. 두 노드는 20초 이상 떨어져 있지 않습니다.
이 솔루션은 "N 노드"의 기존 개념에 의존할 수 있도록 하며, 실제로 이는 지분 증명 또는 비 Sybil 토큰을 통해 구현됩니다. 시스템은 120초 미만(가능한 경우 더 적음) 동안 계속 전달되어야 하며 정직한 참여 노드의 >99% 내부 시계 내에 있어야 합니다. 외부 시스템은 결국 이 시스템에 의존하게 될 수 있으므로 동기와 상관없이 노드의 25% 미만을 제어하는 공격자로부터 보안을 유지해야 합니다.
상태: 약간의 진전이 있습니다.
이더리움은 실제로 13초의 블록 시간과 특별히 고급 타임스탬프 기술 없이 잘 살아남습니다. 클라이언트가 클라이언트의 현지 시간으로 블록보다 오래된 선언된 타임스탬프를 받아들이지 않는 간단한 기술을 사용합니다. 그러나 이것은 심각한 공격에서 확인되지 않았습니다. 최근의 네트워크 조정 타임스탬프 제안은 클라이언트가 높은 정밀도로 현재 시간을 알 수 없는 경우 클라이언트가 합의를 통해 시간을 결정할 수 있도록 함으로써 현상 유지를 개선하려고 시도합니다.
첫 번째 레벨 제목
임의의 계산 증명
문제: 문제: POC_PROVE가 입력 I에서 프로그램 P를 실행하고 프로그램 출력 O 및 a Q와 POC_VERIFY가 P, O, Q를 얻는다는 것을 계산하고 증명하고, P를 이용한 POC_PROVE 알고리즘에 의해 Q와 O가 합법적으로 생성되는지 여부를 출력한다.
현재 상태: 이론과 실제 모두에서 큰 진전이 있었습니다.
이것은 기본적으로 SNARK(또는 STARK, SHARK 또는…)를 구축하는 것을 말합니다. SNARK는 이제 점점 더 많은 블록체인에서 이해되고 심지어 사용됩니다(Ethereum의 tornado.cash 포함). SNARK는 프라이버시 기술(Zcash 및 tornado.cash 참조)과 확장성 기술(ZK Rollup, STARKDEX 및 STARKing Erasure Coded Data Roots 참조) 모두에서 매우 유용합니다.
보조 제목
코드 난독화
성배는 임의의 프로그램 P가 주어지면 obfuscator가 두 번째 프로그램 O(P) = Q를 생성하여 동일한 입력이 주어지면 P와 Q가 동일한 출력을 반환하도록 obfuscator O를 만드는 것입니다. 중요한 예, Q P의 내부에 대해 아무것도 보여주지 않습니다. 암호, 비밀 암호화 키를 Q에 숨길 수 있거나 Q를 사용하여 알고리즘 자체의 독점 작업을 숨길 수 있습니다.
상태: 진행이 느립니다.
간단히 말해서 문제는 암호화된 프로그램이 동일한 입력에 대해 동일한 출력을 제공하지만 프로그램의 "내부"가 숨겨지도록 프로그램을 "암호화"하는 방법을 찾고자 한다는 것입니다. 난독화 사용 사례의 예로 개인 키가 포함된 프로그램을 들 수 있습니다. 이 프로그램은 개인 키가 특정 메시지에 서명하는 데만 허용합니다.
코드 난독화 솔루션은 블록체인 프로토콜에 매우 유용합니다. 온체인 난독화가 복사되어 체인 자체와 다른 환경에서 실행될 가능성을 처리해야 하기 때문에 사용 사례는 미묘하지만 많은 가능성이 있습니다. 내가 개인적으로 관심을 갖고 있는 것 중 하나는 운영자를 일부 작업 증명 난독화 프로그램으로 교체하여 공모 방지 가젯에서 중앙 집중식 운영자를 제거하는 것입니다. 높은.
보조 제목
해시 기반 암호화
문제: 보안 가정에 의존하지 않고 해시의 무작위 오라클 속성에 의존하는 서명 알고리즘을 생성하여 최적의 크기 및 기존 컴퓨터의 기타 속성에 대해 160비트를 안전하게 유지합니다.
상태: 일부 진행 중입니다.
2014년 이후 이 방향으로 두 가지 발전이 있었습니다. SPHINCS는 이 "어려운 문제" 목록 직후에 릴리스된 "상태 비저장"(즉, 여러 번 사용하기 위해 nonce와 같은 정보를 기억할 필요가 없음을 의미) 서명 체계이며 순수 해시 기반 서명을 제공합니다. 약 41kB 크기의 체계. 또한 비슷한 크기의 서명을 만들 수 있는 STARK가 개발되었습니다. 사실 서명뿐만 아니라 보편적인 영지식 증명도 해싱을 통해 구현할 수 있어 5년 전에는 전혀 예상하지 못했던 일이라 매우 기쁩니다. 그렇긴 하지만, 크기는 여전히 문제이며, 계속해서 증명의 크기를 줄이는 과정(예: 최근 DEEP FRI)이 진행되고 있지만, 추가 진전이 점진적으로 진행될 것으로 보입니다.
첫 번째 레벨 제목
보조 제목
ASIC 내성 작업 증명
이 문제를 해결하는 한 가지 방법은 전문화하기 매우 어려운 계산 유형을 기반으로 작업 증명 알고리즘을 만드는 것입니다. 자세한 내용은 https://blog.ethereum.org/2014/06/을 참조하십시오. -ASIC 내성 하드웨어에 대한 심도 있는 논의 19/mining/.
상태: 최선을 다했습니다.
"어려운 문제" 목록이 발표된 지 약 6개월 후 Ethereum은 ASIC에 저항하는 작업 증명 알고리즘인 Ethash를 채택했습니다. Ethash는 메모리 하드 알고리즘으로 간주됩니다. 이론상 일반 컴퓨터의 랜덤 액세스 메모리는 이미 최적화가 잘 되어 있어 특수 응용 프로그램에서는 개선하기 어렵다. Ethash의 목표는 메모리 액세스를 PoW 계산 실행의 주요 부분으로 만들어 ASIC 저항을 달성하는 것입니다.
Ethash는 최초의 메모리 하드 알고리즘은 아니지만 혁신을 추가합니다. 2레벨 DAG에서 의사 무작위 조회를 사용하여 함수를 두 가지 방식으로 계산할 수 있습니다. 첫째, 전체 DAG(약 2GB)가 있으면 빠르게 계산할 수 있는데, 이것이 메모리 하드 "빠른 경로"입니다. 둘째, DAG의 최상위 계층만 있는 경우 계산이 훨씬 느려지지만(여전히 개별 솔루션을 빠르게 확인할 수 있음) 블록 유효성 검사에 사용됩니다.
보조 제목
유용한 작업 증명
작업 증명을 유용하게 만드는 동시에 유용하게 만들기 프로젝트 후보 중 하나는 사용자가 컴퓨터에 단백질 접힘을 시뮬레이션하는 소프트웨어를 다운로드하고 연구자에게 질병 치료에 도움이 되는 대량의 데이터를 제공하는 기존 프로그램인 Folding@home입니다.
상태: 한 가지 예외를 제외하고 실현 불가능할 수 있습니다.
유용한 작업 증명의 문제는 작업 증명 알고리즘에 여러 속성이 필요하다는 것입니다.
계산하기 어렵다
쉽게 확인
대량의 외부 데이터에 의존하지 않음
작은 "바이트 크기" 블록에서 효율적으로 계산할 수 있습니다.
불행히도 이러한 모든 속성을 보존하는 유용한 계산은 많지 않으며 이러한 모든 속성과 함께 "유용한" 대부분의 계산은 암호화폐를 구축하기에는 너무 짧은 시간 동안만 "유용"합니다.
그러나 한 가지 예외가 있을 수 있습니다. 바로 영지식 증명 생성입니다. 블록체인 유효성의 영지식 증명(예: 데이터 가용성 루트)은 계산하기 어렵지만 확인하기는 쉽습니다. 게다가, 그것들은 항상 계산하기 어려웠습니다; "고도로 구조화된" 계산의 증명이 너무 쉬워지면 가상 머신과 임의 메모리 액세스를 모델링해야 하기 때문에 블록체인의 전체 상태 전환을 확인하는 것으로 간단히 전환할 수 있습니다. 매우 비싸다.
지분 증명
지분 증명
채굴 중앙 집중화 문제를 해결하는 또 다른 방법은 채굴을 완전히 제거하고 다른 메커니즘을 사용하여 합의에서 각 노드의 가중치를 계산하는 것입니다. 지금까지 토론에서 가장 인기 있는 대안은 "지분 증명"입니다. 즉, 합의 모델을 "CPU 전력 1단위, 1표"가 아니라 "1통화 단위, 1표"로 보는 것입니다.
상태: 더 많은 실제 평가를 기다리는 훌륭한 이론적 진보.
2014년 말에 지분 증명 커뮤니티는 어떤 형태의 "약한 주관성"이 불가피하다는 점을 분명히 했습니다. 경제적 보안을 유지하기 위해 노드는 처음 동기화할 때 최신 체크포인트 추가 동의를 얻어야 하며, 몇 달 이상 오프라인 상태인 경우 다시 체크포인트 추가 동의를 받아야 합니다. 많은 PoW 옹호자들은 PoW 체인에서 체인의 "헤드"를 발견할 수 있고 신뢰할 수 있는 소스의 유일한 데이터는 블록체인 클라이언트 소프트웨어 자체이기 때문에 여전히 PoW를 고수합니다. 그러나 PoS 지지자들은 증가된 신뢰 요구 사항이 중요하지 않다고 믿기 때문에 이 알약을 기꺼이 삼키고 있습니다. 그 이후로 장기예금을 통한 지분증명으로 가는 길은 명확해졌습니다.
오늘날 대부분의 흥미로운 합의 알고리즘은 기본적으로 PBFT와 유사하지만 고정된 유효성 검사기 집합을 누구나 시스템 수준의 스마트 계약(시간 잠금 인출 포함)으로 토큰을 보낼 수 있는 동적 목록으로 대체합니다. 이 동적 목록에 참여하십시오. 경우에 따라 인출을 완료하는 데 최대 4개월이 걸릴 수 있습니다.) 많은 경우(Ethereum 2.0 포함) 이러한 알고리즘은 특정 방식으로 프로토콜을 위반하는 작업을 수행하는 검증자를 처벌함으로써 "경제적 목적"을 달성합니다.
현재 우리는 (다른 많은 알고리즘 중에서) 다음을 가지고 있습니다.
Casper FFG：https：//arxiv.org/abs/1710.09437
Tendermint：https：//tendermint.com/docs/spec/consensus/consensus.html
HotStuff：https：//arxiv.org/abs/1803.05069
Casper CBC：https：//vitalik.ca/general/2018/12/05/cbc_casper.html
보조 제목
저장 증명
이 문제를 해결하는 세 번째 방법은 컴퓨팅 파워나 통화가 아닌 희소한 컴퓨팅 리소스를 사용하는 것입니다. 이와 관련하여 제안된 두 가지 주요 대안은 스토리지와 대역폭입니다. 원칙적으로 대역폭이 제공되거나 사용되었다는 사후 이벤트 암호화 증명을 제공할 방법이 없으므로 대역폭 증명은 나중에 논의되는 사회적 증명의 하위 집합으로 가장 정확하게 간주되어야 하지만 저장 증명은 확실히 계산 가능합니다. 저장소 증명의 장점 중 하나는 완전히 ASIC에 저항한다는 것입니다. 하드 드라이브의 저장소는 이미 최적에 가깝습니다.
상태: 아직 해야 할 일이 많이 남아 있고 더 많은 실제 평가가 필요하지만 많은 이론이 발전했습니다.
보조 제목
경제적 측면
가치가 안정적인 암호화 자산
Bitcoin의 주요 문제는 가격 변동성입니다. 문제: 가격이 안정적인 암호화 자산을 구축하십시오.
상태: 약간의 진전이 있습니다.
MakerDAO는 현재 가동 중이며 거의 2년 동안 안정적으로 실행되었습니다. 기본 담보 자산(ETH) 가치의 93% 하락에서 살아남았고 현재 1억 달러 이상의 뛰어난 DAI를 보유하고 있습니다. 이것은 이더리움 생태계의 중심이 되었으며 많은 이더리움 프로젝트가 이를 가지고 있거나 통합하고 있습니다. UMA와 같은 다른 합성 토큰 프로젝트도 빠르게 지원을 받고 있습니다.
그러나 MakerDAO 시스템은 2019년의 어려운 경제 환경에서 살아남았지만 결코 일어날 수 있는 가장 어려운 시나리오는 아니었습니다. 비트코인은 과거 이틀 동안 75% 하락했으며, 미래에 이더리움이나 다른 담보 자산에도 같은 일이 일어날 것입니다. 기본 블록체인에 대한 공격은 테스트되지 않은 훨씬 더 큰 위험입니다. 특히 동시에 가격 하락을 통해 복합화되는 경우 더욱 그렇습니다.
보조 제목
분산된 공공재 인센티브
일반적으로 경제 시스템이 직면한 문제 중 하나는 "공공재"의 문제입니다. 예를 들어, 완료하는 데 100만 달러가 소요되는 과학 연구 프로젝트가 있고 완료되면 결과 연구로 100만 명당 5달러를 절약할 수 있다고 가정합니다. 전반적으로 사회적 혜택은 분명합니다...[그러나] 모든 사람의 관점에서 볼 때 기여는 무의미합니다...
지금까지 공공재의 대부분의 문제는 중앙 집중화와 관련이 있습니다. 추가 가정 및 요구 사항: 특정 공공재 작업이 완료되었는지 여부를 결정하는 완전히 신뢰할 수 있는 오라클이 있습니다(실제로 이것은 잘못된 것이지만 다른 문제 영역입니다).
상태: 약간의 진전이 있습니다.
공공재에 자금을 조달하는 문제는 일반적으로 두 가지 문제, 즉 자금 조달 문제(공공재에 자금을 조달하는 곳)와 우선권 집계 문제(개인의 애완동물이 아닌 실제로 공공재가 무엇인지 결정하는 방법)로 구분되는 것으로 이해됩니다. 프로젝트). 이 질문은 특히 전자에 초점을 맞추고 있으며 후자는 해결되었다고 가정합니다(이 문제에 대한 작업은 "분산된 기여 지표" 섹션 참조).
일반적으로 이 분야에서 새로운 주요 돌파구는 없었습니다. 두 가지 주요 솔루션이 있습니다. 첫째, 사람들에게 사회적 보상을 제공함으로써 개인의 기여에 동기를 부여할 수 있습니다. 한계 가격 차별을 통한 자선 활동에 대한 저의 제안이 한 예이고, 또 다른 예는 Peepeth의 말라리아 방지 기부 배지입니다. 둘째, 네트워크 효과가 있는 애플리케이션에서 자금을 모을 수 있습니다. 블록체인 범위 내에서 이를 수행할 수 있는 몇 가지가 있습니다.
발행 동전
프로토콜 수준에서 거래 수수료의 일부를 청구합니다(예: EIP 1559를 통해).
일부 계층 2 응용 프로그램(예: Uniswap 또는 일부 확장 가능한 솔루션 또는 Ethereum 2.0 실행 환경의 상태 임대)에서
일부 기타 수수료가 적용됩니다(예: ENS 등록).
보조 제목
평판 시스템
문제: 점수 담당자(A,B) -> V(V는 A의 관점에서 B의 평판, 한 당사자가 다른 당사자가 신뢰할 수 있는 가능성을 결정하는 메커니즘, 평판 업데이트 메커니즘)로 구성된 공식 평판 시스템을 설계합니다. 특정 공개 또는 최종 상호 작용에 대한 기록이 주어집니다.
상태: 진행이 느립니다.
2014년 이후 평판 시스템에 대한 연구가 많이 이루어지지 않았습니다. 이를 수행하는 가장 좋은 방법은 토큰 에스크로 레지스트리를 사용하여 신뢰할 수 있는 엔터티/개체의 보관 목록을 만드는 것입니다. Kleros ERC20 TCR(예, 합법적인 ERC20 토큰에 대한 레지스트리)이 그 예이며 대체 닌자도 있습니다. Uniswap(http://uniswap.ninja)을 백엔드로 사용하여 토큰, 토큰 코드 및 ID 목록을 가져옵니다.
보조 제목
우수성 증명
사회적으로 유용하지만 원시적 인간의 창의적 노력과 재능을 필요로 하는 작업을 사용하여 토큰 분배 문제(이것이 그렇게 쉽게 채굴에 사용될 수 없는 이유입니다)에 대한 흥미롭고 거의 탐구되지 않은 해결책이 있습니다. 예를 들어 특정 정리의 수학적 증명을 제시한 플레이어에게 보상을 제공하는 "증명 증명" 코인을 만들 수 있습니다.
상태: 진전 없음, 문제는 거의 잊혀짐.
보조 제목
안티 위치 시스템
평판 시스템과 관련된 한 가지 문제는 신원이 Sybil 공격의 일부가 아님을 증명하기 위해 토큰을 생성하는 시스템인 "고유한 신원 시스템"을 만드는 문제입니다. 투표" , 보다 평등주의적인 시스템; 틀림없이 한 사람, 한 표가 이상적일 것입니다.
상태: 약간의 진전이 있습니다.
적지 않은 사람들이 이 독특한 인간 문제를 해결하려고 노력했습니다. 시도해 볼 생각은 다음과 같습니다(일부 목록!).
HumanityDAO：https：//www.humanitydao.org/
Pseudonym parties：https：//bford.info/pub/net/sybil.pdf
POAP("참석 증명 프로토콜"): https://www.poap.xyz/
BrightID：https：//www.brightid.org/
보조 제목
탈중앙화 기여 지표
불행하게도 공공재의 생산을 장려하는 것이 중앙 집중화가 해결하는 유일한 문제는 아닙니다. 또 다른 문제는 첫째, 어떤 공공재가 생산할 가치가 있는지를 결정하는 것이고, 둘째, 어떤 종류의 노력이 실제로 공공재의 생산을 달성하는 정도를 결정하는 것입니다. 이 도전은 후자의 질문을 다룹니다.
상태: 일부 진행 중이며 초점이 변경되었습니다.
공익 기여금의 가치를 결정하는 최근 작업은 과제 결정과 완료 품질 결정을 분리하려고 시도하지 않았습니다. 그 이유는 두 가지를 실제로 구별하기 어렵기 때문입니다. 특정 팀이 수행한 작업은 종종 대체 불가능하고 충분히 주관적이므로 가장 합리적인 접근 방식은 작업의 관련성과 성능 품질을 단일 패키지로 고려하고 동일한 기술을 사용하여 두 가지를 모두 평가하는 것입니다.
다행스럽게도 이와 관련하여 특히 2차 교부금의 발견과 관련하여 많은 진전이 있었습니다. 2차 보조금은 개인이 프로젝트에 기부할 수 있는 곳이며, 기부한 사람 수와 기부 금액에 따라 서로 완벽하게 일치한다면 기부할 금액(즉, 기부 금액)을 계산하는 공식이 사용됩니다. 그들은 기부했습니다). 서로의 이익을 생각하고 공유지의 비극에 희생되지 않았다).
주어진 프로젝트에 대해 기부되었을 수 있는 금액과 실제 기부된 금액의 차이는 일부 중앙 자금 풀의 보조금으로 해당 프로젝트에 제공됩니다. 주의할 점은 이 메커니즘은 누가 신경을 쓰든 말든 어떤 주어진 목표를 만족시키기보다는 특정 커뮤니티 가치를 만족시키는 데 초점을 맞추고 있다는 것입니다. 가치 문제의 복잡성으로 인해 이 접근 방식은 알려지지 않은 미지수에 더 강력할 수 있습니다.
보조 제목
탈중앙화 성공 지표
문제: 실제 수치 변수를 측정하기 위한 분산된 방법을 제안하고 구현합니다...시스템은 인간이 현재 대략적인 합의에 도달할 수 있는 모든 것을 측정할 수 있어야 합니다(예: 자산 가격, 온도, 글로벌 CO2 농도).
상태: 약간의 진전이 있습니다.
이것은 현재 일반적으로 "오라클 문제"라고 합니다. 분산형 오라클의 가장 큰 알려진 실행 인스턴스는 수백만 달러의 스테이킹 결과를 처리하는 Augur입니다. Token의 Kleros TCR과 같은 토큰 큐레이션 레지스트리가 또 다른 예입니다. 그러나 이러한 시스템은 논쟁의 여지가 많은 문제나 51% 공격 시도로 인해 포크 메커니즘에 대한 실제 테스트를 아직 보지 못했습니다. "peer-to-peer 예측" 문헌의 형태로 블록체인 공간 외부에서 발생하는 오라클 문제에 대한 연구도 있습니다.
다가오는 또 다른 문제는 사람들이 시스템의 기본 토큰의 경제적 가치보다 더 큰 자산 수량의 이전을 안내하기 위해 이러한 시스템에 의존하기를 원한다는 것입니다. 이 경우 토큰 보유자는 이론적으로 자금을 훔치기 위해 잘못된 대답을 제공하도록 결탁할 유인이 있습니다.
첫 번째 레벨 제목
새로운 질문
2019년에 다시 퍼즐 목록을 작성했다면 일부는 위의 질문의 연속이지만 강조점이 상당히 바뀌었을 것이고 새로운 질문이 많이 나왔을 것입니다.
다음은 몇 가지 질문입니다.
암호 난독화: 위의 항목 4와 동일합니다.
양자 이후 암호학에서 진행 중인 작업: 해시 기반 및 양자 이후 보안 "구조화된" 수학적 객체, 예. 타원 곡선 구조…
담합 방지 인프라: 진행 중인 작업 및 개선 https://ethresear.ch/t/minimal-anti-collusion-infrastructure/5413, 여기에는 운영자에 대한 개인 정보 보호 추가, 가장 실용적인 방법으로 다자간 계산 추가 등이 포함됩니다.
Oracles: 위의 #16과 동일하지만 "성공 지표"를 덜 강조하고 일반적인 "실제 데이터 얻기" 문제에 중점을 둡니다.
고유한 인간 신원(또는 보다 현실적으로 반 고유한 인간 신원): 위의 15번에 작성된 것과 같지만 덜 "절대적인" 솔루션을 강조합니다. 두 개의 신원을 얻는 것이 하나를 얻는 것보다 낫습니다. 훨씬 더 어렵지만 여러 신원을 얻을 수 없게 만듭니다. 우리가 성공하더라도 불가능하고 잠재적으로 해로울 것입니다.
동형암호 및 다자간 계산: 실용성을 위해 지속적인 개선이 여전히 필요합니다.
분산형 거버넌스 메커니즘: DAO는 훌륭하지만 현재 DAO는 여전히 매우 원시적입니다.
PoS 51% 공격에 대한 완전히 공식화된 대응: https://ethresear.ch/t/responding-to-51-attacks-in-casper-ffg/6363 참조.
공공재를 위한 더 많은 자금원: 네트워크 효과가 있는 시스템 내에서 혼잡한 자원(예: 거래 수수료)에 대해 청구하는 것이 이상적이지만 탈중앙화된 시스템에서 그렇게 하려면 공적 합법성이 필요합니다. 가능한 소스를 찾는 기술적인 문제이기도 합니다.
평판 시스템: 위의 #12와 동일합니다.
일반적으로 기본 계층의 문제는 느리지만 확실하게 줄어들고 있지만 애플리케이션 계층의 문제는 이제 막 시작되었습니다.
Source：https://www.google.com/search?q=%E7%BF%BB%E8%AF%91&oq=%E7%BF%BB%E8%AF%91&aqs=chrome..69i57j0i512j0i433i512l2j46i131i199i433i465i512l2j0i131i433i512j0i433i512l2j46i433i512.1125j0j15&sourceid=chrome&ie=UTF-8
