Ethereum Foundation의 최신 AMA 검토: 유효성 검사기 세트, 난수, DVT, 기술 방향

원본 편집: GaryMa Wu는 블록체인을 말했습니다.

원본 편집: GaryMa Wu는 블록체인을 말했습니다.

지난 7월 12일 이더리움 재단 연구팀이 레딧 포럼에서 제10차 AMA를 진행했는데, 커뮤니티 회원들이 해당 게시물에 질문을 올리고, 연구팀 구성원들이 답변을 하게 됐다. Wu는 이번 AMA와 관련된 질문/기술적 사항을 다음과 같이 요약하고 편집했다고 말했습니다.

1. 검증인 퇴장 관련: 검증인이 실행 계층(0x01)에서 인증서를 철회하여 퇴출을 실행할 수 있도록 허용합니다. 잔고가 16ETH 미만인 경우(스랙 페널티 또는 몰수 이벤트 발생) 검증인은 퇴출됩니다. 합의, 여기 16 ETH 임계값이 너무 낮은가요?

이는 주로 EIP-7002 초안과 관련이 있으며, Danny Ryan과 다른 연구 개발자가 공동으로 EIP-7002 초안을 발표한 것으로 이해됩니다. 이 초안은 검증자가 실행 계층(0x 01)에서 자격 증명을 철회하여 편지표시된 체인. 검증인은 활성 키와 출금 인증서라는 두 개의 키를 가지고 있기 때문에 현재는 활성 키만이 검증인 종료를 시작할 수 있습니다. 이는 비표준 에스크로 관계에서 출금 인증서 보유자가 독립적으로 옵트 아웃 및 탈퇴를 할 수 없음을 의미합니다. 탈퇴 절차를 시작합니다. EOA 및 스마트 계약이 보유한 출금 토큰이 신뢰 없이 스테이킹된 ETH를 제어할 수 있도록 하기 위해 이 사양에서는 0x01 출금 토큰이 종료를 트리거할 수 있도록 허용합니다. 이 제안은 유동 스테이킹 및 분산 검증과 같은 트랙 개발에 도움이 되고, 비콘 체인의 분산화를 더욱 촉진하는 동시에 개인 키 손실 또는 대부분의 DVT 검증기 손실과 같은 위험을 더 잘 관리할 것입니다. 공유 키 연결 등

2. 난수 문제: RANDAO + VDF

RANDAO는 난수를 생성하는 방법입니다. 학급에 10명의 학생이 있고 교사가 무작위로 한 학생을 선택하여 그에게 보상을 주기를 원한다고 가정합니다. 교사가 제시하는 선택 방법은 모든 학생이 동시에 난수를 주고, 교사는 얻은 난수 10개를 더하고, 최종 얻은 숫자는 나머지 10개가 되며, 나머지 숫자는 선택됩니다. 그러나 실제로 위의 RANDAO 연산과정에서 문제점을 발견할 수 있다. 반 친구가 부정행위를 해서 9명의 반 친구에게 난수를 준다면, 9명의 반 친구가 준 난수 정보를 바탕으로 자신에게 가장 유리한 숫자를 선택하여 최종 결과가 자신을 가리키도록 할 수 있습니다. 따라서 RANDAO를 효과적으로 운영하려면 부정 행위 방지 메커니즘의 도입이 필요합니다. 즉, 모든 사람이 동시에 답변을 제공할 수 있는 특정 방법이 필요합니다. VDF도 유용했습니다. VDF의 정식 명칭은 Verifying Delay Function인데, 이 함수의 중요한 특징은 결과를 얻기 위한 계산 과정을 병렬로 계산할 수 없다는 것, 즉 가속할 수 없다는 것입니다. 그러나 결과를 얻은 후 결과를 검증하기 위한 계산량이 매우 적습니다. VDF는 해시 함수로 구현되며, 해시 함수의 계산 속도가 느리고 검증 속도가 빠른 특성도 VDF의 특성과 일치합니다.

그러나 연구팀 구성원들은 이 최종 제안자 취약점을 악용하려는 궁극적인 경제성은 이상적이지 않을 수 있으며 그러한 속임수는 검증자의 평판을 심각하게 손상시킬 수 있다고 말했습니다.

3. 이더리움에 SSV(비밀 공유 검증기)와 DVT(분산 검증기 기술)가 필수인가요?

