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
Ethereum-Protocol-Fellowship
📢 一起来残酷共学 Ethereum Protocol 做好申请 Fellowship 的准备吧
reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
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/Ethereum-Protocol-Fellowship
📢 一起来残酷共学 Ethereum Protocol 做好申请 Fellowship 的准备吧
0xKarl98/reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, 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/fri-rust
Step by step implementation of FRI
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/Napier-V2
This is for doing contest of napier-v2 , upload it to github and then import it to auditWizard
0xKarl98/noname
Noname: a programming language to write zkapps
0xKarl98/Patrick_huff
An experimental repo to play with Aztec's Huff
0xKarl98/Plonky3
A toolkit for polynomial IOPs (PIOPs)
0xKarl98/Racker
A crypto tracker to various exchanges
0xKarl98/secureum-mind_map
Central Repository for the Epoch 0 coursework and quizzes. Contains all the content, cross-referenced and linked.
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/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/zksecurity_halo2
Learning halo2 program with zkSecurity