EVM | DeFi | ZK | DM for audits | prev @cyfrin

Joined April 2019
clz - opcode to return number of leading 0s in a bit Before clz Binary search to find most and least significant bits With clz msb = 255 - clz(x) lsb = 255 - clz(x & -x) What's x & -x? See code comment Code github.com/t4sk/notes/blob/m… Binary examples github.com/Uniswap/v3-core/b…
1
13
1,368
🐸Smart🐸Contract🐸Programmer🐸 retweeted
See Tamaswap for a good example of a “no free lunch” theorem that states nobody can steal user funds with any chain of actions github.com/Bacon-labs/tamasw…
1
2
1
12
999
🐸Smart🐸Contract🐸Programmer🐸 retweeted
Been learning about ZK-SNARKs lately! The core ideas behind modern hash-based schemes are surprisingly accessible & elegant 🧙‍♂️ Partly to teach myself, I wrote a post explaining them from scratch for people like me without a deep math background: xn--2-kmb.com/zk-snarks
22
47
4
552
24,546
Groth16 I will explain the complex equations in the future Notes github.com/t4sk/notes
2
3
1
53
2,064
🐸Smart🐸Contract🐸Programmer🐸 retweeted
🚀 Kann Audits Internship Program 2.0 is here! We're back with our second paid internship program for Security Researchers! Looking for motivated hustlers across: • Solidity • Rust • TypeScript / Off-chain • ZK We're giving emerging talent the opportunity to work on real security audits, build strong portfolios, collaborate with other researchers, and level up their skills. Ready to prove yourself? Apply here: kannaudits.com/internship Once you've applied, comment "Applied!" below 👇
68
22
3
121
6,697
🐸Smart🐸Contract🐸Programmer🐸 retweeted
yBorg - Week 1 Day 2 Meet @0xFlint_, the newest yBorg mentor. A gigachad security researcher with a diverse background who spends his free time getting lost in massive Rust codebases. He share's his audit methodology and thoughts on AI in a new video. Today’s yBorg assignment: - Watch the vid - Soak up the alpha - 👉 Think about how you’d turn his process into an AI-assisted workflow For those who are joining us online, share a diagram in the comments showing how you'd turn Flint's process into an AI-assisted workflow - we'll be sharing examples from the Discord later. This whole week we are thinking about process, both human and AI. We'll be sharing lots of diagrams and examples throughout the week and by the end of the week, fellows complete a diagram of what they are building! @0xFlint_ also hosted an AMA on the discord and we can continue that here in the comments if anyone has anything they'd like to ask. Enjoy the vid and don't forget to share your diagrams and ask questions in the comments!
1
6
1
54
2,107
Elliptic curve add, scalar mul and pair Solidity examples Operations are executed by calling precompiles Reverts if point are invalid (0, 0) is point at infinity Code github.com/t4sk/notes/blob/m…
3
25
1,295
🐸Smart🐸Contract🐸Programmer🐸 retweeted
Dear staking protocols and delegated stakers of ethereum:native, Glamsterdam hardfork is approaching @ethereum mainnet, and there is an important new attack on delegated staking that you should be aware of! 👇
8
13
1
99
10,343
Most digestable explanation of Groth16 soundness building-babylon.net/2026/08… Compares the coefficients for A, B and C and deduces that the ending equation is the Groth16 equation.
1
36
1,759
🐸Smart🐸Contract🐸Programmer🐸 retweeted
about to ship the first batch of wedgies DIY off-the-shelf hardware wallet signs on a gnosis safe build your own or order one today wedgie.dev
23
22
3
147
9,432
I thought about using it to sort collateralized positions in lending and stablecoin protocols so that a liquidation batches from most to least risky positions. But O(N) find, needed to insert a new position, makes integration clunky Similar idea used in Liquity V1 and V2
1
263
🐸Smart🐸Contract🐸Programmer🐸 retweeted
The last months I realized that income from bug hunting is to unregular for me. Because of this I have decided to move more into private audits and do bug hunt only when I have some free time. If you are looking for a security researcher feel free to reach out to me here -> t.me/schnilch
1
2
1
30
3,424
How to evaluate a polynomial at a point on a elliptic curve Notes github.com/t4sk/notes
3
41
1,444
🐸Smart🐸Contract🐸Programmer🐸 retweeted
I wrote code. Now I face 45 years in prison because others misused it. Code that no one controls. Code that no one can change or shut down. Yet somehow, I’m being held responsible for what others chose to do with it.
I feel like the whole BoA money laundering thing should be talked about, but what's left to say? I spent a year in prison for not filling out a form around selling Bitcoin and got in trouble because someone two degrees separate from me allegedly used it to launder funds. The amount in question was around $30k. BoA launders $5b and has to give one fifth of it back to the government. No jail for anyone. This is America.
68
322
22
2,199
117,323
🐸Smart🐸Contract🐸Programmer🐸 retweeted
If you’re looking for a cracked dev, I can recommend Lucas! One of the best
Looking for my next full-stack role -> lucas.website Experience working with multiple Web3 companies, Apple, Amazon, and doing agency work. I've shipped and scaled production apps from first prototypes to thousands of users across various stacks. Have experience using the latest AI tools and setting up AI workflows and pipelines. Bonus: I can still manually read/write code
1
18
1,598
🐸Smart🐸Contract🐸Programmer🐸 retweeted
What's covered: > Road to web3 security research > Slither tool genesis story > AI vs static analysis > Why juniors should avoid AI while learning > Designing protocols around invariants > What makes a great security researcher youtu.be/P5ZbgHvMbs0
4
19
1,295
🐸Smart🐸Contract🐸Programmer🐸 retweeted
We are hiring a Founding Platform Engineer. $400K+ Equity | Full-time | Remote | NA/EU timezones - 7+ years of backend/platform engineering experience, owning complex production systems end-to-end - Deep expertise in TypeScript/Node.js, Go, or Rust, with strong PostgreSQL, APIs, distributed systems, and AWS experience - Proven experience building high-scale, highly available systems handling traffic spikes, caching, fan-out, concurrency, and production incidents - Strong understanding of data consistency, idempotency, replay safety, accounting/rewards systems, and performance optimization - Bonus: Crypto/Web3, trading infrastructure, Solana/EVM, Hyperliquid, cross-chain systems, or high-volume financial platforms Apply now or refer a friend! (Link in comments).
1
2
14
1,354