이더리움 스테이킹이 20%를 초과하고 잠재적인 노드 운영자의 중앙화 위험에 직면한 상황에서 두 명의 연구팀 구성원은 이러한 기술이 단기 및 중기적으로 필수 솔루션이 될 수 있다고 말했습니다.

Justin Drake는 장기적으로 원샷 서명이 구현되면 이러한 위험 문제의 중요성이 크게 줄어들 것이기 ​​때문에 최근 생각이 부분적으로 변경되었다고 말했습니다. 그러나 일회성 서명을 달성하는 데 수십 년이 걸릴 수 있으므로 DVT는 단기 및 중기적으로 더 효과적인 솔루션이 될 것입니다.

원샷 서명은 개인 키를 하나의 메시지에 서명하는 데만 사용할 수 있는 특별한 종류의 암호화 서명입니다. 이는 블록체인 분야의 오랜 문제를 해결할 수 있으며 종료 페널티, 완벽한 최종성, 무신뢰 유동성 스테이킹 등과 같은 수많은 이점을 제공합니다.

4. 최대 유효 잔고: 검증인의 서약 상한(32 ETH)을 늘리면 네트워크의 검증인 수를 줄여 다음과 같은 더 빠른 거래 최종성(단일 슬롯 최종성)을 달성할 수 있습니다. 1) 상위 32 ETH 한도는 변경하지 않으나 네트워크 검증자 수의 상한을 제한합니다. 2) 검증자의 증명(attestation) 개수를 투표 가중치에 고려할지 여부.

옵션 1은 기존 검증인 자격을 거래할 수 있는 시장을 만들어 잠재적으로 심각한 보안 위험을 초래할 수 있습니다.

옵션 2는 프로토콜의 보안 모델을 변경하고 공격자가 체인을 재구성하는 어려움을 줄여줍니다.

활성 검증인 세트의 증가를 줄이기 위해 최대 활성 검증인 잔액을 32 ETH에서 2048 ETH로 늘리자는 최근 커뮤니티 제안이 있었습니다.

5. 현재 SSLE/Single Secret Leader 선거는 어떻게 진행되고 있나요?

Vitalik은 SSLE가 아직 연구 단계에 있으며, Leader의 비비밀성이 문제가 되는 것으로 입증되지 않았기 때문에 SSLE의 우선순위는 상대적으로 낮을 것이라고 말했습니다.

ps: 단일 비밀 리더 선출, 현재 비콘 체인의 각 슬롯에 대해 선택된 제안자는 사전에 공개되므로 DoS 공격에 취약합니다. 최신 솔루션은 이 프로세스를 암호화하고 숨기며, 제안자만이 자신의 신원을 알 수 있으므로 잠재적인 위험을 효과적으로 완화할 수 있습니다.

6. 현재 이더리움 기술 로드맵에 업데이트가 있나요?

Vitalik은 대부분 예정대로 진행되고 있다고 말했습니다. 물론 우선순위도 재조정됩니다. 예를 들어 4월에는 Mev-Boost 취약점으로 인해 악성 검증자가 MEV Bot을 공격했습니다. 현재 프로토콜 수준 내 PBS는 개선 (제안자와 빌더의 분리) 리스테이킹(리스테이킹)으로 인해 발생할 수 있는 잠재적인 보안 위험에 대한 우려로 인해 솔로 스테이킹 경험을 최적화하고 단순화하는 우선순위가 높아질 것입니다.

또한 일반적인 방향에서 우선순위로 두어야 할 것은 ERC-4337 스마트 지갑과 같은 많은 생태계 수준을 효과적으로 지원하여 친화적인 Cross-L2를 달성하고 가스 효율성을 향상시키는 것입니다.

7. EIP 4844는 L1과 L2의 유동성 단편화 문제를 해결할 수 있습니까?

zk-롤업의 즉각적인 구성 가능성(OP 롤업 간에는 불가능할 수 있음)은 EIP 4844 완료 여부에 달려 있지 않습니다. zk-롤업 간의 구성 가능한 조정을 위한 설계 공간은 엄청납니다. 예를 들어 가능한 솔루션 중 하나는 유동성 집계로 전용 최소 zk-롤업을 갖는 것입니다.

8. Justin Drake는 Rollup(L1 정렬)의 정렬 문제를 해결하기 위해 Based Rollup이라는 아이디어를 제안했는데, 아직 구현되었나요?

