
security assessment manager, engineer @sigp_io
Joined July 2021
- Tweets1.2K
- Following446
- Followers9.8K
- Likes4.6K
Andy Li retweeted
We're excited to announce our latest open source project, Anchor, a Rust implementation of the @ssv_network protocol ⚓️🧵
Andy Li retweeted
Interesting info about "Code Complete" in relation to building robust, secure software & learnings from several studies described in the book..
..how it can relate to Smart Contracts and Blockchain development & security
TLDR: "there are on avg. 10-20 bugs per 1K LOC"
🧵 👇
Andy Li retweeted
Alex the Entreprenerd @GalloDaSballo on Freelancing, Business and Internal Security Practices working on @eBTCprotocol
Andy Li retweeted
The next time someone asks you how to REALLY learn zero knowledge proofs, refer them to...
The RareSkills Book of Zero Knowledge: rareskills.io/zk-book
14 chapters long (and growing), it is an open source version of our zk bootcamp.
This is the same educational material our students use to implement zkps FROM SCRATCH, so it is MAXIMUM ALPHA.
Unlike other zk resources, this was written with the typical smart contract engineer in mind, and takes the most direct route from zero to implementation without taking shortcuts.
There is no way to make the learning journey for zero knowledge short -- it relies on numerous unfamiliar concepts that individually take a couple weeks to really grok. However, we have aimed to make this the most efficient path possible while also leaving good mental models to make future learning even easier.
Total word count, not including formulas and source code, exceeds 35,000 words.
One unique feature of this book is that several chapters were written in response to common points of confusion among real learners in our bootcamp. Much of the work has been edited for clarity in response to student feedback. It is more like an average of several learning journeys rather than one author's opinion.
This is battle-tested content!
Why would we release this for free if our zk bootcamp is paid?
Our zk bootcamp is intended for people who need to make the most of their time. Learning this subject on your own, while possible, is going to be slower. So if you are determined to learn zero knowledge, and time is more valuable to you than money, our bootcamp is for you. But for everyone else, enjoy this free resource!
It took us over four months of full time work to create it, so the opportunity cost easily crosses the six figure mark.
We will be seeking grants from zk companies to continue expanding this work and teach even more zk algorithms, so if you know the right person, please connect us!
RareSkills is hands down the go-to resource for intermediate and and advanced blockchain developers.
We still have more mega explainers on the horizon. Stay tuned.
Andy Li retweeted
🧵 Fuzzing Library Contracts: A Deep Dive into a Critical Bug found in Lyra's SVI Library 🐛
We often speak about the significance of fuzzing, especially for library contracts. Their intricate nature makes them the perfect candidates. Notably, math-heavy libraries stand out
Andy Li retweeted
An update on the Blockchain Security Intern position:
Thank you for the overwhelming interest!
Due to the number of applications received, it has taken a bit longer than expected to go through them all. We have just finished reading through each one and is in the middle of the decision making process.
Some stats for those interested:
- 182 total applications
- 50 very strong applications (will be interviewing a subset of this group)
- we will be taking on 2-3 people this intake round
We were surprised at sheer number talent that is out there in the blockchain security space. 🚀
Thank you for your patience. If you applied, expect to hear from us soon!
Andy Li retweeted
A Thread on Auditing Merkle Proofs in Smart Contracts
🧵
1/ 🍂 Prevent Creating Subtrees Out Of Leaves
- Use domain separation between leaf hashing and node hashing OR ensure leaf nodes aren't the same byte-size as two child nodes.
Andy Li retweeted
Since there’s an ongoing discussion on how much $ web3 Security researchers earn. Let’s put it to a test, simply choose your best month so far.
*Please Retweet for visibility
57%< 10k
16%10 - 30k
7%30 - 50k
20%Above 50k
517 votes • Final results Andy Li retweeted
Audit Bites: Snackable Insights 🍩🎙️
It’s break time! 🕒
Grab your snack & tune in to today’s feature: @andyfeili interviews @trust__90, ex-NSO Group hacker turned web3 bounty hunter & independent security researcher.
#SecureWithUnsnarl
youtube.com/watch?v=NC4uzV-s…
Andy Li retweeted
Replying to @milotruck
Joining an organization after success in contests is fairly straight forwarded - since the results speak for themselves. I contacted firms I wanted to join directly (even if they were not actively advertising for a role), and interviewed with a bunch of different firms.
I initially joined Spearbit and was involved in an audit with them last year, but it was hard to get consistent work at Spearbit unless you are a LSR.
So I eventually decided on sigp due to their audit process and timezone which worked best for me.
Andy Li retweeted
Personal notes on what I did as a security researcher on smart contract development.
This one will be long, I think I will stop creating threads because threads are just a pain to read.
The following lines are not bits of advice, they are things that worked for me, how i approached the field. Never try to copy/paste what you read on the internet, and try to tailor ideas to your mental models.
*****
I want to emphasize, again, security researcher on SMART CONTRACT DEVELOPMENT, not blockchain.
Why? Because some of the topics that I will list, do not require very deep knowledge.
*****
Foundational:
Understand how a blockchain works, consensus mechanisms, and the basics of cryptocurrencies.
🚦This requires knowledge sync from time to time.
---
Smart Contract Platforms:
Familiarize yourself with various chains and their differences: Roll-ups, side chains, L1, L2, L3 whatever. You need to know the basic differences.
🚦This requires knowledge sync from time to time.
---
Learn Solidity, Vyper or whatever you want to be focused on to review as a researcer:
For Ethereum, Solidity is the most widely used language. But you can also expand to other languages like Vyper.
❗️This one requires a very deep knowledge; do not stop learning in this category.
----
Hands-On Practice:
Deploy Contracts: Start by writing and deploying simple contracts. Understand the full life-cycle of a development process.
❗️This one requires a very deep knowledge; do not stop learning in this category.
---
Testing Frameworks:
Learn tools like Foundry, and Hardhat to be able to test, deploy contracts and write PoCs.
❗️Do not stop learning in this category.
---
Understand Common Vulnerabilities:
Research common smart contract vulnerabilities. In this category, there are numerous resources that you can explore, the most used at the moment is solodit.
❗️Do not stop learning in this category.
---
Advanced Tooling:
Familiarize yourself with tools used for fuzzing, symbolic execution, invariant testing, mutant testing etc.
🚦This can be an extra once you reach a certain level of confidentiality on your basics.
---
Communities:
"It takes a village to raise a child"
It is detrimental to be part of a group that exchanges ideas. I know that most of the security researchers might not like this, but the blockchain field evolves so much that we must collaborate more to divide the work to be able to hold the front. Divide et impera.
---
Ethical Considerations:
Never exploit vulnerabilities in real-world contracts without permission. The consequences, both legal and financial, can be immense.
This is not discussed enough; the ethics of a Security Researcher should be like the Hippocratic Oath.
---
Contribute:
The blockchain community values open-source contributions. Sharing tools, findings, or writing about vulnerabilities can establish your reputation.
---
Soft Skills:
Like any other security role, being able to clearly communicate vulnerabilities, risks, and fixes to developers and stakeholders is crucial.
Something that you might not like but you have to get better at. A security risk explained well is 50% fixed.
There might be more, I might have a part 2 if I find more inspiration, I hope it makes sense.
Stay safe, frens!
🪪
Andy Li retweeted
I'm throwing down the gauntlet and doing a daily security alpha thread for 30 days straight. Friends finally convinced to share more on twitter.
Starting on August 1 '23, tune in 📺
Andy Li retweeted
The PoC of the KyberSwap Elastic Pools vulnerability is now available: github.com/one-hundred-proof…
It contains the original exploit and a new test showing that the updated pools are no longer vulnerable.
Thanks for waiting so long.
Andy Li retweeted
🎉 @ethereum's KZG ceremony will end tomorrow! We're immensely proud to have contributed to bolstering the security of the ceremony. Dive into this thread to learn about a critical bug we identified and helped address 🛡️🔍
🕯️only 4 days left to contribute to ethereum's KZG ceremony🕯️
ceremony.ethereum.org
Andy Li retweeted
We've released over 50 new security assessment reports 🐞 📃 🎉
Targeting Solidity, Go, and Rust codebases, these security reviews have been conducted over the past 4 years for prominent projects (L1s, L2s, bridges, smart wallets, DeFi primitives, etc)
github.com/sigp/public-audit…
Andy Li retweeted
We wanted to start with a banger, so we invited @GalloDaSballo for our first episode!
We covered:
- How to get better 🏋️♀️
- How to get business 🤑
- How to pick the right auditing contest 🌶️
AND MUCH MORE
Key takeaways below 👇
youtube.com/watch?v=7QF8KDS9…
Andy Li retweeted
Tomorrow, @KyberNetwork will be re-releasing their KyberSwap Elastic Pools. I'm finally able to reveal that I was the whitehat who found and disclosed a critical bug that put over $100M of LP funds at risk...















