Is your feature request related to a problem? Please describe.
I'm always frustrated when my smart contracts have vulnerabilities that put other people's funds or assets at risk.
Describe the solution you'd like
I want to use Manticore for wasm smart contracts in the same way as people use Manticore for Solidity smart contract.
Additional context
Terra Luna has a 31b market cap. Solana has a 28b market cap. Atom has a 9b market cap. Near has a 7b market cap.
There are many other rust based smart contracts that compile into wasm.
Is your feature request related to a problem? Please describe. I'm always frustrated when my smart contracts have vulnerabilities that put other people's funds or assets at risk.
Describe the solution you'd like I want to use Manticore for wasm smart contracts in the same way as people use Manticore for Solidity smart contract.
Describe alternatives you've considered
test-fuzzerseems ok, manual review, paying for security audits.Additional context Terra Luna has a 31b market cap. Solana has a 28b market cap. Atom has a 9b market cap. Near has a 7b market cap. There are many other rust based smart contracts that compile into wasm.