안녕하세요 친구들, 안녕하세요 여러분! 내 채널에 오신 것을 진심으로 환영합니다. Mr. Atlas에게 연락하십시오. 오늘의 기사는 사용자 측면과 투자자 측면 모두에서 많은 지원을 받는 독특하고 매우 유망한 프로젝트에 전념할 것입니다. 이것이 바로 Aleo 입니다. 그리고 더 정확히 말하면 이번 호에서는

이 프로젝트에 대한 최신 뉴스를 검토하겠습니다 . 이 기사를 끝까지 읽으라고 권합니다. 그 이유는 다음과 같습니다. 정보가 흥미롭고 신뢰할 수 있으며 귀하가 처음으로 이에 대해 알게되었습니다. 자, 가자!

☯️팀의 요청:

Aleo Testnet 3의 두 번째 단계를 발표하게 되어 기쁩니다! 이 릴리스에서는 사용자 정의 프로그램의 배포 및 실행, zkSNARK 검증 하드웨어 개발을 주도하는 퍼즐과 같이 Testnet 3 의 원래 로드맵 에 설명된 많은 주요 기능을 배포할 것입니다.

그래서 친구 여러분, 이제 이해하셨을 것입니다. 릴리스가 상당히 흥미로울 것입니다 :)

그 순간에 조금 더 깊이 들어가려면 기본부터 시작하는 것이 좋습니다…

☯️ 알레오란?

Aleo는 영지식 암호화 를 사용하여 확장 가능한 개인 분산 응용 프로그램을 지원하는 새로운 레벨 1 블록체인입니다.

‌ Aleo 팀은 그들의 아키텍처(프로그램)가 체인으로 실행되지 않는다는 것을 이해합니다. 오히려 사용자는 프로그램을 오프라인에서 실행하고 개인 정보 보호 방식으로 올바른 실행을 증명하는 zkSNARK(짧은 영지식 증명)를 체인에 게시합니다.

체인이 수행하는 다음 단계는 프로그램 실행 시간과 별개로 짧은 증명을 확인하는 것입니다.

하지만! 모든 것이 잘 되었다면 프로젝트는 이미 증권 거래소에 상장되었을 것입니다.

‌ 이 계획은 작은 버그를 제외하면 100% 잘 작동합니다. 지식 없이 프로그램이 올바르게 실행되었다는 증거를 만드는 것은 프로그램을 직접 실행하는 것보다 몇 배 더 비쌉니다. 많은 유용한 애플리케이션(예: 결제)의 경우 휴대폰이나 노트북과 같은 일반 장치를 확인할 때에도 이 오버헤드를 관리할 수 있습니다.

기계 학습, 게임 또는 인증과 같이 컴퓨팅 집약적인 애플리케이션을 사용하는 경우 표준 장치에 대한 확인 오버헤드가 엄청날 수 있습니다.

그리고 이것은 차례로 이러한 사용 사례를 달성할 수 없게 만듭니다.

물론 그 순간이 충분히 즐겁지는 않지만 다음과 같은 이유로 계속하겠습니다.

그러나 Aleo의 설계를 통해 클라이언트 는 더 큰 계산을 위해 zkSNARK를 계산하는 데 도움이 되는 더 많은 컴퓨팅 리소스를 가질 수 있는 타사 "검증 서비스" 에 증명 생성을 아웃소싱할지 여부를 선택할 수 있습니다.

예:

코어가 많은 프로세서, 대용량 RAM 또는 검증을 위한 특수 하드웨어 등.

그제서야 문제는 더 나은 증거 구조의 개발을 자극하게 됩니다. 이 마지막 문제를 해결하는 것은 Aleo의 새로운 합의 알고리즘인 AleoBFT 개발의 핵심 동기 중 하나입니다. 높은 수준에서 AleoBFT는 지분 증명을 사용하여 블록 확인을 위한 즉각적인 최종성을 달성하고 증명을 생성하는 더 빠른 방법의 개발에 보상하는 작업 증명 코인베이스 퍼즐을 사용하는 하이브리드 아키텍처입니다.

구독자 여러분, 저희도 여러분과 함께 이 암호의 세부 사항을 더 명확하게 파고들 것입니다. 그래서…

☯️Coinbase 퍼즐 정보?

‌ 코인 베이스 퍼즐은 영지식 증명을 생성하기 위해 더 빠른 소프트웨어 및 하드웨어 개발을 주도하도록 설계된 작업 증명 퍼즐입니다.

