OKExChain 및 CertiK 체인 파트너십 제안

CertiK 정보

CertiK Yale University와 Columbia University의 컴퓨터 과학 교수가 설립 한 선구적인 블록 체인 사이버 보안 회사입니다. 스마트 계약 및 블록 체인 프로토콜에 독점적 인 공식 검증 기술을 적용함으로써 CertiK는 60 억 달러 이상의 자산을 확보하고 Binance, OKEx, Coinone과 같은 세계 최고의 블록 체인 회사를 포함하여 150 개 이상의 기업 고객에게 서비스를 제공 할 수있었습니다. PAXOS, Reserve, Universal Protocol, InfStones 등 기존 테스트 접근 방식과 달리 CertiK는 블록 체인 프로토콜, 슈퍼 노드 및 스마트 계약이 해커에 강하고 버그가 없음을 수학적으로 증명하려고합니다..

OKExChain과 CertiK 체인 간의 시너지 및 교차 체인

CertiK Chain과 OKExChain은 몇 가지 설계 개념과 개발 계획을 공유합니다.

미래의 시너지 효과를 밝힐 수 있습니다. CertiK 체인은 OKExChain에 가치를 더할 것입니다.

다음과 같은 독특한 관점에서 연합 :

1. CVM을 통한 OKExChain 전원 공급

OKExChain과 유사하게, CertiK Chain은 Tendermint-BFT 합의를 기반으로하며, 독점적 인 CertiK Virtual Machine (CVM)을 통해 국경없는 교차 체인 생태계를 구축하는 것을 목표로합니다. 깊은 바다 프로그래밍 언어.

CertiK VM (CVM)은 CertiK Chain을 위해 개발 된 스마트 계약 플랫폼입니다. 버전 1.0의 경우 보안 관련 확장을 추가하면서 완전한 EVM 호환성을 제공하는 것을 목표로합니다. 향후 버전은 WASM 및 일반 네이티브 코드 지원을 제공 할 것입니다. CVM은 코스모스 키퍼로 배송되며 OKExChain에서 쉽게 사용할 수 있습니다..

CVM은 Solidity와 같은 레거시 언어를 지원하지만 이러한 언어는 공식 검증을위한 최적의 지원을 제공하지 않습니다. 이러한 이유로 CVM을 통해 CertiK DeepSEA 언어를 OKExChain으로 타겟팅합니다..

2. DeepSEA를 통한 OKExChain 강화

분산 형 금융 애플리케이션은 특히 보안을 요구합니다. 큰 금전적 가치가 위태 롭고 여러 당사자가 작성한 계약 간의 미묘한 상호 작용에서 버그가 발생할 수 있기 때문입니다. 현재 대부분의 기존 공식 검증 솔루션은 속성 (예 : 사전 및 사후 조건으로 계약의 각 방법에 주석을 달아서) 이러한 검증 프로세스는 기존 소프트웨어 개발 환경과 같이 실시간 권한 제어 및 / 또는 감지 피드백이없는 오프 체인 프로세스입니다. 또한 확인 도구에는 종종 버그가있을 수있는 신뢰할 수있는 코드가 포함됩니다. 이것은 데이터, 자산 및 가치의 원활한 순환으로 국경없는 퍼블릭 체인 생태계를 구축하는 것을 목표로하는 OKExChain의 유망한 보안 수준이 아닙니다..

DeepSEA 프로그래밍 언어는 Coq 대화 형 증명 도우미 틈새없이 계약 정확성을 확인합니다. DeepSEA 시스템은 새로운 프로그래밍 언어, 검증 된 컴파일러, 계약 코드를 Coq 증명 도우미에로드 할 수있는 공식 모델로 변환하는 메커니즘으로 구성됩니다..

프로그래밍 언어 부분은 계약서 작성에 적합한 작은 명령형 언어입니다. 원래 검증 된 시스템에 대한 연구에서 영감을 얻었으며 아래에 자세히 설명 된 CertiKOS 운영 체제 개발에서 얻은 교훈 중 일부가 포함되어 있습니다.

  • 첫째, 스마트 계약과 똑같이 외부 메소드의 인터페이스 사이의 상태를 캡슐화하는 객체를 중심으로 구성됩니다..
  • 둘째, 언어는 증명 도우미에서 추론하기 쉬운 순수한 함수로 번역 할 수 있도록 설계되었습니다..
  • 마지막으로 특허받은 Certified Abstraction Layers 방법론을 사용하여 복잡한 시스템을 독립적으로 올바른 것으로 입증 될 수있는 여러 계층으로 분할합니다..

