Companies

Projects

Cobra (R3 company) — A fast, flexible and simple development environment framework for Ethereum smart contract, testing and deployment on Ethereum virtual machine(EVM). https://github.com/cobraframework/cobra

Кто чуть по чуть занимается анализом и аудитом смарт-контрактов

MixBytes http://mixbytes.io/ — как аудиторы со стороны разработчиков

Deteact — как аудиторы со стороны инвесторов

IOsiro — занимаются аудитом DeFI, а так же у них свой блог, в котором они публикуют свои находки https://iosiro.com/

Hexens — армянский стартап-аудиторы: https://hexens.io/

Серьезные компании

Из репорты можно посмотреть в разделе security у ряда смарт-контрактов, например compound и aave (здесь есть ссылки и на другие репорты компаний). Они супер-крутые

OpenZeppelin

Технические аудиты

TrailOfBits

Технические аудиты

Certora

Экономические аудиты