에이다 스마트 컨트랙트 테스트넷 출시

in wefund •  7 years ago  (edited)

wefundada.jpg

현재 코인 마켓의 상승세가 뚜렷합니다. 그 가운데 에이다의 상승폭이 매우 큰데 스마트 계약 테스트넷 출시 때문인 것으로 보입니다.

002.png

카르다노 재단 트위터

001.png

Cardano Smart Contracts Testnet Release

IOHK는 KEVM 테스트넷 출시를 발표하게 된 것을 기쁘게 생각합니다 . 이것은 Cardano의 첫 스마트 계약 테스트넷 입니다. 스마트 계약서는 정식으로 검증되어야 하므로 지정된대로 버그나 결함 없이 정확히 실행되어야 합니다. 그래야 수십억 명의 사람들이 신뢰할 수있는 금융 인프라로 널리 채택 될 수 있습니다.

KEVM은 K 프레임 워크에 지정된 Ethereum Virtual Machine(EVM)의 구성 버전에 따라 정확합니다. IOHK의 지원을 받는 Runtime Verification으로 생성된 이 기술은 EVM의 완전한 공식 의미(complete formal semantics)가 생성된 최초의 기술입니다. 이는 제 3세대 블록 체인에 대한 약속을 향한 필수 단계인 암호화폐에서 중요한 첫 번째 단계입니다.

개발자는 EVM에서 실행되는 모든 응용 프로그램을 KEVM에서 실행할 수 있으며, 스마트 계약이 올바르게 작동 하는지를 엄격하게 증명할 때도 사용할 수 있습니다. 이는 K로 계약의 원하는 특성을 형식적으로 지정하고, 계약을 KEVM 스펙과 결합한 다음 K 프레임 워크를 사용하여 해당 특성을 검증함으로써 수행됩니다.

003.png

테스트넷 사이트 https://testnet.iohkdev.io/goguen/

Authors get paid when people like you upvote their post.
If you enjoyed what you read here, create your account today and start earning FREE STEEM!
Sort Order:  
  ·  7 years ago Reveal Comment

WARNING - The message you received from @girlgeneration is a CONFIRMED SCAM!
DO NOT FOLLOW any instruction and DO NOT CLICK on any link in the comment!

For more information, read this post:
https://steemit.com/steemit/@arcange/phishing-site-reported-steemituper

If you find my work to protect you and the community valuable, please consider to upvote this warning or to vote for my witness.