CertiK는 DeepSEA 언어를 바이트 코드로 변환하는 검증 된 컴파일러를 개발하고 있습니다. 컴파일러 자체가 Coq에서 확인된다는 사실은 계약의 보안 속성을 위반할 수있는 버그가 없음을 보장합니다. 즉, 소스 코드 수준에서 프로그램의 보안을 증명할 수 있으며 마치 바이트 코드 언어의 공식 사양을 사용하여 직접 추론하는 것처럼 똑같이 엄격한 보장을받을 수 있지만 증명이 복잡하지 않기 때문에 훨씬 더 편리합니다. 데이터 표현 또는 제어 흐름의 문제. 컴파일러가 검증되었다는 사실은 또한 모든 컴파일 된 프로그램이 특정 런타임 안전성 속성을 충족 할 수 있음을 의미합니다. 유형이 안전하고 정수 오버플로가 없음 등.

DeepSEA 시스템은 모듈 식이므로 DeepSEA 언어를 여러 다른 대상 아키텍처로 컴파일 할 수 있으며 검증 된 컴파일러 백엔드를 여러 다른 입력 언어에 다시 사용할 수 있습니다. 특히 향후 도메인 별 언어에 백엔드를 재사용 할 수 있습니다. 동일한 정확성 보장으로 금융 계약 작성에 특화.

DeepSEA 컴파일러는 또한 고급 정확성 속성을 확인하기 위해 교정 도우미에로드 할 수있는 라이브러리로 계약을 변환합니다. 모든 기능을 갖춘 대화 형 증명 도우미를 사용한다는 사실은 도구 자체에 부과 된 제한없이 임의로 복잡한 정리 문과 모델을 정의 할 수 있음을 의미합니다. 예를 들어, 금융 애플리케이션을 검증 할 때 게임 이론적 정의 (수학 교과서에 표시되는 표준 방식)를 작성하고 의도 한 프로토콜이 실제로 지배적 인 전략임을 증명할 수 있습니다..

증명 보조자의 힘이 특히 도움이되는 또 다른 예는 다음과 같습니다. 교차 체인 애플리케이션, 여기에는 별도의 체인에 있고 비동기 적으로 통신하는 여러 계약이 포함됩니다. 이것은 DeepSEA가 OKExChain 생태계에 권한을 부여하는 또 다른 훌륭한 방법입니다. 이 설정에서 DeepSEA 도구는 각 개별 계약의 검증 된 모델을 자동으로 생성 할 수 있으며 프로그래머는 증명 도우미를 사용하여 계약이 서로 통신 할 수있는 방법, 대기 시간에 대한 가정 등을 정의 할 수 있습니다. DeepSEA는 여러 체인 (예 : CertiK Chain, OKExChain, Ethereum)에서 실행되도록 컴파일 할 수 있습니다. 또한 표준 브리지 계약 세트를 작성하고 단일 DeepSEA 개발에서 모든 계약을 인증 할 수 있습니다. 쇠사슬.

DeepSEA 연구 기사는 OOPSLA’19 심포지엄 (더 알아보기). 그만큼

깊은 바다 언어 백서 v0.9DeepSEA 컴파일러 미리보기 버전 또한

대중에게 공개됩니다. 자세한 내용과 예는 자세한 내용을 참조하십시오.

포괄적 인 소개 여기.

3. OKExChain 탐색기

CertiK Chain Explorer는 체인 사용자가 트랜잭션을 추적하고 전체 블록 체인 플랫폼 정보를 탐색하는 데 크게 의존하는 CertiK Chain의 웹 프런트 엔드입니다. BTC, ETH, BCH와 같은 전통적인 블록 체인에서 블록 탐색기는 자신의 지정된 체인에서만 작동합니다. 예를 들어 사용자는 BTC 정보에 대해 ETH 블록 체인 탐색기를 사용할 수 없습니다..

자산, 데이터 및 가치의 투명성과 효율적인 순환을 위해 국경없는 블록 체인 생태계를 만드는 공유 비전으로 OKExChain 팀과 CertiK 팀은 높은 수준의 체인 프런트 엔드 통합을 설계하고 나중에는 그 위에 구축 된 dapp을 설계하고 있습니다. CertiK 팀은 현재 CertiK Explorer를 통해 OKExChain에 대한 상호 지원을 개발하고 있으며, 보안이 강화 된 데이터 소스로서 신뢰할 수있는 교차 검사 및 데이터 유효성 검사 기능으로 OKExChain을 강화하고 있습니다. 여러 탐색기 옵션이 장착 된 OKExChain은 향후 체인 사용자가 온 체인 활동에 대한보다 유연한 액세스 및 가용성을 허용합니다..

4. OKExChain 용 DeepWallet

사용하기 쉬운 탈 중앙화 웹 기반 지갑 인 DeepWallet은 잘 알려진 코스모스 기반 블록 체인과 연결되는 다중 자산을 허용합니다..

