퍼블릭 체인은 전략가들의 전쟁터가 되었습니다.

거래소, 지갑 등 물 배달 산업이 부상하고 있어 기회를 찾기 어렵다. 퍼블릭 체인도 다르지 않습니다. 수많은 사람들이 오늘날의 블록체인 분야는 1990년대의 인터넷과 같다고 말했습니다. 모두가 프로토콜과 운영 체제가 되기를 원합니다.

PC 시대에 Microsoft는 업계에서 지배적인 플레이어가 되었습니다. 모바일 인터넷 시대 구글은 시가총액 1위다. 미래에 어떤 시나리오가 체인으로 옮겨질 때 미래가 있을지, 심지어 블록체인에 미래가 있을지 예측할 수 없을 수도 있습니다. 그러나 우리가 확신할 수 있는 것은 블록체인이 정말로 인터넷에 가치를 가져올 수 있다면 그러한 임무를 수행할 수 있는 퍼블릭 체인이 필요하다는 것입니다.

하지만 아직까지 이런 퍼블릭 체인이 등장하지 않은 것이 현실이다.

EOS는 기대가 크지만 메인넷이 런칭한 지 얼마 안 된 지금 상황을 판단하기는 이르다. 현재 관점에서 보면 확장성, 보안성, 탈중앙화이 블록체인의 "불가능한 삼각형", 여전히 완전히 해결되지 않았습니다. 일반적으로 현재 일반적인 방법은 다음과 같습니다: 하나는 Hyperledger의 PBFT, EOS의 DPoS와 같이 종종 일부 탈 중앙화를 희생하는 합의 메커니즘을 변경하는 것이고 다른 하나는 IOTA, byteball과 같은 네트워크 구조를 변경하는 것입니다. 블록체인과 다른 DAG(directed acyclic graph) 데이터 구조, 세 번째는 서브체인/사이드체인, 체인 아래의 상태 채널, 심지어 크로스체인 미들웨어 등 오프체인 솔루션을 직접 사용하는 것이다. 네 번째 유형은 조각화입니다.

, 네트워크의 노드를 서로 다른 샤드로 나누고 각 샤드는 서로 다른 트랜잭션을 병렬로 처리할 수 있으므로 서로 연결되지 않은 트랜잭션을 병렬로 처리하여 네트워크 동시성을 높일 수 있습니다. 조각화 방식의 특징은 노드 수가 증가할수록 네트워크 처리량도 증가한다는 것입니다.

기본 아이디어는, 네트워크의 노드를 서로 다른 샤드로 나누고 각 샤드는 서로 다른 트랜잭션을 병렬로 처리할 수 있으므로 서로 연결되지 않은 트랜잭션을 병렬로 처리하여 네트워크 동시성을 높일 수 있습니다. 조각화 방식의 특징은 노드 수가 증가할수록 네트워크 처리량도 증가한다는 것입니다.

그러나이 기술에는 특정 복잡성이 있으며 특정 구현에서 해결해야 할 많은 문제가 있으며 실제로 샤딩 체계를 구현 한 프로젝트는 거의 없습니다.암호화폐 중 시가총액 21위까지 오른 적도 있다.암호화폐 중 시가총액 21위까지 오른 적도 있다.。

최근 Odaily는 Zilliqa의 공동 창립자이자 기술 이사인 Jia Yaoqi를 인터뷰하여 Zilliqa의 진행 상황, 향후 계획, 다양한 블록체인 확장 솔루션의 장단점, 업계에 대한 그의 견해를 공유했습니다.

데이터 베이스데이터 베이스, 데이터베이스를 여러 슬라이스로 나누고 이러한 슬라이스를 서로 다른 저장 장치(파티션)에 배치하여 각 파티션의 데이터 양이 상대적으로 훨씬 적어 시스템의 성능 요구 사항을 충족합니다.업계 관계자는 샤딩이 시스템 성능과 확장성(Scalability)을 향상시키지만 동시에 시스템 개발을 더욱 복잡하게 만든다고 믿고 있습니다. 예를 들어 두 레코드가 서로 다른 서버에 있는 경우 연결을 설정해야 하는 경우 "연결"을 나타내는 레코드를 두 파티션 각각에 배치해야 할 가능성이 높습니다. 또한 데이터 파티션 전체에서 트랜잭션을 처리해야 하는 경우 성능이 크게 저하됩니다. 이를 이해하면 블록체인 분야에서 샤딩을 구현할 때 해결해야 할 문제를 더 잘 이해할 수 있을 것입니다.

