Aleo 블록체인 개인정보 보호 프로젝트란 무엇인가요? Aleo의 최신 종합 해석

Aleo 블록체인 개인정보 보호 프로젝트란 무엇인가요? Aleo의 최신 종합 해석! Aleo는 개인 정보 보호에 중점을 둔 블록체인 프로젝트로, 영지식 증명 기술(ZKP)을 통해 더 높은 개인 정보 보호와 확장성을 달성합니다. Aleo의 핵심 아이디어는 사용자가 개인 데이터를 공개하지 않고 데이터를 인증하고 처리할 수 있도록 하는 것입니다. 그렇다면 Aleo 블록체인 개인정보 보호 프로젝트는 무엇일까요? Aleo 블록체인 개인정보 보호 프로젝트의 특징은 무엇인가요? Aleo 블록체인 개인정보 보호 프로젝트는 현재 어떻게 진행되고 있나요?

오늘 본 사이트의 에디터께서는 Aleo의 프로젝트 개요와 최신 진행 상황을 소개하셨고, 시장이 가장 우려하고 있는 퍼즐 알고리즘 업데이트에 대해서도 자세히 설명해 주셨습니다. 필요하신 친구들은 함께 구경해보세요!

최신 알고리즘 미리보기

Aleo 네트워크는 매 시간마다 무작위로 ZK 회로를 생성합니다. 채굴자는 이 시간 동안 회로의 입력으로 다른 nonce를 시도하고 증인(즉, 이 계산 과정을 합성이라고도 합니다. 증인에 대한 머클 루트를 얻은 후 채굴 난이도 요구 사항을 충족하는지 판단합니다. 회로의 무작위성으로 인해 이 마이닝 알고리즘은 GPU에 친화적이지 않으며 가속 계산에 큰 어려움을 겪습니다.

파이낸싱 배경

알레오는 2021년 a16z 주도로 2,800만 달러 규모의 시리즈 A 파이낸싱을 완료했고, 2024년에는 2억 달러 규모의 시리즈 B 파이낸싱을 완료했습니다. 투자자로는 코라매니지먼트, 소프트뱅크 비전펀드2, 타이거글로벌, 씨캐피탈, 슬로우벤처스 등이 있습니다. 그리고 삼성 넥스트 등이 있습니다. 이번 펀딩 라운드에서 Aleo의 가치는 14억 5천만 달러로 평가되었습니다.

프로젝트 개요

개인 정보 보호

Aleo의 핵심은 개인 정보를 유지하면서 거래 및 스마트 계약 실행을 수행할 수 있는 영지식 증명(ZKP) 기술입니다. 보낸 사람, 거래 금액 등 사용자의 거래 세부 정보는 기본적으로 숨겨집니다. 이 디자인은 사용자의 개인 정보를 보호할 뿐만 아니라 필요한 경우 선택적 공개를 허용하므로 DeFi 애플리케이션 개발에 매우 ​​적합합니다. 주요 구성 요소는 다음과 같습니다:

• Leo 컴파일 언어: Rust 언어를 기반으로 조정되었으며 특별히 영지식 애플리케이션(ZKApps)을 개발하는 데 사용되어 개발자의 암호화 지식 요구 사항을 줄입니다.
• snarkVM 및 snarkOS: snarkVM을 사용하면 오프체인에서 계산을 수행할 수 있으며 계산 결과만 온체인에서 검증되므로 효율성이 향상됩니다. snarkOS는 데이터 및 계산의 보안을 보장하고 무허가 기능 실행을 허용합니다.
• zkCloud: 안전한 비공개 오프체인 컴퓨팅 환경을 제공하여 사용자, 조직 및 DAO 간의 프로그래밍 방식 상호 작용을 지원합니다.

Aleo는 또한 개발자가 애플리케이션을 신속하게 작성하고 게시할 수 있도록 지원하는 통합 개발 환경(IDE)과 소프트웨어 개발 키트(SDK)를 제공합니다. 또한 개발자는 제3자에 의존하지 않고 Aleo의 프로그램 레지스트리에 애플리케이션을 배포할 수 있으므로 플랫폼이 줄어듭니다. 위험.

확장성

Aleo는 오프체인 처리 방식을 채택하여 이를 증명하기 위해 먼저 사용자 장치에서 거래를 계산한 다음 검증 결과만 블록체인에 업로드합니다. 이 방법은 트랜잭션 처리 속도와 시스템 확장성을 크게 향상시키고 이더리움과 유사한 네트워크 정체와 높은 수수료를 피합니다.

합의 메커니즘

Aleo는 검증자의 즉각적인 최종성과 증명자의 컴퓨팅 능력을 결합한 하이브리드 아키텍처 합의 메커니즘인 AleoBFT를 소개합니다. AleoBFT는 네트워크의 분산화를 증가시킬 뿐만 아니라 성능과 보안도 향상시킵니다.

• 빠른 블록 최종성: AleoBFT는 각 블록이 생성 후 즉시 확인되도록 보장하여 노드 안정성과 사용자 경험을 향상시킵니다.
• 탈중앙화 보장: 블록 생성과 코인베이스 생성을 분리하여 검증자가 블록 생성을 담당하고 증명자는 증명 계산을 수행하여 소수의 주체가 네트워크를 독점하는 것을 방지합니다.
• 인센티브 메커니즘: 검증자와 인증자는 블록 보상을 공유합니다. 인증자는 토큰을 스테이킹하여 검증자가 되도록 권장하여 네트워크의 분산화 및 컴퓨팅 성능을 향상시킵니다.

Aleo를 사용하면 개발자는 가스 제한이 없는 애플리케이션을 만들 수 있으므로 특히 기계 학습과 같은 장기 실행 애플리케이션에 적합합니다.

현재 진행 상황

Aleo는 7월 1일에 인센티브 테스트넷을 출시할 예정입니다. 다음은 몇 가지 중요한 최신 정보입니다.

• ARC-100 투표: ARC-100(Aleo 네트워크의 자금 잠금 및 지불 지연과 같은 규정 준수 측면, 보안 조치를 포함하는 "Aleo 개발자 및 운영자를 위한 규정 준수 모범 사례" 제안)이 종료되어 통과되었습니다. 팀에서는 최종 조정을 진행 중입니다.
• 검증자 인센티브 프로그램: 이 프로그램은 새로운 퍼즐 메커니즘을 검증하기 위해 7월 1일에 시작됩니다. 이 프로그램은 7월 15일까지 진행되며, 이 기간 동안 100만 Aleo 포인트가 보상으로 배포됩니다. 노드에서 생성된 포인트 비율에 따라 보상 분배가 결정되며, 각 검증인은 보상을 받으려면 최소 100개의 토큰을 획득해야 합니다. 구체적인 내용은 아직 확정되지 않았습니다.
• 초기 공급량 및 유통량: 초기 공급량은 15억 개의 토큰이며, 초기 유통량은 약 10%입니다(아직 확정되지 않음). 주로 Coinbase 임무(7,500만 개)에서 파생된 토큰은 처음 6개월 동안 배포되며 스테이킹, 검증 실행 및 노드 검증에 대한 보상을 포함합니다.
• 테스트넷 베타 재설정: 이것은 마지막 네트워크 재설정이며, 완료되면 새로운 기능이 추가되지 않으며 네트워크는 메인넷과 유사합니다. ARC-41 및 새로운 퍼즐 기능을 추가하려면 재설정하세요.
• 코드 동결: 일주일 전에 코드 동결이 완료되었습니다.
• 검증 노드 확장 계획: 초기 검증 노드 수는 15개이며, 연내 50개로 늘려 최종적으로 500개에 도달하는 것이 목표입니다. 위임자가 되려면 10,000개의 토큰이 필요하고 검증자가 되려면 1,000만 개의 토큰이 필요하며, 이 양은 시간이 지남에 따라 점차 감소합니다.

알고리즘 업데이트 해석

최근 최신 테스트 네트워크 소식을 발표하면서 Aleo는 최신 버전의 퍼즐 알고리즘을 업데이트했습니다. 새로운 알고리즘은 더 이상 zk 증명 결과 생성에 중점을 두지 않으며 MSM을 제거했습니다. 및 NTT(2 계산 모듈은 zk에서 증명을 생성하는 데 광범위하게 사용됩니다. 이전에 테스트넷 참가자는 계산을 사용하여 알고리즘의 효율성을 최적화하여 채굴 수익을 늘리고 증명을 생성하기 전에 중간 데이터 증인 생성에 중점을 두었습니다. 공식 퍼즐 스펙과 코드를 참고한 후 최신 알고리즘에 대해 간략하게 소개하겠습니다.

합의 프로세스

합의 프로토콜 수준에서는 해당 프로세스의 증명자와 검증자가 각각 계산 결과 솔루션 생성과 블록 생성 및 패키지 솔루션을 집계하는 역할을 담당합니다. 프로세스는 다음과 같습니다.

• Prover는 퍼즐을 계산하여 솔루션을 구성하고 이를 네트워크에 방송합니다.
• Validator는 트랜잭션과 솔루션을 다음 새 블록에 집계하여 솔루션 수가 합의 한도(MAX_SOLUTIONS)를 초과하지 않도록 합니다.
• 솔루션의 적법성 검증이 필요합니다. epoch_hash는 검증자가 유지하는 최신_epoch_hash와 일치하며, 계산된proof_target은 검증자가 네트워크에서 유지하는 최신_proof_target과 일치합니다. 동시에 블록에 포함된 솔루션의 수입니다. 는 합의 한계보다 작습니다
• 효과적인 솔루션은 합의 보상을 얻을 수 있습니다

합성 퍼즐

최신 버전 알고리즘의 핵심은 R1CS를 구성하여 공통 EpochProgram을 생성하는 것입니다. 입력에 대한 증명 회로와 EpochProgram에 해당하는 R1CS 할당(즉, 모두가 언급한 증인)이 생성되어 머클 트리의 리프 노드로 사용되며, 모든 리프 노드를 계산한 후 머클 루트가 생성되어 변환됩니다. 솔루션의proof_target. 합성 퍼즐을 구축하기 위한 세부 프로세스 및 사양은 다음과 같습니다.

1. 각 퍼즐 계산은 nonce라고 하며, 이는 채굴 보상을 받는 주소, epoch_hash 및 난수 카운터로 구성됩니다. 새로운 솔루션을 사용하면 카운터를 업데이트하여 새로운 nonce를 얻을 수 있습니다

2. 각 epoch에서 네트워크의 모든 증명자가 계산해야 하는 EpochProgram은 생성된 난수에 의해 명령어 세트에서 샘플링됩니다. 현재 epoch_hash 샘플링 논리는 다음과 같습니다.

• 명령어 세트는 하나 이상의 계산 작업을 포함합니다. 각 명령어에는 미리 설정된 가중치와 작업 횟수가 있습니다.
• 샘플링 중에 임의의 숫자가 생성됩니다. , 난수를 기준으로 명령어 세트에서 가중치를 가져와서 순서대로 정렬합니다. 누적 작업 횟수가 97에 도달하면 샘플링을 중지합니다.
• 모든 명령어를 EpochProgram으로 구성합니다

3. EpochProgram의 입력을 생성하기 위한 난수 시드

4. R1CS와 EpochProgram에 해당하는 입력을 집계하고 증인(R1CS 할당)을 진행하여 모든 증인을 계산한 후 이 증인을 리프 노드 시퀀스로 변환합니다. 머클 트리는 깊이가 8

6인 8요소 K-ary 머클 트리입니다. 머클 루트를 계산하여 솔루션의proof_target으로 변환하고 최신_proof_target을 충족하는지 확인합니다. 현재 epoch가 만족되면 계산이 성공합니다. 위의 입력을 빌드하는 데 필요한 보상 주소, epoch_hash 및 카운터를 솔루션으로 제출하고 방송합니다.

7. 여러 해 계산을 수행하기 위한 카운터 반복

마이닝의 변화와 영향

이 업데이트 이후 퍼즐은 증거 생성에서 증인 생성으로 변경되었습니다. 각 시대의 모든 솔루션의 계산 논리는 동일하지만 서로 다른 시대의 계산 논리는 상당히 다릅니다.

이전 테스트 네트워크에서 우리는 GPU를 사용하여 증명 생성 단계에서 MSM 및 NTT 계산을 최적화하는 데 중점을 두어 채굴 효율성을 향상시키는 동시에 이 부분을 완전히 포기한다는 것을 알 수 있습니다. , Witness 생성으로 인해 프로세스는 시대에 따라 변화하는 프로그램을 실행하여 생성되며, 그 안의 명령은 직렬 실행에 어느 정도 의존성을 가지게 되므로 병렬화를 달성하는 것이 큰 과제입니다.

위 내용은 Aleo 블록체인 개인정보 보호 프로젝트란 무엇인가요? Aleo의 최신 종합 해석의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!