보안 보장
PiNS의 아키텍처는 절대적인 보안, 불변성 및 분산화를 보장하여 단일 개체가 도메인 데이터베이스를 손상시킬 수 없도록 보장합니다.
ZK-SNARK: 암호화 무결성 증명
표준 데이터베이스 시스템에서는 레코드를 수정하지 않으려면 데이터베이스 관리자(또는 시퀀서)를 신뢰해야 합니다. PiNS에서는 신뢰가 수학으로 대체됩니다.
- Arbitrum 스마트 계약은 유효한 ZK 증명이 수반되는 경우에만 루트 업데이트를 허용합니다.
- zkVM Rust 게스트 프로그램은 도메인 소유권과 거래 규칙을 엄격하게 시행하기 때문에 시퀀서가 도메인을 다른 소유자에게 임의로 할당하거나 서명 없이 주소를 수정하거나 목록을 이중으로 지출할 수 없습니다**. 시도하면 ZK 증명 생성이 실패하고 Arbitrum 계약은 업데이트를 거부합니다.
소버린 롤업 모델
PiNS는 개념적으로 ZK-Rollup과 동일합니다.
- 데이터 가용성: 원시 거래 데이터는 PIVX에 보관되어 PIVX의 기본 보안 및 불변성을 누릴 수 있습니다.
- 실행: 처리는 SP1 zkVM 오프체인으로 오프로드됩니다.
- 정산: Arbitrum은 상태 루트를 고정하는 매우 효율적인 합의 조정자 역할을 하며 밀리초 단위로 수학을 확인합니다.
합의 유지(분할 브레인 문제 해결)
분산 시스템의 일반적인 문제는 서로 다른 서버가 동일한 도메인에 대해 서로 다른 대상 주소를 표시하는 "분할 브레인"입니다. PiNS는 Arbitrum 체크포인트를 사용하여 이 문제를 해결합니다.
- Arbitrum 계약의 모든 확인된 상태 루트 업데이트는 그것이 나타내는 정확한 PIVX 블록 높이에 매핑됩니다.
- 인덱서는 이 특정 블록 높이에 동기화하고 자체 로컬 머클 트리를 계산합니다.
- 인덱서의 로컬 루트가 계약의 체크포인트와 다른 경우 인덱서는 트랜잭션이 누락되었거나 데이터가 순서대로 처리되지 않았거나 데이터베이스 오류가 발생했음을 즉시 알 수 있습니다.
- 그런 다음 인덱서는 확인된 기록과 안전하게 다시 동기화하여 모든 확인자가 전체적으로 단일하고 일관된 상태를 유지하도록 보장할 수 있습니다.
무신뢰 감사(외부 감사)
모든 원시 거래 데이터는 공용 PIVX 블록체인에 기록되고 게스트 프로그램 규칙은 오픈 소스이므로 시스템은 완전히 감사가 없고 투명합니다.
- 인증 키(vkey) 보증: 누구나 오픈 소스 Rust 게스트 프로그램을 다운로드하고, 표준 SP1 도구를 사용하여 로컬로 컴파일하고, 생성된
vkey이PiNSAnchor스마트 계약에 저장된programVkey과 일치하는지 확인할 수 있습니다. 이는 스마트 계약이 숨겨진 허점이나 백도어 없이 정확하고 수정되지 않은 프로토콜 규칙을 시행하고 있음을 증명합니다. - 상태 전환 확인: 누구나 PiNS Genesis 블록에서 PIVX 블록체인을 스캔하고 모든 이름 서비스 트랜잭션을 추출한 후 로컬 게스트 프로그램을 통해 실행할 수 있습니다.
- 상태 루트 일치: 트랜잭션을 재생함으로써 로컬 인덱서는 Arbitrum 스마트 계약에 기록된 확인된 루트와 일치하는 머클 루트를 계산합니다.
- 상태 확인: 이를 통해 제3자, 개발자 또는 감사자는 이름 지정 서비스가 유효하고 안전하며 생성 이후 변조되지 않았음을 암호화 방식으로 증명할 수 있습니다.
이것이 비스마트 계약 체인을 위한 최고의 솔루션인 이유
스마트 계약보다 보안과 거래 속도를 우선시하는 비트코인이나 PIVX 같은 블록체인의 경우 복잡한 앱을 기본적으로 구축하는 것은 불가능합니다. 표준 대안은 단일 실패 지점과 검열을 도입하는 신뢰할 수 있는 중앙 집중식 서버를 사용하는 것입니다.
PiNS는 세 번째 방법인 영지식 검증을 통한 분산형 오프체인 실행을 제공합니다. PIVX의 핵심 프로토콜을 변경하지 않고 PIVX에 EVM 수준의 보안 및 명명 기능을 제공하여 사용자 개인 키를 안전하게 유지하고 절대적인 분산 소유권을 유지합니다.