Zilliqa의 블록체인 샤딩에 대한 연구는 2015년 싱가포르 국립 대학교의 교사이자 학생인 Prateek Saxena와 Loi Luu가 최고의 국제 보안 컨퍼런스 CCS에서 샤딩에 관한 논문을 발표하면서 시작되었습니다.개방형 블록체인을 위한 안전한 샤딩 프로토콜인터뷰 내용에 따라 질의응답 형식으로 내용을 정리하면 다음과 같다.

*이 기사는 주로 다음 현상 수준의 퍼블릭 체인, 기본 설계, 합의 메커니즘 등의 더 많은 가능성을 탐색하기 위한 것입니다. 프로젝트가 아직 초기 단계에 있고 시장이 아직 성숙하지 않았기 때문에 Odaily는 프로젝트를 보증하지 않습니다. 이 기사에는 투자 지침이 없습니다.

인터뷰 내용에 따라 질의응답 형식으로 내용을 정리하면 다음과 같다.

오데일리: 질리카에서 사용하는 샤딩 전략은 무엇입니까? 샤딩 기술은 어떻게 구현됩니까?

Jia Yaoqi: Zilliqa의 샤딩 기술은 다음과 같이 간단한 방법으로 이해할 수 있습니다. 1,000개의 노드가 있는 네트워크가 있다고 가정하면 Zilliqa는 자동으로 네트워크를 각각 100개의 노드가 있는 10개의 샤드로 나누고 모든 샤드 트랜잭션을 병렬로 처리할 수 있습니다. 각 샤드가 초당 n개의 서로 다른 트랜잭션을 처리할 수 있는 경우 모든 샤드는 초당 10n개의 트랜잭션을 함께 처리할 수 있습니다. 이는 수평적 확장 방식 즉, 노드 수가 증가함에 따라 네트워크 처리량이 선형적으로 증가하는 방식으로 다른 확장 방식에는 없는 특징입니다.

현재 수행 중인 샤드에는 다음이 포함됩니다.네트워크 샤딩, 트랜잭션 샤딩, 스마트 계약 샤딩 또는 컴퓨팅 샤딩.

다른 샤딩 메커니즘이 네트워크 샤딩 위에 구축되기 때문에 이들 중 가장 중요한 것은 네트워크 샤딩입니다. 이해하기 쉬운,네트워크 조각화전체 네트워크를 그룹화하는 것으로 각 그룹을 샤드(shard)라고 하며 모든 샤드는 동시에 서로 다른 트랜잭션을 처리합니다. 이 과정에서 네트워크와 샤드를 지속적으로 새로 고쳐 보안을 보장합니다. 동시에 CCS Security Conference에서 발표된 우리의 논문에 따르면 샤드당 노드 수가 600개 이상일 때 그 중 1/3이 악성일 확률은 백만 분의 1입니다.

트랜잭션이 네트워크에 들어올 때마다 트랜잭션 발신자의 주소에 따라 특정 작업을 수행하고 무작위로 다른 샤드에 할당합니다.이 프로세스를 호출합니다.트랜잭션 샤딩. 각 샤드의 노드는 자신의 샤드에 속하지 않은 트랜잭션 실행을 거부하고 트랜잭션 처리의 보안도 보장하기 때문에 이러한 트랜잭션이 특정 샤드에 들어가기 위해 독립적으로 선택할 수 없다는 점은 주목할 가치가 있습니다.

현재 네트워크 샤딩 및 트랜잭션 샤딩을 성공적으로 구현했으며 이달 말 공개 테스트 네트워크 버전 2.0을 출시할 예정입니다.이 버전의 공개 테스트 네트워크에서는 일반 사용자가 네트워크에 노드로 참여하고 채굴자가 될 수 있습니다 .