DeepWallet은 사용자에게 다음 기능을 지원하는 것을 목표로합니다.

  • 파트너십 코스모스 기반 프로토콜 간의 손쉬운 다중 자산 관리
  • 과거 거래 추적기
  • 자산을 더 쉽게 보내고 받음
  • 지갑 내 스테이 킹을 통해 사용자가 지원되는 지분 증명 (POS) 토큰에 대한 보상을받을 수 있습니다.
  • 견고 & DeepSEA 브라우저 기반 컴파일러, 스마트 계약 배포 및 계약 상호 작용

5. OKExChain을위한 NoOps

NoOps는 엔터프라이즈 급 인프라로 블록 체인 노드를 제공하고 운영하는 CertiK에서 엔지니어링 한 Infrastructure-as-a-Service 플랫폼입니다. NoOps를 사용하는 블록 체인 참가자는 높은 오버 헤드 비용을 절약 할 수 있으므로 비즈니스 전망에 더 집중할 수 있습니다. NoOps는 널리 알려진 블록 체인 프로토콜의 인프라 설정 및 구성 목록을 온 보딩하여 해당 생태계를 홍보합니다..

NoOps 플랫폼은 OKExChain과의 통합을 추가하므로 사용자는 다음을 수행 할 수 있습니다.

  1. OKExChain 스테이 킹에 참여하는 경우 자체 검증 자 노드를 호스팅합니다.
  2. OKExChain의 데이터를 쿼리하여 CertiK에서 호스팅하는 공유 노드를 통해 통찰력을 얻습니다..
  3. NoOps는 OKExChain에 대한 DEX 온 체인 데이터의 중요성을 이해하고 블록 체인 및 스마트 계약의 모니터링 시스템에 대한 심오한 지식과 전문성을 바탕으로 NoOps 플랫폼이 OKExChain 데이터에 대한 고 가용성, 안전 및 안정적인 액세스를 제공 할 것이라고 믿습니다..

주요 기능 :

  • 사용자의 요구에 맞는 인프라

확장 가능한 인프라 스택은 산업 표준을 희생하지 않고 요구 사항에 맞게 구축됩니다. 스택은 사용자와 사용자의 고객이 어디에 있든 최상의 서비스를 제공하기 위해 선도적 인 클라우드 제공 업체 및 로컬 데이터 센터를 통해 배포 및 호스팅됩니다..

  • 악의적 인 행위자를 차단하는 보안

구성 요소는 잠재적 인 타협 공격을 방지하기 위해 물리적 및 논리적으로 격리와 격리로 설계됩니다. NoOps는 사용자 인프라에 대한 보호자 역할을하여 자산이 자체 관리인 역할을하므로 자산이 절대적으로 안전한지 확인합니다..

  • 성능 데이터 제공을위한 모니터링

모든 노드 클러스터는 독립형 모니터 인스턴스와 함께 제공되어 지표를 수집하고 최대 1 초 단위로 이벤트를 기록합니다. 실시간 분석 및 보고서가 합의 및 기계 수준에서 제공되어 운영 가시성과 통찰력을 제공합니다..

  • 노드를 보완하는 마켓 플레이스

NoOps 가상 마켓 플레이스는 사용자가 지속적으로 업데이트하고 새로 출시 된 프로토콜을 지원하여 선택할 수있는 광범위한 주요 블록 체인 프로토콜을 나열합니다. 추가 기능 및 테스트 넷 구성도 사용 가능하여 손쉬운 확장 성을 보장합니다..

기술 하이라이트 :

  • 해킹 할 수없는 OS

NoOps는 더 엄격한 보안 조치를 충족하기 위해 사이버 공격으로부터 보호하는 세계 최초의 완전 검증 된 멀티 코어 운영 체제 인 CertiKOS를 자랑스럽게 지원합니다. 노드를위한 강화 된 OS는 더 적은 취약점과 운영 전용 리소스를 의미합니다..

  • 계층화 된 보호

설계에서 구현에 이르기까지 네트워크 격리 및 세분화는 보안 우선 사고 방식으로 신중하게 평가되고 선택됩니다. 방화벽, DDoS 보호 및 트래픽 제어와 같은 시스템은 해커가 애초에 액세스하는 것을 방지하기 위해 이미 마련되어 있습니다..

  • 자동화 된 절차

사용자 개입의 필요성을 제한하기 위해 사용자의 민감한 작업을 유지하기 위해 배포 및 운영을 완전히 자동화했습니다. 액세스는 명시 적으로 화이트리스트에 추가되고 지능형 위협 탐지 및 추가 감사를 위해 이벤트가 기록 및 기록됩니다..

  • 전문가 팀

당사의 플랫폼은 CertiK에 의해 구동되며 다양한 전문 분야를 보유한 숙련 된 엔지니어 팀으로 구성됩니다. NoOps는 엄격한 QA 프로세스를 거쳐 사용자에게 제공되기 전에 높은 보안 및 품질 표준을 충족하는지 확인합니다..

Mike Owergreen Administrator
Sorry! The Author has not filled his profile.
follow me