비탈릭 부테린은 블록체인이 점차 여러 노드에서 동일한 작업을 여러 번 수행할 필요가 없게 되는 접근 방식을 제시했습니다. 그의 말에 따르면, 암호화 기술의 발전은 계산 수행과 검증을 분리할 수 있게 해줍니다: 한 참가자가 작업을 처리하고 올바름의 증명을 형성하며, 나머지 노드들은 이미 압축된 암호학적 결과를 검증합니다. 이러한 원칙은 SNARK 및 STARK 기술에 기반하며, 동시에 계산 부하를 줄이고 프로그래머블 프라이버시의 가능성을 확장해야 합니다. 초기 블록체인은 주로 자산 관리 권한 확인 문제를 해결했지만, 다음 아키텍처는 프로그램 자체가 다양한 참가자에게 어떤 데이터가 접근 가능한지를 결정할 수 있게 할 수 있습니다. 부테린은 특히 많은 증명을 하나로 결합하여 네트워크의 기본 레벨에서 전송 및 처리되는 정보의 양을 줄일 수 있는 재귀적 STARK에 큰 중요성을 부여합니다.
이 아이디어는 Ethereum의 전체 계산 프로세스 구조 변경과 관련이 있습니다. 고려 중인 방향에는 서명 및 증명의 사전 집계, 트랜잭션을 개별 작업 및 종속성으로 분할, 독립적인 작업을 병렬로 수행할 수 있는 가능성이 포함됩니다. 아키텍처의 추가 요소는 블록의 내용을 결정할 때 단일 참가자에 대한 의존성을 줄이는 분산 블록 형성입니다. 더 넓은 관점에서 블록체인은 단일 실행 레벨에서 다단계 계산 파이프라인으로 변환됩니다. 여기에는 사용자 장치의 작업, 다양한 프라이버시 매개변수를 가진 메모리 풀, 증명 집계 시스템, 2차 솔루션 및 네트워크의 기본 레이어가 포함될 수 있습니다. 이러한 모델에서 일부 복잡한 계산은 기본 실행 외부에서 수행되며, 블록체인은 그 올바름에 대한 압축된 확인을 받습니다. 이는 각 노드의 작업량을 비례적으로 증가시키지 않고 시스템을 확장할 수 있게 해야 합니다.
부테린의 개념에서 인공지능은 별도의 위치를 차지합니다. 그의 평가에 따르면, 암호화 프로토콜의 복잡성 증가는 수작업으로 코드를 개발, 테스트 및 검증하는 것을 점점 더 힘든 작업으로 만듭니다. AI는 프로그램 준비, 구현 분석, 사양 생성, 오류 탐색 및 코드가 주어진 요구 사항을 충족하는지를 수학적 방법으로 검증하는 공식 검증에 사용될 수 있습니다. 여러 독립적인 사양과 자동화된 검증은 복잡한 시스템을 만들 때 오류의 가능성을 추가로 줄일 수 있습니다. 이러한 논리에 따르면 AI는 개별 코드 조각뿐만 아니라 L1, L2 및 중간 서비스의 인프라와 상호 작용하여 특정 작업을 수행하기 위해 필요한 도구를 선택할 수 있습니다. 결과적으로 암호화 및 AI의 발전은 계산이 더 분산되어 수행되고 그 올바름이 압축된 증명으로 확인되는 블록체인으로의 통합 전환의 일부로 간주됩니다.
관련 도움말