Odaily: 순수한 샤딩 기술 자체가 트랜잭션의 높은 처리량을 보장할 수 없다는 것을 알고 있습니다. 처리량은 각 샤드의 단일 시간과 블록 생성 속도에 따라 달라지기 때문입니다. Zilliqa에서 사용하는 합의 메커니즘은 무엇입니까?

Jia Yaoqi: Zilliqa는 PoW+PBFT 하이브리드 메커니즘을 사용합니다.

퍼블릭 체인에서 악의적인 노드는 여러 노드를 조작하여 시스템을 방해하고 대부분의 노드를 기반으로 하는 의사 결정 프로세스에 영향을 미칠 수 있습니다. 이것이 일반적으로 시빌 공격이라고 하는 것입니다. Sybil 공격을 비용이 많이 들거나 어렵게 만드는 방법에는 여러 가지가 있습니다. 예를 들어, 노드가 상당한 양의 돈(또는 토큰)을 담보로 예치하도록 요구하거나 PoW와 같은 계산 집약적인 작업을 수행하도록 요구합니다.

질리카 네트워크의 보안을 보장하기 위해 우리는 질리카에 합류하는 모든 노드가 PoW를 수행하도록 요구합니다. 동시에 계산 집약적인 PoW는 계산에 많은 시간이 필요하고 합의 프로토콜을 느리게 할 수 있으며 많은 에너지를 소비한다는 것도 알고 있습니다. 따라서 Zilliqa에서 PoW는 더 큰 간격으로 실행됩니다. 즉, 모든 노드가 네트워크에 참여하고 때때로 PoW를 수행합니다. 나머지 시간 동안 질리카는 합의를 달성하기 위해 pBFT 공식 메커니즘을 사용합니다.

Odaily: PBFT 합의 프로토콜은 일반적으로 50개 미만의 노드와 같은 더 작은 합의 그룹에서 구현되므로 동맹 체인에 더 적합하다고 종종 말합니다. Zilliqa는 이 문제에 대해 어떻게 생각합니까?

Jia Yaoqi: 방금 Zilliqa가 샤딩 기술과 PoW를 통해 네트워크의 보안을 보장한다고 언급했습니다. 그러나 PoW는 시간이 오래 걸리고 확인이 느리며 에너지 소모가 많다는 단점이 있습니다. 따라서 Zilliqa는 합의를 위해 pBFT를 선택했으며 주요 고려 사항은 다음과 같습니다. 확인이 필요하며 트랜잭션 최종성을 제공합니다. 즉, Bitcoin과 같이 일반적으로 여러 확인 블록이 필요한 PoW 기반의 Nakamoto 합의 메커니즘과 달리 최소 6 확인이 필요하지만 pBFT는 합의 프로토콜이 일시적인 분기가 발생하지 않도록 보장하기 때문에 확인이 필요하지 않습니다.

많은 사람들이 pBFT가 컨소시엄 체인에서 주로 사용되는 큰 이유는 pBFT 합의에서 노드 간의 통신 비용이 높기 때문입니다. 예를 들어, n개의 노드로 구성된 네트워크에서 pBFT를 사용하여 합의에 도달하는 데 필요한 총 통신 수는 n의 2차 수준인 n(n-1)/2이며, 노드 수가 50을 초과하면 이는 매우 큰 숫자가 올라가고, n이 클수록 통신비가 더 빨리 오른다. 이 문제를 해결하기 위해 Zilliqa는다중 서명 알고리즘그리고 pBFT가 소비하는 통신 비용을 줄이기 위한 다른 성능 최적화 방법도 있습니다.

Odaily: 샤딩 실행에서 해결해야 할 문제나 어려움은 무엇이라고 생각하십니까?

Jia Yaoqi: 샤딩 기술의 원리는 간단해 보이지만 실제 구현 과정에서 다음과 같은 주요 문제에 주의를 기울여야 합니다.

1. 마녀 공격에 대한 방어.이 문제는 위에서 이미 언급한 바 있으며, 이를 방지하기 위해 PoW를 사용하더라도 여기서는 자세히 다루지 않겠습니다.