기반 롤업(또는 L1 순서라고 불리는 롤업)은 롤업 네트워크의 순서가 기반이 되는 L1(대부분의 경우 이더리움 네트워크)에서 발생한다는 것을 의미합니다. 보다 구체적으로 말하면 이더리움의 경우 네트워크의 Seeker, Builder 및 Proposer가 모두 Rollup 네트워크의 주문에 참여한다는 의미입니다.

기반 롤업은 자체적으로 정렬을 처리하는 기존 롤업 네트워크에 비해 많은 장점이 있습니다. 첫째, 그들은 거래 주문을 위해 이더리움에 의존하므로 이더리움의 활동으로부터 이익을 얻습니다. 위에서 다양한 롤업의 위험에 대해 논의했을 때 주문자나 검증자가 실패하면 많은 문제가 발생할 수 있지만 기반 롤업의 경우 이더리움 네트워크에 문제가 없으면 그러한 위험이 없다는 것을 발견했습니다. 또한, 탈중앙화, 토큰이 필요 없다는 장점도 있습니다.

Layer 2 zkEVM 프로젝트 중 하나인 Taiko는 기반 롤업 형태로 출시될 예정입니다.

어떤 사람들은 기반 롤업이 L1과 공유되는 메모리 풀을 사용한다고 혼동하고 생각하지만 그렇지 않습니다. 롤업은 자체 메모리 풀을 갖습니다.

9. 블록 빌더의 중앙화 위험에 대한 우려가 있습니까?

Justin Drake는 현재 빌더 시장이 실제로 매우 중앙화되어 있고(자세한 내용은 https://www.relayscan.io/ 참조) 빌더 중앙화의 주요 위험은 검열이며 더 나은 솔루션은 포함 목록과 같은 부분 블록 경매라고 말했습니다. , 제안자 접미사, 제안자 접미사 수정: 사전 커밋 및 암호화된 메모리 풀, MEV 파괴 등

10. 올해 검증자 수가 100만 명을 넘으면 메인넷이 안정적으로 운영될 수 있을까요? 현재 메인넷은 몇 명의 검증자를 지원할 수 있나요?

현재 클라이언트 팀은 메인 네트워크가 지원할 수 있는 검증자의 수가 100만에서 200만 사이라고 밝혔습니다. 개발자 커뮤니티에서도 관련 탐색을 진행하고 있으며, 다음 테스트넷인 홀스키(Holesky)에는 100만 명의 검증자가 있을 예정이다.

11. 이더리움 재단은 해체되나요? 재단의 종말은 어떻게 될까요?

Justin Drake는 Ethereum Foundation에는 수입이 없으며 일부 컨퍼런스는 일반적으로 비영리이며 수입 창출을 위한 서약으로 재무부의 ETH를 사용하지 않을 것이라고 말했습니다. 이더리움 재단 자금이 고갈되면 다음 두 가지 소스에서 자금을 조달할 수 있습니다.

● 생태계 내 공공 상품 금융 인프라;

● 상대적으로 낮은 Ethereum L1 예산.

12. 현재 교차 롤업 거래 실행을 위한 성숙한 기술 솔루션이 없습니다. 귀하의 견해와 제안은 무엇입니까?

Vitalik은 동기식 크로스 롤업 트랜잭션 실행의 사용 사례가 높지 않다고 생각하며 비동기식 크로스 롤업 트랜잭션 실행이 허용되며 많은 사용 사례가 있다고 말했습니다. 롤업 전반에 걸친 동기식 거래 실행은 난해한 정의 영역처럼 느껴지며, 이를 파악하면 확실히 시장 효율성이 어느 정도 향상될 것이지만 그렇지 않으면 완전히 없이도 할 수 있습니다.

13. 향후 롤업 성능이 병목 현상에 빠지면 이더리움 이전 단계의 투샤딩이 다시 단계로 돌아올 수 있나요?

L1 EVM이 SNARKified(이더리움 로드맵의 The Verge 단계)를 구현하는 한, 이더리움은 내재된 롤업(L1에서 일종의 합의 통합을 즐기는 롤업)을 갖게 됩니다. L1 합의 수준에서 샤딩을 수행합니다. SNARKifying의 어려운 작업이 완료되면 L1 EVM에서 SNARK 검증 논리 자체를 EVM opcode로 노출하는 것이 상대적으로 쉬워집니다. 이러한 방식으로 무제한의 내장 롤업을 실현할 수 있으며, 이더리움 합의 수준에서 이러한 내장 롤업은 메인 네트워크의 실행 샤딩과 같으며 확장성과 메인 네트워크와 동일한 보안을 제공합니다.

원본 링크