세토라(Certora)는 2018년에 설립된 스마트컨트랙트 증권 플랫폼이다. 세토라는 스마트 계약에 대한 접근 가능하고 비용 효율적인 공식 검증을 제공한다. 세토라의 자동정확 검증(AEV, Automatic Exact Verification) 기술은 기존 스마트 계약 컴파일러 및 디버거를 보완하고 스마트 계약의 모든 실행이 일련의 요구 사항을 충족하는지 확인한다. 블록체인의 독립적이고 언어에 구애받지 않는 세토라의 AEV 기술은 스마트 계약에 버그가 없는지 정확하게 식별하거나 검증한다. 주요 고객으로는 코인베이스, 셀로, 컴파운드(Compound), 오키드랩스(Orchid Labs), 스타크웨어(Starkware), 에이브(Aave) 등이 있다. 세토라의 공동창업자는 물리 사기브(Mooly Sagiv)와 셀리 그로스맨(Shelly Grossman)이다.
참고자료
같이 보기
|
 이 세토라 문서는 블록체인 개발업체에 관한 토막글입니다. 위키 문서는 누구든지 자유롭게 편집할 수 있습니다. [편집]을 눌러 이 문서의 내용을 채워주세요.
|
| 기업 : 인터넷 기업, 대기업, 글로벌 대기업, 블록체인 개발업체 □■⊕, 암호화폐 거래소 운영업체, 투자사, 컨설팅업체, 방송, 블록체인 미디어
|
|
|
| 한국 중소기업
|
㈜769엔터테인먼트 • INF크립토랩 • ㈜거번테크 • 게임엑스코인월드 • ㈜게임허브 • ㈜골든시드 • 그라운드엑스 • ㈜글로스퍼 • ㈜글로스퍼랩스 • 글로핀 • ㈜나인이즈 • 네모랩 • 넥서스 레볼루션 • 넥스트러스트 • 노매드커넥션 • ㈜노이타보니 • 노이콘 • ㈜다날 • ㈜다윈케이에스 • 다이브㈜ • ㈜다인리더스 • ㈜더블유테크 • ㈜더블체인 • 더이앤엠㈜ • ㈜더휴먼플러스 • 데이탐 • ㈜데일리금융그룹 • ㈜데일리블록체인 • 디디엠글로벌 • ㈜디리아 • 디센터넷 • 디스프레드 • 디엑스엠(DXM) • ㈜디지캡 • ㈜디지털골드익스체인지 • 디지털뱅크 • ㈜디지털존 • 디콘 • 딜라이트체인 • ㈜땡스엔젤 • 라온시큐어㈜ • 람다256 • ㈜렘코파트너스 • ㈜로엔컨설팅 • ㈜록스307 • 루나민트 • 루센트블록 • ㈜루트원소프트 • ㈜뤼이드 • 리얼리티 리플렉션 • ㈜링크체인 • ㈜레드윗 • ㈜마크애니 • ㈜매그니스 • ㈜매트릭스투비 • ㈜메디라이크 • ㈜메이어스 • ㈜메이크스타 • ㈜모핑아이 • ㈜몬스터큐브 • ㈜몽플러스 • 뮤직큐플러스 • ㈜미디움 • ㈜바이탈힌트 • 바인그룹 • ㈜바인트리 • ㈜벌트코리아 • 보맵㈜ • 보스자산솔루션 • 브릴리언츠㈜ • ㈜블렌디드 • ㈜블로코 • ㈜블록체인기술연구소 • ㈜블록체인랩 • ㈜블록체인벤처스 • ㈜블록체인시큐리티 • 블록체인오에스 • ㈜블록체인팩토리 • 블록펫 • 블룸테크놀로지 • 비디앱스 • 비스킷 • 비엠씨플러스㈜ • ㈜비즈블록스 • 비카스랩 • 비트베리파이낸스 • ㈜비트시스 • 비플라이소프트㈜ • 비피에프코리아 • ㈜빅스터 • 빅픽처랩㈜ • ㈜세븐틴디그리즈 • 사운드블록체인테크놀로지 • ㈜샌드스퀘어 • ㈜세이정보기술 • 세종텔레콤㈜ • ㈜섹터오브랜드 • 센터나인 • ㈜소셜인프라테크 • ㈜솔리데오시스템즈 • 수퍼트리 • 수호 • 쉬코리아 • 슈퍼블록 (블록체인 개발 회사) • 슈퍼블록 (블록체인 게임 회사) • 스마트메디 • ㈜스마트엠투엠 • ㈜스카이피플 • ㈜스케일 • ㈜스코웍 • ㈜스타키코리아 • ㈜쓰리케이소프트 • ㈜시그마체인 • 슈퍼알키재단 • 식신㈜ • ㈜심버스 • ㈜싱코 • ㈜싸이월드 • 씨쓰리월렛㈜ • ㈜씨씨미디어서비스 • 아르고스 • 아모랩스 • 아반자 이노베이션 • ㈜아비도스 • 아이비씨티(IBCT) • ㈜아이비즈소프트웨어 • ㈜아이씨티케이 • ㈜아이언플래그 • ㈜아이오트러스트 • 아이텀게임즈 • ㈜아이티센 • 아이티센그룹 • ㈜아톰릭스랩 • ㈜안랩 • ㈜알라딘티오씨 • ㈜알콜센트럼 • ㈜알투브이 • 애드오에스 • ㈜애드포스인사이트 • 액토즈소프트 • ㈜앤드어스 • ㈜얍컴퍼니 • 언체인 • 에듀해시 • 에스엠엔터테인먼트 CT-AI 랩스 • 에스지에이블록체인㈜ • 에스지에이솔루션즈㈜ • 에스투더블유랩 • ㈜에이넥스코리아 • ㈜에이비일팔공 • ㈜에이앤씨홀딩스 • ㈜에이원팡팡 • ㈜에이지테크놀러지 • 에이치닥 테크놀로지㈜ • ㈜엑스블록시스템즈 • ㈜엔디에스 • ㈜엔비트 • ㈜엔알피시스템 • 엔컴㈜ • ㈜엔텔스 • 엔퍼 • ㈜엘앤제이테크 • 엘에스웨어 • ㈜엠블럭 • 엠블록체인 • 예스24 • 오딘네트워크 • ㈜오지스 • ㈜오토드래곤 • ㈜오퍼스엠 • 옥타솔루션 • ㈜온더 • 온버프 • ㈜와이즈엠글로벌 • ㈜왓챠 • ㈜원 • ㈜월튼체인테크놀로지 • ㈜웨이투빗 • 웰스트리에스지 • 위니플 • ㈜위고컴퍼니 • ㈜위메이드트리 • ㈜위브릭 • ㈜위즈페이스 • ㈜위체인랩 • 위홈 • ㈜유라클 • 유스비 • ㈜유알피시스템 • ㈜유투바이오 • ㈜유피체인 • ㈜이노트리 • ㈜이멜벤처스 • ㈜이앤씨네트웍스 • ㈜이엔티 • ㈜이지팜 • ㈜이포넷 • 인블록 • ㈜인비트리 • ㈜인포마인드 • ㈜잼픽 • 제네시스체인 • ㈜젤리스페이스 • 주홀딩스 • ㈜지브릭 • 지비씨코리아 • 지서홀딩스 • ㈜지에이치비 • ㈜지오매틱스 • ㈜지오텍홀딩스 • 직토 • 차칵 • 체인에듀 • ㈜체인파트너스 • 카사 • 칼랩 • ㈜케이디파워 • ㈜케이씨넷 • 케이체인 • ㈜케이알파트너스 • ㈜케이엘씨앤에스 • ㈜케이튠코리아 • 케이티 넥스알 • 코드박스 • ㈜코드베르그 • 코리아앱㈜ • 코봇랩스 • 코아비투비 • 코인매니저 • 코인비 • ㈜코인즈월렛 • ㈜코인플러그 • ㈜콜리전스 • 콰트로랩스 • ㈜쿠콘 • ㈜퀀티넬 • ㈜크레스텍 • ㈜크로스앵글 • ㈜크로스체인테크놀로지 • ㈜크립토레드 인터내셔널 • ㈜크립토제주 • ㈜크립토홍빠오 • ㈜크립티드 • 클라세스튜디오 • 키페어 • ㈜탈라스디에이 • ㈜테넷디에스 • ㈜테조스코리아 • ㈜테크앤홀딩스 • 템코 • 토파보기 • 토피도㈜ • ㈜통블록 • ㈜투바앤 • ㈜투비소프트 • 트러스트버스 • ㈜트루스트체인 • ㈜티이이웨어 • ㈜틸론 • ㈜팀그릿 • ㈜파라메타(구 ㈜아이콘루프) • ㈜파수닷컴 • 파이랩 • ㈜파일코인코리아 • ㈜팍스넷 • 팍스데이터테크 • ㈜팸노트 • 퍼블리시㈜ • ㈜페이앤페이 • 펜타시큐리티시스템㈜ • ㈜풀스택 • ㈜퓨처스트림네트웍스 • ㈜프론티 • ㈜플라이어스코퍼레이션 • ㈜플러스위즈덤 • ㈜피노텍 • 피알오글로벌㈜ • 피어테크 • ㈜피코 • ㈜피플앤드테크놀러지 • 핀덱스체인 • ㈜필링크 • ㈜하이브랩 • ㈜한국금거래소쓰리엠 • 한국스마트인증㈜ • ㈜한국전자투표 • ㈜한국체스게임 • ㈜한빛소프트 • ㈜한컴위드 • ㈜해라썬 • ㈜해시넷 • 해치랩스 • 해커스랩㈜ • ㈜해커스홀딩스 • ㈜핸디소프트 • 헥스 이노베이션 • ㈜헥슬란트 • ㈜휴먼스케이프
|
|
|
| 중국 기업
|
1475 • 33푸자메이 • 공상은행 테크놀로지 • 궈왕블록체인 • 네오 글로벌 디벨롭먼트 • 뉴클리어재단 • 뉴인터넷랩스 • 댑리뷰 • 데이터친 • 디지넥스 • 띵쉬앤 • 마이키월렛 • 루미테크놀로지 • 루반소 • 루이스 • 리앤랑테크놀로지 • 리체인 • 린덴 • 링크상하이 네트워킹 테크놀로지 • 링크타임 • 레노버 • 매그클라우드 디지털 • 매틴 클라우드 스토리지 • 무얀그룹 • 뮤네스트 • 밋원 • 바빌론블록체인 • 바스트체인 • 벨트앤로드 블록체인 컨소시엄 • 보토스 • 부비 • 브라보웨일 • 브이엔티체인 • 블루힐릭스 • 비비제이 • 비트랩스 • 비트메인 • 비트콘치 • 비티씨38 • 빗세 • 베어체인 • 삐신 • 삐용 • 샹체인 • 세로 • 세로재단 • 쉬커티앤샤 • 쉰레이 • 스마트메시 • 스퀘어테크 • 스토리지 넘버원 • 스파이더스토어 • 슬로우미스트 • 시노체인 • 싱귤래리티넷 • 싱키 • 씨앤허시스템 • 씰체인 • 아시아 이노베이션스 • 아이리스넷 • 아이하우스닷컴 • 악소노미 • 애니써트 • 야웨이스마트시스템 • 에너고랩스 • 에디슨블록체인랩스 • 에이제이엠 • 에이치씨에이치체인 • 엑스오더 • 엔비엘트러스트 • 엘리팔 • 엘브이씨재단 • 엘씨체인 • HTC(에이치티씨) • 옥스체인 • 온체인 • 완리앤이통 • 완샹블록체인 • 원싱테크 • 윈시테크놀로지 • 웨이레저 • 웨이관커지 • 유랩스 • 윤펀트블록체인 • 이아이파스 • 인스팅트 블록체인 • 인실리코 • 인텔리셰어 • 인플러스랩 • 인피니비전 • IOHK(인풋아웃풋홍콩) • 자오하이룽 • 제니머스체인 • 중촹룽테크 • 중치윈리앤 • 중커싱지 • 지구라트 • 지브이체인 • 지알지체인 • 지오씨체인 • 지이오스 • 지티에이진체인 • 징동닷컴 • 차이나 사이버 시큐리티 • 청또우리앤안 • 체인노바 • 체인스맵 • 체인업 • 케이이오 • 코보 • 코코스-비씨엑스 • 콘센랩스 • 쿠메박스 • 쿠메테크놀로지 • 쿨비트엑스 • 크립테이프 • 킹소프트클라우드 • 타임스탬프캐피탈 • 탑네트워크 • 테라팜 • 텐센트 블록체인 • 텐센트 클라우드 • 텐센트 파이낸스 테크놀로지 • 토큰테크놀로지 • 트레이서빌리티체인 • 티앤허궈윈 테크놀로지 • 티오에스체인 • 파일스톰 • 패럴리즘 • 펙쉴드 • 퓨어랜드 • 피어세이프 • 피어컴] • 피오지오 • 피지씨 • 핀체인 • 필드체인재단 • 하이퍼체인 • 하이퍼체인 테크놀로지 • 해시력싱크탱크 • 화예블록체인 • 화웨이 • 화이트매트릭스 • 후오비랩스 • 힉스블록테크놀로지
|
|
|
| 동남아 • 일본 기업
|
GULL재단 • 골드핀엑스 • 나유타 • 데도코 • 디직스 • 라인㈜ • 라쿠텐 블록체인랩 • 부글아카데미 • 비트피시• 사이버베인 • 소라미츠 • 스핀들 • 시놉시스 • 아시안핀테크 • 아웃플레이 게임즈 • 알파월렛 • 에브라즈랩스 • 이머고 • 제드트레이드 • 토리움 유한책임회사 • 파나소닉 • 핀테라 • 해시스택스 • 해시포트
|
|
|
| 유럽 • 러시아 기업
|
AWN재단 • 가나에이트코인 • 가드타임 • 기브스 • 노블록 • 다이나믹레저솔루션 • 다임러 모빌리티 • 데이텀 • 돔레이더 • 디센트라캐피탈 • 레저 • 루노 • 리넘랩스 • 리들앤코드 • 리얼시큐리티 • 마르코 폴로 네트워크 • 말러큘 • 메디컬체인 • 멜론포트 • 모둠 • 몽벨레항 • 민트베이스 • 뱅케라 • 버트비 • 보트랩스 • 블록페그니오 • 비트렌트 • 비트리필 • 비트왈라 • 비트퓨리 • 블록체인프로젝트 비브이 • 블록칩 • 비트케른 • 살라만텍스 • 스위스크립토토큰 • 스코어체인 • 스토박스 • 스튜디오 케빈 아보시 • 스팁스 • 시린랩스 • 쓰리박스 • 아고라 • 아방가르드 파이낸스 • 아이젝 • 아토미즈 • 알프락츠 • 애스터로이드 • 에반 네트워크 • 에버레저 • 에버프로브 • 에브리토큰 • 에이에스큐 프로토콜 • 에이이볼브 • 엑소넘 • 엔체인 • 오라클라이즈 • 오에스디 • 오픈레저 • 와이렉스 • 와이즈키 • 울레트 • 울트라 • 위캔그룹 • 위트레이드 • 유니버시티 칼리지 런던 블록체인 기술센터 • 유니브라이트 • 유럽체인 • 이펙트 에이아이 • 인텔리전트플루이드 • 일리이움 • 제노디스 • 제로비에스 네트워크 • 젤루리다 • 지케이랩스 • 지케이스낵스 • 카스퍼스키랩 • 코슴와즘 • 코인사이언스 • 코인플러스 • 코인피니티 • 콤고 • 쿠피 • 퀀트 네트워크 • 큐브 인텔리전스 • 큐에이엔플랫폼 • 크립토렉스 • 크립토바자 • 크로마웨이 • 클레로스 • 클리어매틱스 • 탭트레이더 • 토큰에스테이트 • 트레이드아이엑스 • 파머커넥트 • 패리티 테크놀로지 • 펫치블록체인 • 포르쉐 디지털랩 • 푸니야 • 프로시비스 • 플루토네오 • 피브리 • 하바스 블록체인
|
|
|
| 이스라엘 기업
|
리퀴댑스 • 세토라 • 알고즈 • 케이젠 네트웍스 • 테크니온 • 헥사그룹
|
|
|
| 미국 • 캐나다 기업
|
IBM • R3 • 건틀렛 • 개더 • 게코거버넌스 • 글루와 • 넷키 • 노비 • 누문도 • 누사이퍼 • 누코 • 뉴알케미 • 뉴욕시 블록체인센터 • 대퍼랩스 • 도스 네트워크 • 디엘티랩스 • 디지털애셋홀딩스 • 디지캐시 • 떼시스 • 라이메디 • 라이브플래닛 • 라이트닝랩스 • 라이트닝파워유저 • 래셔널마인드 • 랠리 • 레이어제로랩스 • 룩아웃소프트웨어 • 리플랩스 • 리피오 • 말린 프로토콜 • 매터랩스 • 메드블록스 • 메디레저 • 메이커다오 • 메이크센스랩스 • 물러체인 • 밸런스 • 밴벡스 • 버탈로 • 베리블록 • 베라디 • 브레이브 소프트웨어 • 블로큐브 • 블로크 • 블로크랩스 • 블록데몬 • 블록스트림 • 블록아이오 • 블록워치 • 블록원 • 블록체인파운드리 • 블록케이드게임즈 • 비욘드 엔터프라이즈 • 비에프체인 • 비트바운스 • 비트스킨스 • 비트코인닷컴 • 비트페이 • 빔 • 서틱 • 세일즈포스 • 센트 • 솔리드엑스 파트너스 • 솔트렌딩홀딩스 • 스월즈랩스 • 스웜 • 스카우트 • 스케일랩스 • 스톰엑스 • 스트롱블록 • 슬리버티비 • 시그워 테크놀로지스 • 시큐리타이즈 • 시프트 네트워크 • 시프트마켓 • 심비온트 • 심플리바이탈헬스 • 쎄타랩스 • 씨랩스 • 아도리아소프트 • 아마존 매니지드 블록체인 • 아모스 • 아바랩스 • 아카마이 테크놀로지스 • 아툼체인 • 아토노미 • 알트레이드 • 액소니 • 앵커리지 • 어큐이티 • 에버님 • 엘릭서 • 엘비알와이 회사 • 엠블리마 • 오아시스랩스 • 오버스탁 • 오비원 • 오픈 애플리케이션 네트워크 • 오픈제플린 • 에스에프비 테크놀로지스 • 엔지아 • 엣지월렛 • 오픈바자 • 옵텀 • 유가랩스 • 이부스트 • 인제니오 • 인탠저블랩스 • 인텔 • 인포멀시스템즈 • 일렉트릭코인컴퍼니 • 자포 • 제로코인 • 제로해시 • 제우크립토 네트웍스 • 제이더리움 • 체인세이프 • 카그너전트 • 카데나 • 카후나그룹 • 캐리넷 • 캐스퍼랩스 • 커브 • 컨센시스 • 컨센시스헬스 • 컴퓨터블 • 코인메트릭스 • 코인스페이스 • 콘스텔레이션 • 쿼츠 • 크레이트 • 크립토노멕스 • 크립토니티즈 • 크립틱랩스 • 클로비어 • 탄트라랩스 • 탭젯 • 토다 네트워크 • 테미스 • 테이스트버드 테크놀로지스 • 테플턴 • 텐더민트 • 텐조룸 • 텔러 • 트러스트토큰 • 트랜슬레저 • 팍소스 • 포르테 • 포스트오크랩스 • 포켓풀 오브 쿼터스 • 페럼네트워크 • 펫치플러스 • 프랙시스 • 프로토체인리서치 • 프로토콜랩스 • 프론티어 네트워크 • 프리즈마틱랩스 • 플렉사 • 핀헤이븐 • 필라멘트 • 헤데라 해시그래프 • 허니웰 • 헤더 플래너리 • 화이자
|
|
|
| 기타 국가 기업
|
디센트릭닷헬스 • 더샌드박스 • 더키 • 더풋볼앱 • 데카포 • 라미나프로토콜 • 리치몬트 • 블록체인 오스트레일리아 솔루션 • 블록닷코 • 비트네이션 • 비트페사 • 세틀 네트워크 • 스타트업스튜디오온라인 • 시그마프라임 • 아반타스 • 아이오브이랩스 • 아칼라네트워크 • 알엔에스솔루션 • 유뱅크 • 위즈그리드 • 이뮤터블 • 카라체인 • 케쇼랩스 • 크로노뱅크 • 탤런티카 소프트웨어 • 템부수시스템즈 • 트레이드렌즈 • 페사바세 • 프로젝트갤럭시 • 필리퀴드 • 허브체인
|
|
|
| 블록체인 재단
|
AWNEX재단 • 넴재단 • 더그래프재단 • 디센트럴랜드재단 • 디엠협회(리브라협회) • 라이트코인재단 • 리눅스재단 • 미나재단 • 보스플랫폼재단 • 비트코인재단 • 솔라나재단 • 스택스재단 • 스텔라개발재단 • 스플릿코어재단 • 아이오타재단 • 아이콘재단 • 아트피니티재단 • 아파치 소프트웨어 재단 • 원인치랩스 • 웹쓰리재단 • 이더리움재단 • 지캐시재단 • 카르다노재단 • 콕재단 • 타이드재단 • 트러스트오버 아이피재단 • 티티씨재단 • 헬륨재단
|
|
|
| 위키 : 자동차, 교통, 지역, 지도, 산업, 기업, 단체, 업무, 생활, 쇼핑, 블록체인, 암호화폐, 인공지능, 개발, 인물, 행사, 일반
|
|
위키원
이 문서는 로고 수정이 필요합니다.