2. 샤드를 생성하고 노드 및 작업을 샤드에 할당합니다.예를 들어, 각 노드가 어떤 샤드를 선택하는지, 일정 시간이 지난 후 전체 네트워크에는 이전 노드가 떠나고 새로운 노드가 합류해야 하는지, 이러한 이전 노드와 새 노드의 동적 교환을 실현하는 방법, 각 샤드의 노드가 있습니다. 트랜잭션을 처리하는 것뿐만 아니라 프로토콜 제어를 달성하고 고효율을 달성하는 방법 등 각 노드가 할당된 위치는 특정 사람이나 그룹이 제어할 수 없습니다. 그 사람들이 악의적이라고 결정하면 모든 악의적인 노드를 단일 샤드에 집중시켜 네트워크의 보안을 손상시킬 수 있기 때문입니다. 앞서 언급했듯이 Zilliqa는 랜덤 샤딩 및 동적 셔플링을 사용하여 네트워크의 유동성과 보안을 보장합니다.

3. 조각 크기.샤드의 노드 수가 적을수록 합의에 더 빨리 도달하고 효율성이 높아집니다. 그러나 동시에 샤드의 노드 수가 너무 적으면 공격자가 이를 제어하기가 더 쉬워집니다. 그리고 매번 샤드의 노드가 오프라인 상태가 되거나 오랫동안 연락이 되지 않으면 샤드의 총 노드 수가 더 줄어들고 보안을 보장할 수 없습니다. 앞서 언급했듯이 각 샤드의 노드 수가 600개 이상일 때 보안과 효율성의 균형이 더 잘 잡힐 수 있음을 논문을 통해 증명했습니다.

4. 칩 간 거래.블록체인 분야의 기술 전문가와 엔지니어는 일반적으로 크로스 샤드 트랜잭션이 잠금 프로토콜을 필요로 하기 때문에 오버헤드 비용이 높고 크로스 샤드 트랜잭션 수가 증가하면 전체 네트워크의 처리량과 경제적 이점에 영향을 미칠 것이라고 생각합니다.

우리는 현재 이 문제를 두 가지 방법으로 처리하고 있습니다: 한편으로는 샤딩 설계 초기에 교차 샤드 트랜잭션을 피하려고 합니다. 이것은 또한 지난 몇 년 동안 우리가 연구해 온 방향 중 하나입니다. 또한, 우리는 여전히 다른 많은 대안을 연구하고 있으며 상대적으로 우수한 솔루션을 구현한 후에 세부 정보를 공유할 것입니다.

오데일리: 현재 많은 블록체인 프로젝트에서도 샤딩 기술의 사용을 고려하고 있는데, 업계에서 샤딩 기술을 구현하는 것에 대해 어떻게 생각하십니까?

Jia Yaoqi: 요즘 샤딩 기술은 "어디에서나 꽃을 피우고 있습니다". 이는 샤딩 기술이 점점 더 블록체인 확장을 해결하는 주류 기술이 되었음을 보여줍니다. 한편, 샤딩 기술에 대한 목소리가 계속해서 향상됨에 따라 점점 더 많은 커뮤니티 구성원이 샤딩 기술에 관심을 갖고 지원하기 시작했습니다.

샤딩 기술은 실제로 매우 어려운 기술이라고 말해야 합니다. 이것이 시장에서 샤딩을 한다고 주장하는 많은 프로젝트가 있지만 실제로 수행하는 프로젝트는 거의 없는 근본적인 이유입니다. 그 이유는 샤딩 기술의 보안 요구 사항이 매우 높기 때문입니다. 이 시장에는 여전히 약간의 혼란이 있다고 생각합니다.

하나는 TPS 경쟁의 함정에 빠져 가장 중요한 보안을 무시하는 것이다.작년 Taobao의 Double Eleven 거래의 최고 TPS가 초당 256,000이라는 것은 모두가 알고 있습니다. 이는 수년 동안 개발된 중앙 집중식 시스템의 처리 속도입니다. 블록체인은 신흥 기술이며 개발 수준은 중앙 집중식 시스템보다 훨씬 덜 성숙하고 고급입니다.현재 잘 알려진 비트 및 에테르의 TPS는 30을 초과하지 않습니다. 따라서 많은 프로젝트가 이 단계에서 주로 대중의 관심을 끌기 위해 수십만, 수백만 또는 수천만 TPS를 체인에 요구하지만 탈중앙화 및 보안의 기본 요소는 무시합니다.

