Hardcore는 1000개의 병렬 체인으로 PoW 퍼블릭 체인 Kadena를 분해합니다.

巴韭特的晚餐

特邀专栏作者

2019-12-20 11:53 (UTC+8)

이 기사는 약 2867자로, 전체를 읽는 데 약 5분이 소요됩니다

퍼블릭 체인과 얼라이언스 체인의 결합? PC로 채굴할 수 있는 PoW 체인?

AI 요약

펼치기

퍼블릭 체인과 얼라이언스 체인의 결합? PC로 채굴할 수 있는 PoW 체인?

편집자 주: 이 기사의 출처는편집자 주: 이 기사의 출처는바주트의 만찬 (ID: gh_b9d8f3e895ea)

, 저자: Ba Jiute, 승인을 받아 Odaily에서 재인쇄함.

최근 컴플라이언스 플랫폼인 코인리스트(Coinlist)에 공개된 카데나(Kadena)가 메인 네트워크를 런칭했습니다 카데나는 매우 독특한 프로젝트로 멀티코인 캐피털(Multicoin Capital), 메타스테이블(Mestable), SVangel, 스칼라 캐피탈(Scalar Capital) 등 유명 펀드로부터 투자를 받았습니다. .

Kadena와 현재의 모든 퍼블릭 체인의 차이점은 단순히 퍼블릭 체인이 아니라 퍼블릭 체인과 얼라이언스 체인/프라이빗 체인을 상호 연결할 수 있는 블록체인 네트워크라는 것입니다.

의문을 품고 그들의 백서와 일부 사회정보를 읽고 이 글을 작성하게 되었습니다.

보조 제목

카데나란?

Kadena는 Alliance Chain/Private Chain과 다른 퍼블릭 체인을 상호 연결할 수 있는 블록체인 네트워크입니다. ScalableBFT 합의 프로토콜을 기반으로 Turing-incomplete, 단순하고 읽기 쉬운 스마트 계약 언어 Pact를 개발했습니다.

현재 대부분의 주류 퍼블릭 체인이 PoS 합의를 채택하고 있는 상황에서 Kadena는 Nervos 및 Conflux와 개념 및 특성이 유사한 것으로 보이는 PoW를 선택했습니다. 🤔

Turing의 불완전한 Pact 스마트 계약 언어는 더욱 흥미롭고 관계자는 사람이 읽을 수 있는 계약 언어라고 말했습니다.

Kadena는 Chainweb과 Pact를 통해 제휴 체인과 퍼블릭 체인을 연결하고 상호 호출을 지원하여 제휴 체인을 크로스체인 시스템으로 통합하는 데 앞장서고 있습니다.

체인웹이란?

이미지 설명

출처: Chainweb 프로토콜 보안 컴퓨팅 백서

백서의 설명에 따르면 Chainweb은 확장 가능합니다.병렬 체인이 증가함에 따라 초당 처리 용량도 증가합니다.이러한 아키텍처 Chainweb은 최소 1,250개의 체인으로 성장할 수 있는 잠재력이 있으며 TPS는 더 많이 도달할 수 있습니다. 10,000 이상.

보조 제목

Chainweb은 어떻게 높은 TPS를 달성합니까?

Chainweb의 디자인은 Bitcoin의 Simple Payment Verification(SPV 또는 Simplified Payment Verification)을 사용합니다.네트워크의 각 병렬 체인은 동일한 암호화폐(KDA)를 채굴합니다.이 암호화폐는 스마트 계약 수준을 통해 신뢰할 수 없고 단순할 수 있습니다.결제 검증(SPV) )는 자금과 문자열 트랜잭션을 함께 이체하는 데 사용됩니다.

SPV가 무엇인지 간단히 설명해주세요.

전체 네트워크 노드를 실행하지 않고도 지불을 확인할 수 있습니다. 사용자는 가장 긴 작업 증명 체인의 블록 헤더 사본을 보관해야 하며, 가장 긴 체인을 가지고 있다고 확신하고 시간이라는 머클 분기를 통해 연결할 수 있을 때까지 네트워크에 계속 요청할 수 있습니다. -stamped 및 블록에 포함된 트랜잭션.

이미지 설명

출처: 비트코인 백서

이미지 설명

원천:https://explorer.chainweb.com/mainnet

원천:

이 사진을 예로 들어 블록 높이가 "145676"인 트랜잭션을 차단한 Chain4는 기본적으로 이전 블록인 Chian1, Chain2, Chain4, Chain9의 정보를 동기화하여 자체 체인과 3개의 병렬 체인을 포함합니다. , 다른 3개의 병렬 체인은 이전 블록의 4개의 병렬 체인의 블록 헤더 정보를 동기화하여 10개의 병렬 체인의 블록 헤더 정보가 검증과 동일합니다.

물론 각 체인에 몇 개의 노드가 있는지와 같은 몇 가지 질문도 있었습니다. 병렬 블록 생성은 각 체인의 보안을 어떻게 보장합니까? 🤔

보조 제목

이미지 설명

원천:https://pact.kadena.io/

원천:

Pact는 퍼블릭 체인에만 적용되는 것이 아니라 블록체인에 직접적이고 명확하게 스마트 계약을 작성할 수 있는 기업에게도 개방될 것입니다.

관계자들은 Pact의 설계가 Bitcoin 및 Ethereum과 같은 기존 스마트 계약과 저장된 절차 언어, SQL 및 LISP의 이점을 얻는다고 말합니다. 그들은 Turing 완전성이 Ethereum의 Dao 해킹 이벤트와 같은 많은 잠재적 위험을 가져올 것이라고 믿습니다.

Pact는 Turing-incomplete이므로 재귀 버그 및 관련 잘못된 사용 패턴을 방지하는 데 도움이 됩니다. Pact에서 감지된 재귀는 즉시 오류를 발생시키고 실행 중인 모든 코드를 종료합니다. 이 기능은 스마트 계약에 존재할 수 있는 잠재적인 공격을 크게 줄일 수 있습니다.

현재 Pact는 Tendermint 프로토콜을 기반으로 Cosmos용 Kadenamint의 Pact 버전을 구축했으며 이는 향후 Kadena와 Cosmos 사이의 다리가 될 것입니다. 동시에 Pact를 Polkadot 생태계에 통합하는 연구를 위해 Web3 Foundation과 계약을 체결했습니다.

흥미롭게도 Kadena의 전체 아키텍처는 주로 Haskell 프로그래밍 언어로 작성됩니다.Haskell은 비교적 작은 언어이지만 사용해본 많은 엔지니어가 적극 권장합니다.

그에게 Kadena 프로젝트에 대해 이야기했을 때 그는 Kadena가 Haskell 언어를 사용한다는 사실을 알고 매우 기뻐했으며 Kadena가 매우 강력할 Z3 정리 증명기를 도입했다고 말했습니다. (참고: Z3는 Microsoft Research에서 개발한 고성능 정리 증명 프로그램입니다.)