0xkarl98 Goto Github PK
Name: Karl Yu
Type: User
Company: Silent Protocol
Bio: Smart contract security Rust on the way
Twitter: zk_researcher
Location: On earth
Karl Yu's Projects
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
awesome-zero-knowledge-proofs
A curated list of awesome things related to learning zero knowledge proofs
basicflashloan
black-hat-rust
Applied offensive security with Rust - https://kerkour.com/black-hat-rust
blockchain_fundamentals_rust
Exercise in lessons of Blockchian_Fundamentals
bonsai-foundry-template
Bonsai starter template for foundry / forge
bsc-alpaca-contract
Smart Contracts for Alpaca Finance on Fantom & BNB Chain
calculator-
A simple calculator written in Js
chainlink
node of the decentralized oracle network, bridging on and off-chain computation
commonweb3securityissues
Common security findings in smart contracts
crossbeam
Tools for concurrent programming in Rust
cryptofuzz
Fuzzing cryptographic libraries. Magic bug printer go brrrr.
ctf-blockchain
A summary of 100+ CTF blockchain challenges
cusor-lock
My first project using rust and thread stuff
deepstate
A unit test-like interface for fuzzing and symbolic execution
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.
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!
defi-fork-bugs
Bugs in commonly forked DeFi protocols
defihacklabs
Reproduce DeFi hacked incidents using Foundry.
easyexecutor
Play with trait , enum , struct , etc in rust .
easymev
Profit through sandwitch attack
ethereum-book
Ethereum Protocol Basics: A Beginner's Guide by ChatGPT
ethereum-formal-verification-overview
The start page about my efforts around smart contract verification
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.