토픽
링크복사
공유
댓글
추천
스크랩
인쇄
글자크기
2019.06.26 (수) 21:38
2
1
튜링(Turing)상 수상자인 실비오미칼리(Silvio Micali) MIT 교수가 개발하는 블록체인 프로토콜 프로젝트 알고랜드(Algorand)가 공식 블로그를 통해 소프트웨어 테스트 분석 솔루션 업체인 '런타임 베리피케이션'(Runtime Verification)과 파트너십을 체결했다고 25일(현지 시간) 발표했다. 이를 통해 알고랜드는 기존 합의 프로토콜의 정확성을 검증을 통해 보안을 강화하고 향후 신규 프로토콜에 대한 설계와 검증을 보다 쉽게 처리할 수 있도록 개선한다는 설명이다. 특히 알고랜드는 이번 검증에 '콕 정리 증명기'(Coq Theorem Prover)를 사용해 프로토콜의 정확한 수학적 모델을 개발, 향후 블록체인에 의도치 않은 하드포크 발생 가능성을 최소화 할 예정이다. 코인마켓캡 기준, ALGO는 현재 16.83% 오른 1.72 달러에 거래되고 있다.
Provided by Coinness
<저작권자 ⓒ TokenPost, 무단전재 및 재배포 금지>
많이 본 기사
티켓스토어
티켓으로 다양한 상품에 응모하자!
에어드랍
선물이 쏟아지는 에어드랍 이벤트!
[Episode 15] GM Wallet 다운받고, GMMT 에어드랍받자!
500 GMMT 에어드랍 (500명)
[Episode 14] GM Wallet 다운받고, GMMT 에어드랍받자!
500 GMMT 에어드랍 (500명)
카테고리 기사
댓글
2
추천
1
스크랩
데일리 스탬프
0
매일 스탬프를 찍을 수 있어요!
데일리 스탬프를 찍은 회원이 없습니다.
첫 스탬프를 찍어 보세요!
뉴스
코인정보
라운지
커뮤니티
TPI 
매체소개
고객센터
chEOSign 
드래곤1