두 번째는 이를 뒷받침할 수학적 계산이나 발표된 논문이 없고, 전제와 결론이 성급하고 엄격하지 않다는 점이다.샤딩은 "분할 정복"이라고도 하며 "분리"뿐만 아니라 샤딩하는 동안 보안을 보장하는 "거버넌스"에도 중점을 둡니다. 샤딩 기술은 전통적인 분야에서는 오랜 역사를 가지고 있지만 블록체인에서는 새롭게 떠오르는 기술로, 개념적으로는 다소 비슷하지만 작동 방식은 완전히 다릅니다. 따라서 블록체인의 샤딩 기술을 당연하게 여기고 각 샤드에 몇 개의 노드를 배치하여 프로세스가 완료되었다고 생각하면 실제로는 악의적인 노드가 쉽게 발생하여 다음과 같은 악의적인 작업을 통해 많은 피해를 입힐 수 있습니다. 일련의 취약점이 존재하며, 이러한 악의적인 거래로 인한 문제를 줄이기 위해 사후 검증 또는 롤백이 어렵다.

세 번째는 전문적이지 않은 대규모 테스트 없이 쉽게 결론을 도출하는 것입니다.컴퓨터 대역폭이 제약 조건이 아닌 경우Ethereum은 수만 또는 심지어 실행될 수 있습니다.백만 TPS하지만 이더리움은 실생활에서 그렇게 높은 TPS를 달성하지 못하는데, 그 이유는 실제 네트워크는 수십, 수백 개의 노드가 아니라 수만 개의 노드로 구성되어 있기 때문입니다. 테스트를 위한 노드가 수십 개 또는 100개 또는 200개에 불과한 모든 데이터를 소진할 수 있지만 이러한 데이터는 설득력이 없습니다.

넷째, 일부 방법은 실제 단편화로 간주되지 않을 수 있습니다.현재 샤딩은 실제로 매우 뜨거운 주제이며 개인적으로 일부 프로젝트는 실제로 샤딩보다 하위 체인, 상태 채널 또는 레이어에 더 가깝다고 생각합니다.

과학적 수학적 계산이나 출판된 논문의 지원이 없으면 샤딩을 당연시하고 소수의 노드가 이상적인 상태에서 부족한 데이터를 메인 네트워크에서 구현한 데이터로 잘못 간주하여 일부 심각한 보안 결과. . 비교적 경미한 경우 네트워크가 여러 번의 하드포크를 거쳤으며 심한 경우 투자자에게 막대한 손실을 입힐 수 있어 투자자와 블록체인 자체의 발전에 매우 안타까운 일입니다.

오데일리: 현재 샤딩을 사용한다고 주장하는 프로젝트가 상당히 많은데, 방금 언급한 서브체인, 사이드체인, 스테이트 채널 솔루션과 샤딩의 차이점은 무엇이라고 생각하시나요?

Jia Yaoqi: 하위 체인, 사이드 체인 및 상태 채널은 모두 오프체인 확장에 속합니다.핵심 아이디어는 비슷하다고 생각합니다. 메인 체인에. 간단히 비유하자면 체인 A는 광고용, 체인 B는 게임용, 체인 C는 거래용 등으로 사용할 수 있습니다. 샤딩과의 가장 본질적인 차이점은 샤딩은 전체 블록체인 네트워크의 재구성인 온체인 확장이며 노드도 서로 연결되어 있다는 것입니다.

오프체인 확장과 온체인 확장은 서로 충돌하는 것이 아니라 서로를 보완하고 미래에 결합될 수 있다고 생각합니다. 왜냐하면 서로 적용 범위와 초점이 다르기 때문에 블록체인 확장에 중요한 기술 지원을 제공하기 때문입니다. .

Odaily: 즉, 샤딩은 동일한 메인 체인에 있는 노드 또는 트랜잭션의 샤딩이어야 합니다. 동일한 메인 체인에 있기 때문에 모든 노드가 합의에 참여하거나 전체 네트워크의 트랜잭션을 확인해야 합니다. 그렇다면 Zilliqa는 모든 노드가 자체 샤드 합의에 참여하면서 전체 네트워크의 트랜잭션 기록을 확인하거나 확인하는 데 어떻게 참여하는지 확인합니까?

