"CosmWasm" is a Smart Contract platform for the Cosmos ecosystem. Thanks to its seamless integration with the Cosmos SDK, developers can add Smart Contract support to their chains without modifying existing logic.

Smart Contract Platform for the Cosmos ecosystem based on WebAssembly.

CosmWasm

"Manticore" is a security tool which helps you uncover security vulnerabilities and unintended behavior by analyzing your Smart Contract and binary code.
It is a very powerful tool with lots of useful features such as:
<ul>
<li>Automatic input generation to emulate a wide variety of real-world usage</li>
<li>Program exploration which executes your code in various ways to reach any potential state it can be in</li>
<li>Error discovery to uncover errors in development rather than production</li>
</ul>
Protip 1: Check out the <a href="https://github.com/trailofbits/manticore-examples">Manticore Examples</a> repository for more involved, real-world CTF examples.
Protip 2: Use <a href="https://github.com/crytic/etheno">Etheno</a> to simplify the setup of Manticore in large multi-contract projects.

Symbolic execution tool to analyze Smart Contracts.

Manticore

"Octopus" is a security tool that helps with analyzing closed-source bytecode of Blockchain Smart Contracts and WebAssembly (WASM) modules. Octopus ships with tools like an Explorer, Disassembler, Control- and Call Flow Analyzer, IR Converter, Symbolic Executor and more.

Security analysis tool for closed-source bytecode.

Octopus

"Yul" is an intermediate language that can be compiled to different backends such as the Ethereum Virtual Machine (EVM 1.0 and EVM 1.5) as well as Ethereum WebAssembly (ewasm).
Yul's goal is to be the common denominator for all three platforms. It's a good target for high-level optimization stages that benefit all target platforms. Yul can be used in stand-alone mode as well as "inline assembly" inside Solidity.

Intermediate language that compiles to Ethereum Virtual Machine (EVM) bytecode.