olympix / integrated-securityLinks
Perform code analysis to detect potentially dangerous vulnerabilities
☆13Updated last year
Alternatives and similar repositories for integrated-security
Users that are interested in integrated-security are comparing it to the libraries listed below
Sorting:
- ☆13Updated last month
- ☆23Updated 4 years ago
- ☆242Updated last year
- A curated list of resources for learning about Web3☆17Updated last year
- The Trail of Bits Truffle Security Toolbox☆26Updated 2 years ago
- Learn smart contract security by hacking popular smart contract systems.☆97Updated 7 years ago
- Collection of CTFs for Fun and Interviewing Applicants☆149Updated 9 months ago
- ☆12Updated 8 months ago
- ☆15Updated last year
- Comprehensive framework that identifies, categorizes, and mitigates Web3-related attacks and vulnerabilities☆56Updated last year
- Interactive documentation on zero-knowledge proof systems and related primitives.☆170Updated 3 months ago
- Eth2.0 spec in Dafny☆79Updated last year
- experimental solidity compiler☆72Updated this week
- ☆14Updated 2 months ago
- Official Shardeum Documentation☆14Updated last week
- Smart contract specification language☆252Updated last month
- Interactive formal verification tool for Yul programs☆75Updated last week
- A tool to manage (Gnosis) Safe multisig owners and thresholds in bulk.☆18Updated 11 months ago
- A test suite to check for client-side script injection on websites that display NFTs.☆51Updated 2 years ago
- Using smart contracts to verify the content of a webpage, mitigating the risk of connecting a wallet to a website affected by a DNS takeo…☆27Updated last year
- Graveyard of past Web3 exploits☆21Updated 3 years ago
- An EVM interpreter in Dafny☆133Updated last year
- Learn Web3 development from Zero to Mastery. By the devs for devs.☆26Updated 2 years ago
- Public infra related to hosting Paradigm CTF☆115Updated last year
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆75Updated 4 months ago
- Saltzer and Schroeder's 10 secure design principles as applied to solidity smart contracts.☆55Updated 3 years ago
- ☆160Updated this week
- The Red Guild's devcontainer focused in web3 and security.☆99Updated last month
- ☆14Updated 3 months ago
- A comprehensive list of security practices for DeFi protocols.☆86Updated last year