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

Joined April 2019
Include

Only show posts containing:

Exclude

Hide posts containing:

Time range
-
Minimum likes
Replying to @gabson0x
Sorry to hear. Any evidence that they resubmit your findings?
67
Groth16 - part 2 - Separating factor Multiplying or dividing by a secret value forces the prover to use elements in the CRS only for the intended purpose Notes github.com/t4sk/notes
1
7
624
🐸Smart🐸Contract🐸Programmer🐸 retweeted
We are hiring a Senior Software Engineer, Quality Engineering (SDET). Full-time | Remote | $120K - $180K For candidates based in Europe, Dubai, Japan, Singapore, South Korea, Hong Kong. Requirements: - 5+ years of experience in SDET, Quality Engineering, Test Automation, or Software Engineering. - Strong JavaScript/TypeScript expertise, with hands-on experience in Playwright, Cypress, or similar automation frameworks. - Experience designing and building test automation frameworks from scratch, including reusable testing tools and libraries. - Strong experience in API testing, CI/CD integration, Docker, and end-to-end testing across complex applications. - Experience with AI-assisted testing workflows, automated test generation, or LLM-powered development tools is highly valued. - Bonus: Experience testing trading platforms, exchanges, fintech applications, blockchain systems, or other high-throughput distributed systems. Apply now or refer a friend! (Link in comments)
1
2
20
1,377
🐸Smart🐸Contract🐸Programmer🐸 retweeted
Private transfers are so hot right now, but how many of you understand how they actually work? We got you covered with an easy explainer - so easy, you can show it to your grandma Soon you'll be able to have private transfers live in @ambire 🔥
Private transfers explained:
1
2
18
807
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
19
2,029
🐸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
13
1,159
🐸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
23
51
6
574
27,745
Groth16 I will explain the complex equations in the future Notes github.com/t4sk/notes
2
3
1
53
2,100
Replying to @GB53F8
> i think i should continue my learning and give it some time Yup. Use your time to learn the craft that you enjoy. > Strength Topics that you deeply understand. In your example, from Aave v3, I would look into Aave v3 integration, forks, copies on other chains
13
Replying to @GB53F8
From what I've seen on x, all BBP have unpleasant experience for SRs High submission fees, many duplicates, ghosting and dismissed as private known issues. I would pick BBP by your interest, your strength and amount paid.
2
13
🐸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
122
6,958
🐸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,127
Replying to @rosarioborgesi
Especially protocols with high TVL
1
3
98
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,310
🐸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
14
2
108
15,644
Replying to @cryptodavidw
Learning ZK, AI's answer were often incorrect, circular or superficial. Blog posts like yours helped a lot to double check that I was going in the right direction. But yeah, educative content will fade. Not much to gain for content creators
4
201