IOHK에서 KEVM 테스트넷을 발표했습니다. 이것은 카르다노 프로젝트를 위한 첫 스마트 큰트렉트 테스트넷입니다. 스마트컨트렉트는 공식적으로 인증될것이며, 버그나 결점 없이 정확히 프로그램 된 대로 작동해야 합니다. 그래야만 많은 사람들이 의존하는 금융 인프라등에 널리 적용될 수 있습니다.
KEVM은 K 프레임워크에 지정된 Ethereum Virtual Machine (EVM)의 구성 버전에 따릅니다. IOHK와 Runtime Verificaiton에 의해 개발된 이 기술은 EVM의 완전한 형식적 의미(formal semantic)가 처음으로 형성되었음을 의미합니다. 이는 또한 3세대 블록체인으로의 중요한 첫 발걸음을 의미합니다.
개발자들은 EVM 상의 어떠한 application을 구현이나 KEVM에서의 실행을 구행할 수 있으며 이는 스마트컨트랙트가 제대로 작동함을 증명할 수 있는 증거가 됩니다.
이는 K에서 컨트랙트의 원하는 특성이 확정되고 KEVM 스펙과 결합한 다음 K 프레임워크를 활용해 해당 특성을 검증함으로써 수행됩니다.