About MathWallet
MathWallet is the Multichain Wallet for Web3 that enables token storage of 100+ chains including BTC, ETH, Polkadot, Filecoin, Solana, BSC, Cosmos etc, supports cross-chain token bridges and multi-chain dApp store. Our investors includes Fenbushi Capital, Alameda Research, Binance Labs, FundamentalLabs, Multicoin Capital, NGC Ventures, Amber Group, 6Eagle Capital.
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/