스마트 컨트랙 검증 시스템 > 연재 강좌

체인톡 (ChainTalk.io) - 이더리움 커뮤니티

집에서 남는시간 편하게 댓글이나 자유글 작성…
초간단 거래소 에어드랍 BTCex 10$~
벡사니엄 5천원 에어드랍(이미 코인원 인도…
EOS로 에어드랍+토큰 (크라우드포스 ICO…
Waves 서울 커뮤니티 밋업 (10월11일…
서울이더리움 밋업 - Loom Network…

1  블록체인  비트코인  ico  이더리움  리플  Pos  and 

 

연재 강좌

기타 | 스마트 컨트랙 검증 시스템

페이지 정보

작성자 atomrigs 쪽지보내기 프로필 아이디로 검색 전체게시물  (50.♡.129.♡) 작성일17-07-07 05:09 조회2,505회 댓글0건

본문

스마트 컨트랙 코드에 보안상 문제가 있는지 확인해주는 유틸리티입니다.


Formal Verification of Ethereum Smart Contracts

 

Analyse any contract for critical security vulnerabilities and insecure coding.

One click only. Formal security guarantees. Accepts source and bytecode. Extensible.

 

http://securify.ch/ 

 

 


 

  • 페이스북으로 보내기
  • 트위터로 보내기
  • 구글플러스로 보내기
추천 3 비추천 0

atomrigs 쪽지보내기 프로필 아이디로 검색 전체게시물 11,509TALK 2d19FDE5B4Cac4e1AfA54ee749C368C68c18316c

여보슈! 당신의 살림살이도 비참한 모양인데 지금 가는 곳이 어디시우? 쓸데없이 돌아다니지 말고 우리 적당으로 들어와 한 몫 보는게 어떻겠소? (역사 속의 야담 - 풍류열전)

댓글목록

등록된 댓글이 없습니다.

연재 강좌 목록

Total 146건 1 페이지
연재 강좌 목록
번호 제목 글쓴이 날짜 조회 추천 비추천
146 나도 dApp 개발 판문점선언 이더리움 스마트컨트랙 인기글 atomrigs 쪽지보내기 프로필 아이디로 검색 전체게시물 04-30 3508 3 0
145 블록체인 2.0 블록체인 같이 공부하실분!! 댓글9 인기글관련링크 코인마스터 쪽지보내기 프로필 아이디로 검색 전체게시물 01-29 4550 1 0
144 기타 dapp 개발 예제로 배우기 사이트 (한글) 댓글42 인기글 CHAINTALK 쪽지보내기 프로필 아이디로 검색 전체게시물 01-28 39878 65 1
143 블록체인 2.0 프론트엔드 개발자를 채용합니다. 인기글 스마트헌터 쪽지보내기 프로필 아이디로 검색 전체게시물 01-23 2996 0 0
142 블록체인 2.0 글로벌 블록 체인 인덱스를 올바르게 여는 방법 인기글첨부파일 scryinfo 쪽지보내기 프로필 아이디로 검색 전체게시물 01-08 2875 0 0
141 기타 블락체인을 활용한 인증, 서명 시스템을 구축하실 개발자분을 찾습니다 댓글1 인기글 아이투섹 쪽지보내기 홈페이지 프로필 아이디로 검색 전체게시물 12-30 3553 1 0
140 기타 늑대 컨트렉트 - 스마트 하지 못한 스마트 계약 댓글2 인기글 철학자 쪽지보내기 프로필 아이디로 검색 전체게시물 12-13 5431 2 0
139 기타 블록체인 도입결정을 돕는 플로우차트 인기글 암호화폐당 쪽지보내기 홈페이지 프로필 아이디로 검색 전체게시물 12-07 3498 1 0
138 기타 이더리움 작동원리의 이해(1) 인기글 정주해 쪽지보내기 프로필 아이디로 검색 전체게시물 11-26 6030 1 0
137 로움의 암호화폐 EOS 밋업에 관심과 참여에 감사드립니다. 댓글4 인기글첨부파일 loum 쪽지보내기 프로필 아이디로 검색 전체게시물 09-12 4774 1 0
136 쿤s의 dApp 개발 [쿤s의 dApp 개발][입문 1편] - Metamask 설치 댓글3 인기글 쿤s 쪽지보내기 프로필 아이디로 검색 전체게시물 08-29 8520 1 0
135 기타 Bounty structure 인기글 쿨맨 쪽지보내기 프로필 아이디로 검색 전체게시물 08-16 1899 0 0
134 쿤s의 dApp 개발 [쿤s의 dApp 개발] New Prologue - 솔리디티 & 스마트 컨트랙트 댓글5 인기글 쿤s 쪽지보내기 프로필 아이디로 검색 전체게시물 08-16 24734 6 0
133 로움의 암호화폐 [본인 논문공개] 튜링완전 암호화폐에서 새로운 네트워크 보안 방법 (이더리움의 가스 시… 댓글1 인기글 loum 쪽지보내기 프로필 아이디로 검색 전체게시물 08-14 3377 3 0
132 블록체인 2.0 [Announce] MUSICOIN 지갑을 MyEtherwallet 에 추가하였습니다. 댓글1 인기글 안씨아저씨 쪽지보내기 프로필 아이디로 검색 전체게시물 08-04 4198 3 0
131 기타 5분만에 트러플로 ICO하기 댓글3 인기글 철학자 쪽지보내기 프로필 아이디로 검색 전체게시물 08-04 7669 1 0
130 기타 패러티 멀티시그 지갑 공격 분석자료 인기글 철학자 쪽지보내기 프로필 아이디로 검색 전체게시물 08-04 2853 1 0
129 로움의 암호화폐 이더리움의 EEA에 회사들이 몰리는 이유 인기글 loum 쪽지보내기 프로필 아이디로 검색 전체게시물 07-22 4321 3 0
128 기타 AWS 에 2노드 프라이빗 이더리움 네트웤 구성해보기 인기글 atomrigs 쪽지보내기 프로필 아이디로 검색 전체게시물 07-22 4324 2 0
127 기타 web3.js 1.0 preview 릴리즈 인기글 atomrigs 쪽지보내기 프로필 아이디로 검색 전체게시물 07-22 3353 0 0
게시물 검색