CertiK

wikipedia:CertiK smart contract auditor

• https://www.certik.com/

• Quantstamp

Crypto companies: Binance, Crypto.com, Gemini, Coinbase, Celsius Network, Kraken, DRW, Cumberland.io, Bitso, Protocol Labs, StakeWise, Automata Network, SwissBorg, Terraform Labs, Paxos Trust Company, Kiln.fi, XM Company, Chainproof, Relm, Chia Network, Quantstamp, CertiK, Status.app, Luganodes, Ziglu, NFT trader, 0x Labs, Dfinity, Dune.com, Protofire.io, Bankruptcy in Crypto, Paradigm, Ankr, Swell, Moralis, RockX, Patex, Sentio, Native, Sorellalabs.xyz, LinkPool, Chainlink, Overledger, SliceLedger, RocketX.exchange, Kelp, ReHold, Hashkey