맨위로 가기
  • 공유 공유
  • 댓글 댓글
  • 추천 추천
  • 스크랩 스크랩
  • 인쇄 인쇄
  • 글자크기 글자크기
링크가 복사되었습니다.

알고랜드, 프로토콜 검증 진행..."하드포크 없다"

작성자 이미지
Coinness 기자

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, 무단전재 및 재배포 금지>

많이 본 기사

미션

매일 미션을 완료하고 보상을 획득!

출석 체크

0 / 0

기사 스탬프

0 / 0

댓글

2

추천

1

스크랩

스크랩

데일리 스탬프

0

매일 스탬프를 찍을 수 있어요!

데일리 스탬프를 찍은 회원이 없습니다.
첫 스탬프를 찍어 보세요!

댓글 2

댓글 문구 추천

좋은기사 감사해요 후속기사 원해요 탁월한 분석이에요

0/1000

댓글 문구 추천

좋은기사 감사해요 후속기사 원해요 탁월한 분석이에요

chEOSign

2024.01.08 23:28:48

고위공직자 코인관련 전수조사 합시다!!!

답글달기

0

0
0

이전 답글 더보기

드래곤1

2019.06.26 21:55:11

정보 감사합니다

답글달기

0

1
0

이전 답글 더보기

1