DeepSEA Version 1.0 with eWasm & Ants Release
ID: 02580ddb-04ff-515f-9a5f-ac7e9f4bc77f
STIX ID: report--02580ddb-04ff-515f-9a5f-ac7e9f4bc77f
Feed Name: CertiK Blog
CertiK announces DeepSEA compiler v1.0, describing completed basic language features and new backend targets including Ethereum-flavored WebAssembly (eWasm) and AntChain support. The release notes explain current limitations (e.g., hashing/keccak not yet available in eWasm), usage examples, deployment scripts, and planned future work such as adding more language features, additional backends, and formal verification integration.
Your team is not currently subscribed to this feed. You must subscribe to it in order to see this post.