Pinned Repositories
2023-03-taurus
a-list-for-formal-verification-
anyhow
Flexible concrete Error type built on std::error::Error
Arkwork_rollup
audit-checklist
A Solidity smart contract auditing checklist
audits
awesome-blockchain-rust
Collect libraries and packages about blockchain/cryptography in Rust
awesome-starknet
A curated list of awesome StarkNet resources, libraries, tools and more
Web3-article
articles about web3
Web3-Security-Tools
This repository contains a list of the most popular and widely used tools in web3 security. If you find any tools missing, you can create a pull request and be a contribute the project.
0xKarl98's Repositories
0xKarl98/2023-03-taurus
0xKarl98/awesome-blockchain-rust
Collect libraries and packages about blockchain/cryptography in Rust
0xKarl98/black-hat-rust
Applied offensive security with Rust - https://kerkour.com/black-hat-rust
0xKarl98/bonsai-foundry-template
Bonsai starter template for foundry / forge
0xKarl98/crossbeam
Tools for concurrent programming in Rust
0xKarl98/cryptofuzz
Fuzzing cryptographic libraries. Magic bug printer go brrrr.
0xKarl98/DeFi-Attack-Vectors
This Repository contains list of Common DeFi threat and Attack Vectors. If you find any attack vectors missing, you can create a pull request and be a contributor of the project.
0xKarl98/DeFi-Developer-Road-Map
DeFi Developer roadmap is a curated Developer handbook which includes a list of the best tools for DApps development, resources and references!
0xKarl98/defi-fork-bugs
Bugs in commonly forked DeFi protocols
0xKarl98/easyMEV
Profit through sandwitch attack
0xKarl98/GhostsOfEpochsPast
🛡️ Ghosts is a free smart contract security study and revision platform. Initially based solely on previous Secureum Races to wit we use all of the previous race content and simulate an engaging, incentivized learning platform for aspiring smart contract security researchers.
0xKarl98/LayerZero
An Omnichain Interoperability Protocol
0xKarl98/multichain-auditor
Observations and tips checklist for auditing protocols on multiple chains 🧐
0xKarl98/Patrick_huff
An experimental repo to play with Aztec's Huff
0xKarl98/Racker
A crypto tracker to various exchanges
0xKarl98/SCSVS
Smart Contract Security Verification Standard
0xKarl98/SCSVS-1
Smart Contract Security Verification Standard
0xKarl98/secureum-mind_map
Central Repository for the Epoch 0 coursework and quizzes. Contains all the content, cross-referenced and linked.
0xKarl98/solady
Optimized Solidity snippets.
0xKarl98/Solidity-Attack-Vectors
This Repository contains list of Common Solidity SmartContract Attack Vectors. If you find any attack vectors missing, you can create a pull request and be a contributor of the project.
0xKarl98/sothis
Sothis is a tool for replaying historical state on a local testnet node.
0xKarl98/sunflower
🌻 use L1 multisig owners to sign on L2 multisigs using zk proofs
0xKarl98/tauri
Build smaller, faster, and more secure desktop applications with a web frontend.
0xKarl98/UniswapX
🦄 Gasless ERC20 swap settlement protocol 🦄
0xKarl98/veLP
Curve style voting escrow (ve) Uniswap v4 hook contract
0xKarl98/wasmati
Write low-level WebAssembly, from JavaScript
0xKarl98/Web3Bugs
Demystifying Exploitable Bugs in Smart Contracts
0xKarl98/yul_by_example
Code examples in Yul
0xKarl98/zk-bug-tracker
A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.
0xKarl98/zkPoEX
zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, facilitating efficient communication and collaboration between hackers and project owners for a more secure DeFi ecosystem.