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

wefund (68)in #wefund • 6 years ago (edited)

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

`카르다노 재단 트위터`

`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 프레임 워크를 사용하여 해당 특성을 검증함으로써 수행됩니다.