MathWallet 是 Web3 时代的多链钱包，产品包括 APP 钱包、网页钱包、浏览器插件钱包、硬件钱包等，且支持 BTC、ETH、Polkadot、Filecoin、Solana、BSC等100多个公链，支持去中心化的跨链交易，构建了一个多链的 DApp 生态系统。MathWallet 的投资人包括分布式资本、Alameda Research、Binance Labs、FundamentalLabs、Multicoin Capital、NGC Ventures 、Amber Group、6Eagle等著名区块链投资机构。
What is Certik?
The CertiK Chain is a public platform based on the CertiK Foundation’s unique Formal Verification security system.
On-chain smart contracts will contain cryptographic certificates as proof of verified security. Smart contracts may interact with each other and check for these machine-checkable proofs in order to gain assurances of security. Smart contracts that do not have these verified certificates may require higher fees to transact.
Security will be prioritized from the bottom-up. On the base layer is the CertiK Virtual Machine (CVM), which will undergo Formal Verification to certify the correctness of its implementation. The CertiK Chain will use a verified compiler that assures no bugs are introduced during the transformation of source code into the CVM bytecode.https://www.shentu.technology/