AO 초병렬 컴퓨터에서 PADO 검증 가능한 비밀 계산 활성화
PADO와 AO는 zkFHE 기술을 통해 블록체인 애플리케이션의 기밀성과 무결성을 완전히 변화시키며, 검증 가능한 비밀 계산을 이끌고 실현할 것입니다.PADO와 AO는 zkFHE 기술을 통해 블록체인의 기밀성과 무결성을 근본적으로 변화시키는 검증 가능한 기밀 계산(VCC)을 공동으로 시작했습니다. zkFHE는 완전 동형 암호화(FHE)와 제로 지식(ZK) 증명을 결합하여 개인 정보 보호, 계산 무결성 및 범용 계산을 보장합니다. AO 및 Arweave 네트워크와 원활하게 통합된 PADO의 zkFHE 네트워크는 AO 생태계의 효율성, 확장성 및 포괄적인 개인 정보 보호를 보장합니다.
PADO와 AO는 zkFHE 기술을 통해 블록체인 애플리케이션의 기밀성과 무결성을 근본적으로 변화시키는 검증 가능한 기밀 계산(Verifiable Confidential Computation)을 공동으로 이끌고 실현할 것입니다. 우리는 PADO의 검증 가능한 기밀 계산이 초병렬 컴퓨터 AO의 기반 위에 구축될 것이며, zkFHE 기술이 주도하는 기밀 계산의 잠재력을 보여줄 수 있게 되어 기쁩니다.
zkFHE란 무엇인가?
완전 동형 암호화(FHE) 알고리즘은 암호화된 데이터에 대해 임의의 유형의 계산을 수행할 수 있게 해주므로, 계산 능력이 부족하면서 개인 정보를 암호화한 후 제3자의 계산 능력(예: 클라우드 서비스)을 통해 계산하고자 하는 상황에 매우 적합합니다. 이러한 상황은 일반적으로 외주 계산이라고 불립니다. 그러나 단순한 FHE 알고리즘은 제3자의 계산 능력이 수행하는 암호문 연산(동형 연산 기반)이 신뢰할 수 있다는 것을 보장할 수 없습니다. 다시 말해, 누군가가 정직한 모델 추론 결과와 무작위 결과의 차이를 구별할 수 없습니다.
따라서 FHE 외주 계산의 무결성을 보장하고 악의적인 계산 노드를 방지하는 것이 FHE 알고리즘의 대규모 응용을 제약하는 핵심 도전 과제가 됩니다.
제로 지식 증명(ZK) 알고리즘(여기서는 zk-snarks를 지칭)은 주로 확장성(예: zk-rollup) 및 개인 정보 보호에 사용됩니다. 흥미로운 사실은 ZK 알고리즘이 외주 계산 상황에서 개인 정보 보호를 실현할 수 없다는 것입니다. 이는 ZK 시스템의 고유한 보안 특성인 지식의 증명(proof of knowledge)에서 기인합니다. 이는 올바른 ZK 증명을 생성하기 위한 전제 조건이 증명자가 관련 비밀 정보를 얻어야 한다는 것을 의미합니다(이를 "증인(witness)"이라고 부릅니다). 따라서 제3자의 계산 능력은 ZK 증명 계산을 완료하기 위해 사용자의 전체 개인 정보를 알아야 합니다.
zkFHE는 FHE 알고리즘을 기반으로 하여 계산 과정에서 ZK 증명을 동기적으로 수행함으로써 계산 과정의 무결성과 신뢰성을 보장하며, 개인 정보 유출에 대한 걱정도 필요 없습니다. zkFHE는 ZKP와 FHE 두 가지 최전선 암호학 원리를 유기적으로 결합한 새로운 암호학 기술로, 두 가지의 장점을 상호 보완하여 진정한 검증 가능한 외주 계산을 제공할 수 있습니다.
요약하자면, 개인 데이터 계산 측면에서 zkFHE의 핵심 장점은 다음과 같습니다:
개인 정보 친화적
계산 검증 가능성
범용 계산 지원
따라서 우리는 zkFHE가 Web3 시대의 검증 가능한 데이터 경제를 구축하는 기본 기술이라고 생각합니다.
AO에서 zkFHE 구현하기
zkFHE 기술을 기반으로 우리는 신뢰가 필요 없는 검증 가능한 기밀 계산 시장을 만들 수 있으며, 최종 사용자에게 임의의 유형의 데이터 계산을 제공하면서 사용자 민감 정보 유출에 대한 걱정이 필요 없습니다. 이러한 뛰어난 보안 특성은 전적으로 암호학에 의해 보장됩니다. 다음 질문은 이러한 계산 시장을 탈중앙화되고 확장 가능한 방식으로 실제로 조립하기 위해 어떤 기반 시설과 하위 구성 요소가 필요한가입니다.
PADO의 대답은 AO 초병렬 컴퓨터를 기반으로 구축하는 것입니다. 이론적으로 AO는 노드의 수평 확장을 통해 거의 무한한 계산 능력(실제 상황에서는 네트워크 인센티브 수준에 따라 달라져야 함)과 더 높은 자유도를 제공할 수 있으며, 아키텍처적으로 AO는 데이터 처리 방식과 메시지 표현을 규정하고 세 개의 네트워크 단위(서브넷)를 통해 정보의 정렬, 스케줄링 및 계산을 완료하며, 서로 다른 단위의 기능을 규정합니다. AO 프로세스의 상태 데이터는 Arweave 블록체인에 저장되며 이미 합의에 의해 확인되어, AO의 탈중앙화 및 검증 가능성에 좋은 기반을 제공합니다. AO 설계에서 계산과 저장의 합의는 분리되어 있어 높은 수준의 확장 가능한 계산 능력을 실현할 수 있습니다.
PADO는 AO를 기반으로 점진적으로 탈중앙화된 계산 단위를 구축하여 AO 생태계에 신뢰가 필요 없는 기밀 계산 능력을 제공하며, PADO는 또한 빠른 네트워크 시작 및 수평 확장의 잠재력을 실현합니다. 더 중요한 것은 PADO가 Arweave 블록체인을 사용자 개인 데이터 저장층으로 사용하여, 사용자가 PADO의 zkFHE 기술을 통해 자신의 데이터를 암호화한 후 안전하게 Arweave 블록체인에 저장할 수 있으며, AO 생태계 내의 모든 계산 요청은 AO 스케줄링 단위를 통해 PADO 전용 계산 단위로 전송될 수 있고, 계산 단위는 zkFHE 계산 노드에 계산 작업을 하달합니다. 이러한 계산 노드는 Arweave에서 사용자의 암호문 데이터를 읽은 후, 해당하는 완전 동형 계산 및 계산 무결성 증명을 완료합니다.
zkFHE의 응용
zkFHE는 모든 유형의 암호문 계산을 지원할 수 있으며, 현재 블록체인 애플리케이션의 개인 정보 제한을 깨뜨려 더 넓고 풍부한 장면을 실현할 수 있습니다. zkFHE의 전형적인 응용 분야에는 결제, 투표, 경매, MEV, 콘텐츠 공유, 개인 정보 보호 AI 등 많은 분야가 포함됩니다.
PADO와 AO가 공동으로 추진하는 계산 진화
zkFHE는 획기적인 최전선 암호학 기술로, 단순히 zkSNARKs와 FHE 두 가지 알고리즘을 연결하는 것이 아니라, 기본 암호 프로토콜에서 재설계 및 최적화를 통해 현재 선도적인 FHE 알고리즘과 동등한 효율의 계산 및 증명 출력을 실현해야 합니다.
AO와 Arweave의 계산 및 저장 아키텍처와 유기적으로 결합하여 PADO는 엔지니어링적으로 zkFHE 네트워크를 빠르게 시작할 수 있으며, 계산, 스케줄링 및 저장이 상대적으로 독립적이고, 계산 능력은 무한히 확장 가능합니다. 한편, AO 생태계는 PADO의 zkFHE 기술을 통해 고성능의 기밀 계산 및 범용 개인 정보 보호 능력을 얻을 수 있습니다.
PADO는 개인 데이터 주권을 위한 암호학 기반 인프라 구축에 오랫동안 헌신해 왔습니다. 현재 개인 데이터 주권은 매우 초기 단계에 있으며, 긴 탐색과 검증 과정을 거쳐야 하며, Web3 프로젝트가 비금융 분야 프로젝트로 나아가는 데 중요한 역할을 할 것입니다. 우리는 AO 초병렬 컴퓨터와의 결합이 개인 데이터 주권 및 검증 가능한 데이터 경제의 구축 주기를 크게 가속화할 것이라고 믿습니다.
미래의 모든 사용자가 블록체인과 암호학을 통해 자신의 데이터 주권을 보장할 수 있기를 바랍니다.
AO에 대하여
AO는 "초병렬 컴퓨터"로, 핵심 목표는 신뢰와 협력이 필요 없는 계산 서비스를 제공하는 것입니다. 실제 규모의 제한이 없습니다. AO는 블록체인 네트워크의 신뢰 최소화 장점과 보다 전통적인 계산 환경의 속도 및 확장성을 결합합니다.
AO는 분산 계산 시스템과의 몇 가지 핵심 특징에서 차별화되며, 여기에는 병렬 처리, 무한 계산, Arweave의 읽기/쓰기, 자율 프로세스 및 모듈화 아키텍처가 포함됩니다.
자세한 내용은 https://ao.arweave.dev를 방문해 주십시오.
PADO에 대하여
PADO는 세계 최초의 zkFHE 탈중앙화 계산 네트워크를 구축하여 암호학을 통해 데이터와 계산 가치를 해방하는 데 전념하고 있습니다.
PADO는 MPC-TLS 및 IZK 기술을 활용하여 네트워크 데이터 소스에서 개인 데이터를 검증하고 스마트 계약 기능을 확장합니다. 개인 데이터의 계산 측면에서 PADO는 zkFHE와 같은 범용 계산 기술과 결합하여 대량 데이터에서 검증 가능한 기밀 계산 패러다임을 실현했습니다.
자세한 내용은 https://padolabs.org를 방문해 주십시오.