그게?

이를 달성하기 위해 코인베이스 퍼즐에는 두 가지 고유한 기능이 있습니다(먼저 집중할 것임).

고유 기능:

_Cryptographic_Function:

⚡️비트코인이나 이더리움에서 볼 수 있는 기존의 PoW와 달리 코인베이스 퍼즐은 zkSNARK 유효성 검사의 주요 하위 구성 요소에 대한 "유용한" 알고리즘을 위한 효율적인 절차를 생성해야 합니다.

‌ _특징_이코노미:

⚡️각 블록이 하나의 유효한 퍼즐 솔루션만 포함할 수 있는 기존의 PoW와 달리 우리의 코인베이스 퍼즐은 블록당 여러 개의 유효한 솔루션을 허용하여 승자 독식을 방지하고 증거 보상의 더 넓은 분배로 이어집니다.

친구 여러분, 이제 우리는 암호화 부분과 관련하여 퍼즐의 디자인에 100% 주의를 기울여야 합니다.

☯️퍼즐 디자인?

가장 먼저 살펴볼 내용은 빠른 zkSNARK 디자인 가이드입니다.

⚡️현대 zkSNARK에서 증명을 생성하는 시간은 다항식 IOP 및 다항식 커밋 체계의 두 하위 구성 요소를 검증하는 시간이 지배적입니다.

즉 , 이 코인베이스 퍼즐은 이러한 하위 구성 요소의 가속을 효과적으로 자극합니다.

두 단계로 구성된 프로토콜 흐름을 보면 다음을 알 수 있습니다.

_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

(1) 솔루션 생성(Prover)

솔루션 변형을 생성하기 위해 검증자는 (일회성 요소에서) 무작위 다항식을 생성하고 곱한 다음 다항식 커밋 체계(이 경우 KZG10 체계)를 사용하여 결과 제품 다항식을 수정합니다. 이 결과 커밋은 해시되고 이 해시가 대상 복잡성과 일치하는 경우 집계자에게 보낼 수 있는 유효한 솔루션입니다(효율적인 집계를 위한 점수 증명과 함께).

그래도 결과 퍼즐은 2개의 그룹 요소와 1개의 필드 요소, 주소와 nonce로 구성되며 D 필드 곱셈과 쌍에서 확인할 수 있습니다. 여기서 D는 생성된 다항식의 차수입니다.

_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

(2) 유효한 솔루션의 집계(BFT 리더)

유효한 퍼즐 솔루션은 누구나 검증할 수 있지만 각 퍼즐 솔루션을 체인에 추가하면 상태가 높아집니다.

이 단계에서 이를 피하기 위해 이 코인베이스 퍼즐을 통해 BFT 리더는 유효한 솔루션을 수집할 수 있습니다. 팀은 이 작업이 수행되는 방법에 대해 자세히 설명하지 않지만 일반적인 결과는 네트워크 스토리지가 n + 1 어레이 요소의 비용에 의존하고 1 어레이 요소가 크게 개선된다는 것입니다. 부수적인 이점으로 퍼즐 확인도 더 빠릅니다.

글쎄요, 친구 여러분, 많은 정보를 얻은 후에 모든 것을 요약 할 것을 제안합니다. 그래서..

☯️요약:

우리의 논의를 바탕으로 AleoBFT 는 지분 증명 최종성과 강력한 작업 증명 인센티브 메커니즘을 결합한 새로운 합의 메커니즘입니다. 우리의 사례를 들어보면 코인베이스 퍼즐은 zkSNARK 증명의 가속화를 자극합니다. Aleo에서 다른 프로그램을 실행하는 데 직접 전송되기 때문에 이 작업이 유용하다고 생각합니다.

이를 바탕으로 이 메커니즘을 통해 비용과 애플리케이션 대기 시간을 줄임으로써 Aleo 사용자에게 도움이 되는 강력한 검증 생태계를 자극할 수 있기를 바랍니다.

동기부여?

그리고 마지막으로 가장 참을성 있는 분들을 위해 희소식을 준비했습니다. 테스트 네트워크의 이 단계가 권장되기 때문입니다. 그리고 이것은 무엇이든 될 수 있습니다(따라서 이 테스트넷을 통과하는 것이 좋습니다).

친구, 나는 이것에 모든 것을 가질 것입니다. 당신에게 봉사하게 되어 기뻤습니다. 다음 호에서 또 만나요!

알레오 :

웹사이트 | 트위터 | 불화 | GitHub