Certora provides security analysis tools for smart contracts using formal verification (math proofs) to ensure that algorithms are behaving as intended, automating security auditing for DeFi protocols like Lido, MakerDAO, Aave, among others.
Immunefi is a DeFi bug bounty platform, protecting over $60 billion in user funds across protocols like Synthetix, Chainlink, MakerDAO, among others.
OAK Network provides trustless automation for payments and finance infrastructure in Web3 (e.g., scheduling future transactions and auto-trading).
Radicle is a peer-to-peer network for code collaboration (i.e., building software collaboratively).
The RISC Zero zkVM is an open-source, zero-knowledge virtual machine that lets developers build software in their chosen language.
SettleMint is low-code platform for developers to build and integrate blockchain applications quickly and efficiently. SettleMint’s platform has been used to address a number of use cases including supply chain traceability (Carrefour), event ticketing (Coca-Cola HBC), securing elections (Wonderful Indonesia), among others.
Solscan is a real-time update scanning tool for the Solana ecosystem.
TokenFlow helps users access and decipher complex blockchain data.