DeepSEA is a secure programming language and compiler toolchain compatible with the SVM, EVM, eWASM, and Ant Financial’s AntChain. DeepSEA has been awarded research grants from Ethereum, IBM-Columbia, and Qtum to push forward its hyper-secure programming language. While coding in DeepSEA, mathematical proofs are automatically generated to prove alignment between the intended specification and the actual code, allowing for greater depth of formal verification and correctness.