Jia Yaoqi: 별도의 샤드인 DS 위원회가 있어 각 샤드의 결과를 통합하고, 다른 샤드에서 거래 해시를 수집하고, 합의 프로토콜을 수행하고, 해시의 해시를 형성한 다음 이를 방송하고, 다른 노드에서 확인합니다. 서명. 우리의 트랜잭션 확인은 여러 단계로 나누어져 있는데, 하나의 샤드에서 트랜잭션이 확인되면 트랜잭션이 블록체인에 기록될 확률이 높습니다. 최초 확정, 최종 확정되면 최종 확정이라는 알림이 발송됩니다.

또한 제가 말씀드리고 싶은 것은 현재 저희가 하고 있는 것이 state sharding이 아니기 때문에 질리카 네트워크의 각 노드가 풀노드로 오해를 하시는 분들이 계실 수 있으며 이로 인해 정보 저장이 일정 시간이 지나면 손실됩니다. 폭발합니다. 그러나 실제로 Zilliqa 네트워크의 각 노드가 저장해야 하는 것은 모든 거래 내역이 아니라 전체 네트워크의 최신 상태입니다. 물론 노드는 자발적으로 풀 노드 역할을 할 수 있으며 이러한 모든 이력을 저장할 수 있습니다. 이러한 풀노드의 장점 중 하나는 블록탐색기를 제공하고 광고를 통해 수익을 창출하는 EtherScan과 같은 자체 서비스를 제공할 수 있다는 점입니다. 더군다나 앞으로 상태를 서로 다른 샤드로 나누어도 일정한 수준의 저장 용량은 줄어들겠지만 그 차이는 그리 크지 않다. 동시에 스마트 컨트랙트의 탈중앙화 저장을 지원하기 위해 Bluzelle 및 Genaro, 두 개의 분산 저장 회사 및 프로젝트와 협력했습니다.

Odaily: 각 노드는 최신 상태를 동기화해야 하는데, 향후 노드 수가 증가함에 따라 전체 네트워크의 확인 속도에 영향을 미칩니까?

Jia Yaoqi: 이론적으로 Zilliqa의 처리량은 노드 수가 증가함에 따라 증가합니다. 그러나 실제로 노드 수에는 최적의 지점이 있으며 이 지점까지 규모가 증가할 때까지 처리량은 선형적으로 증가합니다.

예를 들어, 20,000개의 노드가 대역폭 제한을 가져와 시스템 처리량이 더 이상 증가할 수 없는 경우 전체 네트워크는 20,000개의 노드로 제한될 수 있습니다. 최신 공개 데이터에 따르면 이더리움에는 현재 16,000개의 노드가 있으며 우리는 여전히 실험을 통해 이 스위트 스팟에 대해 배우고 있습니다.

Odaily: Zilliqa의 최신 테스트 네트워크의 TPS는 무엇입니까?

Jia Yaoqi: 저희 데이터는 지속적으로 업데이트되고 있습니다. 게시된 데이터에서 우리는 1400개의 노드와 6개의 샤드를 사용했으며 약 2800 TPS의 데이터를 실행했습니다. 이상적으로 각 샤드에는 600개의 노드가 있습니다.현재 우리가 임대하는 노드는 연간 수백만 달러의 비용이 드는 AWS 및 EC2이므로 주로 비용 고려 사항 때문에 테스트를 위해 샤드당 200개의 노드를 사용하여 테스트를 수행합니다.

Odaily: Zilliqa는 스마트 계약에 대한 계획이 있습니다 메인넷이 온라인 상태가 되면 스마트 계약 시스템이 제공됩니까? 또 다른 관점은 Zilliqa의 스마트 계약 언어인 Scilla가 튜링 완전하지 않다는 것입니다. 왜 그렇습니까?

Jia Yaoqi: 우리의 로드맵과 마찬가지로 현재 출시된 공개 테스트 네트워크 1.0 버전에는 스마트 계약 레이어가 없으며 공개 테스트 네트워크 2.0 버전은 이달 말에 출시될 예정입니다. 일부 스마트 계약 지원, 3분기 메인 네트워크 출시, 4분기 일부 실용적인 탈중앙화 애플리케이션 출시

