Thesis Defense: Our Expertise
Thesis Defense was founded with an ambitious vision: to bring in some of the best security auditing talent in the industry and raise the bar for security audits.
Cumulatively, our expert and diverse team of senior auditors, cryptographers, and business specialists have worked on hundreds of audits. To help contextualize our team’s expertise, the following summary outlines our services, in addition to the ecosystems, languages, and technologies with which we work.
To learn more about our services and experience, schedule a call with our team.
Services
- Manual code reviews
- Penetration testing
- Security by design reviews (including design specifications and whitepapers)
- Smart contract audits
Ecosystems
Our team has audited projects across several ecosystems, including Bitcoin, Ethereum + EVMs, Mina, Stacks, Avalanche, Polygon, Zcash, Cosmos / Cosmos SDK, Filecoin, NEAR and more.
Technologies
In addition to working across a number of ecosystems, we have extensive experience auditing both on-chain and off-chain components, including smart contracts, dApps, wallets and browser extensions, bridges, consensus mechanisms, and cryptographic protocols and libraries.
Projects
Our auditors have worked on an extensive range of projects, many of which are detailed here (For a more detailed list, see their bios on our website):
- Wallets and Wallet Technologies: Atomic Wallet, Blank Browser Extension, Blox Staking Wallet, Clorio Wallet, Lox Staking Wallet, MetaMask Snaps Extension Integration, MetaMask Snaps Implementations, Mina Ledger JS, Mina Signer SDK + Staking Power Wallet, Stacks Hiro Wallet, Taho Wallet, Tezos Kukai Wallet, and Trust Machine’s MultiSafe Wallet
- Protocol Implementations: Althea Gravity Bridge, Ava Labs Subnet EVM, Cosmos SDK, Cube3 Protocol, Ethereum Beacon Chain, PiSwap Protocol, Stacks Alex Protocol, Tendermint Core, Umee’s Peggo Orchestrator, Magic Protocol, Zest Protocol, Matrix vodozemac, Holochain’s Deterministic Integrity Crate, Holochain’s Lair Keystore, Dogecoin Core, Evmos, Router, Wormhole, Anoma, Nym, Noble, Cypher, and Badger
- Smart Contracts and Development Tools: Data Lake Vesting and Consent Smart Contracts, FilFi Smart Contracts, Golem Foundation’s Octant Smart Contracts, Keep Network Solana Smart Contracts, Loopring’s Circuit Implementation, Neokingdom DAO Smart Contracts, Soveryn’s Bi-directional FastBTC, Worldcoin’s Groth16 Verifier in the EVM Smart Contract, and ethdo.
Languages
We’ve audited code in a variety of languages, including Solidity, Typescript, JavaScript, Rust (+ Substrate), Go, Circom, Clarity, C/C++, Python, ChiaLisp, SmartPy, Ligo, Java, Scala, Perl, OCaml, CosmWasm, React, and NodeJS.
At Thesis Defense, we pride ourselves on our expertise. Our team of security auditors have carried out hundreds of security audits for decentralized systems across a number of technologies including smart contracts, wallets + browser extensions, bridges, node implementations, cryptographic protocols, and dApps. We offer our services within a variety of ecosystems including Bitcoin, Ethereum + EVMs, Stacks, Cosmos / Cosmos SDK, NEAR and more.
To learn more about our services and get a free quote, schedule a call or email us @ defense@thesis.co. For more information about Thesis Defense, visit us on our website, blog and X (Twitter).
