의견.png

세토라

위키원
shenghao (토론 | 기여)님의 2020년 9월 17일 (목) 18:35 판
(차이) ← 이전 판 | 최신판 (차이) | 다음 판 → (차이)
이동: 둘러보기, 검색
세토라(Certora)
세토라(Certora)

세토라(Certora)는 2018년에 설립된 스마트컨트랙트 증권 플랫폼이다. 세토라는 스마트 계약에 대한 접근 가능하고 비용 효율적인 공식 검증을 제공한다. 세토라의 자동정확 검증(AEV, Automatic Exact Verification) 기술은 기존 스마트 계약 컴파일러 및 디버거를 보완하고 스마트 계약의 모든 실행이 일련의 요구 사항을 충족하는지 확인한다. 블록체인의 독립적이고 언어에 구애받지 않는 세토라의 AEV 기술은 스마트 계약에 버그가 없는지 정확하게 식별하거나 검증한다. 주요 고객으로는 코인베이스, 셀로, 컴파운드(Compound), 오키드랩스(Orchid Labs), 스타크웨어(Starkware), 에이브(Aave) 등이 있다. 세토라의 공동창업자는 물리 사기브(Mooly Sagiv)와 셀리 그로스맨(Shelly Grossman)이다.

참고자료[편집]

같이 보기[편집]


  의견.png 이 세토라 문서는 블록체인 개발업체에 관한 토막글입니다. 위키 문서는 누구든지 자유롭게 편집할 수 있습니다. [편집]을 눌러 이 문서의 내용을 채워주세요.