종이종이논쟁하다. Scilla는 기본 계산 모델이 통신 오토마타를 기반으로 하는 증거 전달 중간 스마트 계약 언어입니다. 우리는 Scilla를 사용하여 블록체인 플랫폼에서 스마트 계약을 작성하는 것이 더 편리하고 간단하며 안전하고 신뢰할 수 있으며 더 높은 성능을 갖기를 바랍니다.

최근 몇 년 동안 DAO 공격과 패리티 취약점으로 인해 엄청난 양의 자금이 도난당하고 동결되었습니다.중요한 이유는 Solidity가 공식적인 검증이 없고 통신과 계산의 구분이 명확하지 않기 때문입니다. Scilla는 스마트 컨트랙트의 통신 및 운영을 위한 다양한 분리 계층을 제공하고 정식 검증을 지원하며, COQ와 같은 Proof Assistant를 사용하여 개발자가 원하는 로직에 맞는 코드를 작성할 수 있습니다.

Scilla의 비Turing 완전성은 스마트 계약의 보안에 더 관심이 있습니다. 이더리움의 스마트 컨트랙트 언어인 솔리디티는 튜링 완전하지만 가스 비용의 존재로 인해 실제로 배포된 스마트 컨트랙트는 무한 루프가 불가능하므로 튜링 완전이 될 수 없습니다. 우리는 이더리움의 스마트 계약에서 수천 개의 취약점을 발견했습니다. Scilla는 기존 스마트 계약의 허점을 피하기 위해 일부 더 위험한 API 인터페이스 및 기능을 제거했으며 현재 모든 스마트 계약에는 Turing 완전성이 필요하지 않습니다.

우리는 현재 Scilla 언어용 컴파일러를 개발 중이므로 Solidity로 작성된 향후 모든 계약을 컴파일러를 통해 Scilla로 쉽게 전송할 수 있습니다. 동시에 출판도 했습니다.Zilliqa 생태 건설 기금 프로그램, Zilliqa용 도구 및 응용 프로그램을 구축하고 Zilliqa 생태계를 구축하는 우수한 프로젝트, 팀 및 개인에게 500만 달러를 지출하십시오.

Odaily: 현재 시장에 낙관적인 퍼블릭 체인이 있습니까?

Jia Yaoqi: 시장의 각 프로젝트에는 고유한 특징과 특징이 있으며 저는 개인적으로 이더리움을 선호합니다.

오데일리: 그렇게 성숙하고 주류가 아니면 어때요? 일부 기업가 팀에서 수행할 수 있습니다.

Jia Yaoqi: 프로젝트 표준의 경우 저는 개인적으로 혁신과 엄격함을 중시합니다. 엄격함은 발표된 학술 논문의 검증을 의미하며 이론상으로는 통과가 가능합니다. 이를 증명할 엄밀한 문서가 없다면 시스템은 적어도 천 개가 넘는 노드가 있는 테스트 네트워크가 있어야 하고 코드도 공개되어야 더 설득력이 있을 것입니다.

오데일리: 산업 전반의 관점에서 볼 때 국내외 블록체인 분야나 퍼블릭 체인 프로젝트에서 가장 큰 문제는 무엇이라고 생각하시나요?

Jia Yaoqi: 세 가지 주요 문제가 있습니다: 첫 번째는 분산화와 보안을 보장하면서 확장성과 높은 처리량을 달성하는 것, 두 번째는 프라이버시, 세 번째는 기술 직원, 특히 개발자입니다.

저는 Odaily의 편집자 Lu Xiaoming입니다. 실제 블록체인을 탐구하고 있습니다. 속보 및 커뮤니케이션을 위해 WeChat lohiuming을 추가하십시오. 귀하의 이름, 부서, 직위 및 이유를 메모하십시오.

저는 Odaily의 편집자 Lu Xiaoming입니다. 실제 블록체인을 탐구하고 있습니다. 속보 및 커뮤니케이션을 위해 WeChat lohiuming을 추가하십시오. 귀하의 이름, 부서, 직위 및 이유를 메모하십시오.