☆12May 19, 2025Updated 10 months ago
Alternatives and similar repositories for security-audits
Users that are interested in security-audits are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automated Vulnerability Detection for Solana Smart Contracts☆39May 21, 2024Updated last year
- The objective of this repository is to show proofs of concept related to vulnerabilities in solana blockchain that are mentioned in many …☆16Dec 7, 2025Updated 3 months ago
- ☆17May 9, 2023Updated 2 years ago
- A tool to extract plain text from HTML pages☆10Dec 7, 2017Updated 8 years ago
- Part II of the tutorial for making a PoC in foundry for Immunefi☆11Aug 29, 2022Updated 3 years ago
- Library supporting secure keys, and crypto enabled JSON and CBOR☆16Mar 4, 2026Updated 3 weeks ago
- ☆10Mar 28, 2023Updated 2 years ago
- ☆40May 14, 2025Updated 10 months ago
- MoveBit Sampled Audit Reports☆53Oct 17, 2024Updated last year
- Exploit for a soundness bug exploit in the zkSync Era ZK-circuits☆40Feb 23, 2025Updated last year
- MCP server for Klever blockchain smart contract development☆30Feb 20, 2026Updated last month
- Template for working with the ApeCoinStaking smart contract in Foundry☆10Dec 7, 2022Updated 3 years ago
- Purely Functional Data Structures☆13Dec 15, 2014Updated 11 years ago
- Google Tink's critical Ed25519 bug related to Java "final" keyword☆11Apr 5, 2020Updated 5 years ago
- Channels between coroutines in Python☆14Jan 4, 2021Updated 5 years ago
- ☆33Dec 18, 2025Updated 3 months ago
- A DEX with BALLs☆14Aug 13, 2024Updated last year
- DApp that let's you buy me a coffee with crypto ☕️☆13Oct 24, 2022Updated 3 years ago
- Faster, bit-reversed, FFT in CL☆27Feb 5, 2022Updated 4 years ago
- ☆13Jan 28, 2026Updated last month
- ☆12Sep 22, 2023Updated 2 years ago
- A short intro to Rust course, based loosely off the book.☆15Jan 29, 2026Updated last month
- Android Template Application to Demonstrate a number of Best Practises around Mobile Security☆10May 10, 2018Updated 7 years ago
- Competition results for Keeping it Fresh https://www.drivendata.org/competitions/5/☆13Sep 7, 2023Updated 2 years ago
- ☆10Oct 8, 2024Updated last year
- ☆11Nov 26, 2025Updated 3 months ago
- ☆42Apr 18, 2024Updated last year
- Formally verified smart contracts. Mathematical certainty across all inputs and execution paths. Betting that agents will make full forma…☆42Updated this week
- A comprehensive, up-to-date collection of information about several thousands (!) of crypto tokens.☆14Updated this week
- Multisig as a Service (MAAS)☆16Oct 31, 2022Updated 3 years ago
- Detects PM2.5 levels based on daily atmospheric conditions☆12Jul 21, 2021Updated 4 years ago
- Easy to use test helpers for Arbitrum Stylus written in Rust☆16Nov 21, 2025Updated 4 months ago
- ☆10Jul 20, 2023Updated 2 years ago
- PoC of KyberSwap double liquidity add exploit☆42Aug 30, 2023Updated 2 years ago
- ☆12Jun 5, 2024Updated last year
- A dynamic checker for the ECF property incorporated into geth☆15Oct 27, 2017Updated 8 years ago
- ☆13Jun 23, 2025Updated 9 months ago
- ZKsync protocol libraries☆21Mar 13, 2026Updated last week
- Zero-related bugs in 4 BLS libs & standard draft,"splitting zero" attacks, $35000 award☆17Aug 20, 2021Updated 4 years ago