Hari @_hrkrshnn Twitter profile

Last Seen Profiles

@AkiHuski_pon

@ImSoCoolPool1

@CGraham88

@melyna_cstlnt

@Lexy_xxx_

@eskumuturreko

@jessp_yos

@kosar_mim

@HibikiVtuberTW

@imrayneb

@winterische

@undyingsage

@galery_basah10

@hammyXBT

@tohrxyz

@FIBREE_ORG

@Iharassyou_

@Goon_Enthusiast

@ojulioandrade

@drtinamaster

@Jorge_Most_

@Evajkh

@RoEnLaRed

@EvilsESP

@belenix_ceo

@annieghrist

@maryam45555

@cpasicj

@kiwipxrker

@ppinheiroo

@jewelsproject

@ambasciatore59

@SUPERSTARSAVIOR

@kswavyy

@Dale_Howard

@hwood60007

Hari

@_hrkrshnn

1 year

An unfortunate downside of 1559 and the merge is that it killed the idea of 'clean ETH'. Pre-1559, one can get 'clean ETH' by 1. finding an arbitrage in the network, 2. write a contract that executes it in the constructor, 3. forward a portion of the arbitrage to the miner,

Toni Wahrstätter ⟠

@nero_eth

1 year

With EIP-1559, zero gas transactions are no longer possible. Together with @lightclients and @gballet , we reintroduced them by implementing a PoC for a gas ticketing service. It uses blind signatures to fund unfunded accounts in a privacy-preserving way.

19

51

302

9

32

255

Hari

@_hrkrshnn

2 years

Instead of teaching kids how to count, teach: 1. axioms of set theory (ZFC), 2. how to construct natural numbers with Peano axioms, (constructing integers and rational numbers are now trivial) 3. how to construct real numbers from rationals using Dedekind cuts.

10

15

223

Hari

@_hrkrshnn

2 months

Few people know this - Alex wrote the #1 contract on Ethereum in TVL. $170B in TVL (deposit contract) - wrote significant chunks of the solidity compiler - shipped nearly all key changes in EVM since its launch He's currently building Cantina Code.

axic.eth

@alexberegszaszi

2 months

Me shipping: "Alex spends 1168% more time coding than tweeting"

3

5

108

7

162

Hari

@_hrkrshnn

10 months

Do you want to try building something with transient storage (EIP-1153)? Here's a foundry template with custom solc binaries that supports `tstore` and `tload` inside inline assembly. You have end-to-end support (solc, forge and revm)!

GitHub - hrkrshnn/tstore-template

Contribute to hrkrshnn/tstore-template development by creating an account on GitHub.

github.com

4

19

152

Hari

@_hrkrshnn

2 years

Fixed point arithmetic is the most widely requested solidity feature in the last few years. We ( @alexberegszaszi , @chfast ) are proposing the opcode `muldiv` () that will allow us to have a cheap and generalized way to perform these operations, and more!

EIP-5000: MULDIV instruction

Introduce a new instruction to perform x * y / z in 512-bit precision

eips.ethereum.org

13

35

151

Hari

@_hrkrshnn

5 months

So who's going to perform the last real selfdestruct on Ethereum? We say goodbye tomorrow. Do you want to etch yourself in history? Go get them: - The last real selfdestruct. - The first 4844-blob, mcopy, tstore and tload.

6

7

124

Hari

@_hrkrshnn

1 month

We're getting @optimizoor a new laptop on the @cantinaxyz credit card. Solady is going to get even more cracked.

emo.eth

@emo_eth

1 month

one of the highest ev things dapp developers could invest in rn is crowdfunding an m3 device for @optimizoor think of how much more he could ship

16

1

113

8

2

122

Hari

@_hrkrshnn

1 year

Free, open-source, and public-goods software in this space doesn't get the security attention it deserves. This includes ethers.js, solady, solmate, OZ-contracts, solc, vyper, and countless others upon which this ecosystem is built. We need a sustainable mechanism for public

Cantina 🪐

@cantinaxyz

1 year

The Maiden Voyage: A Security Review of Solady What is Solady? And why is it the perfect inaugural project for Cantina? 👇

4

28

102

1

6

113

Hari

@_hrkrshnn

9 months

I'll be moderating a panel on EVM languages tomorrow, with @Maddiaa0 (Huff), @0xz80 (Vyper), Grant (Fe lang) and @jtriley_eth (Edge) at the @solidity_lang summit. Send me your hardest questions.

18

13

113

Hari

@_hrkrshnn

2 years

Fun fact: the Vyper code has a critical compiler bug. Calling transfer / transferFrom where token is an address without code / EOA would succeed here.

señor doggo 🏴🏴‍☠️ in his wartime ceo era

@fubuloubu

2 years

alpha leak, to save gas... just use Vyper lmao

31

113

881

8

10

102

Hari

@_hrkrshnn

4 months

Spearbit onboarded two security researchers that did exceptional well in @cantinaxyz competitions. Welcome to Spearbit @cergyk1337 and @Xc1008Cui Winning on Cantina opens a door to so much more.

3

2

102

Hari

@_hrkrshnn

1 year

Wrote a rust lib for working with solc's AST: It aims to be 1-1 compatible with solidity's internal representation () and have identical visitor implementations. Analysing the AST is now as simple as this:

Hari

@_hrkrshnn

1 year

Is there a rust implementation of solc's AST (1-1 of the json export from solc) and some visitors? This PR by @onbjerg is the closest I could find.

4

1

9

5

15

99

Hari

@_hrkrshnn

2 years

Here's a solidity trivia: I'll mint an NFT to the first person with a solution Implement a solidity contract with a pure function that can modify storage. Let's say, a contract with a single external pure function and calling it should update the storage slot 0 from 0 to 1.

10

6

96

Hari

@_hrkrshnn

5 months

Spearbit is the closest thing to having a Bell Labs in crypto. The talent we aggregated is so dense. I want to look back 20 years from now and see all the things people from @SpearbitDAO have built.

philogy

@real_philogy

5 months

I'm very excited to publicly announce that I've joined @SorellaLabs as their newest Founding Protocol Engineer. 💼 Excited to help set the new standard for safety, efficiency and UX in DeFi and MEV infrastructure. ⚡️

26

10

300

2

4

94

Hari

@_hrkrshnn

2 years

How can we check if two numbers are coprime (no divisors other than 1) in EVM? Wrote about a few ways to solve this in There is a surprisingly efficient way to do this on-chain! Was originally inspired by the partial-fill mechanism in Opensea's Seaport.

2

15

88

Hari

@_hrkrshnn

7 months

@code4rena @zksync Congrats @xuwinniexu . You beat Spearbit's record for the highest ever payout in a competition. We want you 🫡

3

1

90

Hari

@_hrkrshnn

1 year

The audience wants more. How about we continue this for 2 more hours in a twitter space next week? The spice must flow.

Defi Security Summit

@summit_defi

1 year

We like our panels spicy 🌶️ 🌶️ Join the debate between conventional and community audits 🔥 🔥 Moderated by @0xRajeev and the fearless panelists @GNSPS @_hrkrshnn @jack__sanford @Montyly @ethzed @mitchellamador @sockdrawermoney Tune in at 15:25 CET

4

8

42

5

13

86

Hari

@_hrkrshnn

2 years

Will be covering two topics: 1. On ABI encoding, particularly about the new `abi.encodeCall` 2. The future of fixed point arithmetic in Solidity and more broadly in the EVM.

ETHGlobal

@ETHGlobal

2 years

─ 𝐄𝐓𝐇𝐎𝐍𝐋𝐈𝐍𝐄 𝐃𝐄𝐕𝐓𝐎𝐎𝐋𝐒 𝐒𝐔𝐌𝐌𝐈𝐓 🔧 ─ Topics in Solidity by @_hrkrshnn

1

3

15

4

12

84

Hari

@_hrkrshnn

2 months

The final boss of DeFi security is competing in the @eulerfinance competition on @cantinaxyz Good luck everyone!

5

4

76

Hari

@_hrkrshnn

4 months

Multisigs on L2s with passkeys (sign with fingerprint) and paymasters. Who is building this? The ingredients for building this are available today. But a good product is missing -- try paying people in stablecoins at scale.

23

6

75

Hari

@_hrkrshnn

2 years

Here's a solidity trivia for all the optimizooors out there. What's the optimal way to convert a dynamic array of addresses (`address[] memory`) to a dynamic array of interfaces (say `IERC20[] memory`)?

5

70

Hari

@_hrkrshnn

1 month

Yes, Tao is insane. However, few people know the story of how Tao almost failed an important exam, which triggered him to turn his life around.

kache

@yacineMTB

1 month

recently learned about this guy called terry tao holy shit this guy is insane

284

233

6K

5

4

72

Hari

@_hrkrshnn

6 months

LLMs x Security An AI bot, code-named 📎 helps @cantinaxyz triage bug submissions. It is very good at classifying duplicate bug reports, and we're constantly making it do more. This is a good one 🤯

2

68

Hari

@_hrkrshnn

7 months

If you want to learn some nuances of ABI in Solidity, the writeup we did for Seaport is a good read. Also to note: these issues are rarely important in the context of a specific contract, but similar issues in a complier would be much more severe.

Seaport QA and Low severity issues

Seaport QA and Low severity issues. GitHub Gist: instantly share code, notes, and snippets.

gist.github.com

nisedo

@nisedo_

7 months

i was looking for which QA report has won the most $$ since the beginning of @code4rena , and i wasn't disappointed @SpearbitDAO 's QA won $18443 on the @opensea Seaport contest 💰

2

3

39

2

69

Hari

@_hrkrshnn

10 months

Welcome to Spearbit @Shanon40439853

Immunefi

@immunefi

11 months

It’s time for a #whitehatsuccess story. Meet GothicShanon. He currently holds the #5 position on the Immunefi leaderboard, and has made more than $2.8 million from bug-hunting. Here’s his story. 👇(1/20)

9

33

159

5

2

67

Hari

@_hrkrshnn

1 year

The reason `basefee = 0` doesn't work any more is that 1559 forced an implicit lower-bound of gasprice, it can never go below `7 wei`. This fact is not explicitly mentioned in the EIP, but here's a proof that I wrote for it a while ago:

1

5

63

Hari

@_hrkrshnn

1 year

Here's a sneak peek from my talk. Scanned the chain and found the 'up only' contract.

Defi Security Summit

@summit_defi

1 year

🎙️ Speaker Announcement! 🎉 Join us at the #DeFiSecuritySummit to hear @_hrkrshnn of @SpearbitDAO talk about “EVM Design Mistakes” Stay tuned for more updates on our lineup! 🌟 🌐 More info:

0

11

6

0

66

Hari

@_hrkrshnn

1 year

If you want to level up your Yul skills and can read some cpp, here's what you need to read:

4

9

65

Hari

@_hrkrshnn

2 months

Madman submitted their project to be judged for 'best smart contract' track with an ERC20 contract written in Rust. See below for the code.

Leo Alt

@leonardoalt

2 months

Really happy that we managed to pull off what at first felt like a crazy ambitious technical project for a hackathon. Big thanks to my teammates @lcvella , Rodrigo, Moritz and ofc @ETHBerlin !! Running on no sleep so a write-up will come later this week

7

4

80

2

4

63

Hari

@_hrkrshnn

6 months

Winning this competition will be how legends are made. If the largest bounty pool in history is not attractive enough, @SpearbitDAO will be looking to hire the winners! Security researchers: prepare by learning about optimistic rollups, bridges and yield bearing assets.

Cantina 🪐

@cantinaxyz

6 months

Welcome to the largest competition in history with... @Blast_L2 🪐 💰 $1,200,000 USDC 🗓️ January 30th, 3:00 PM EST / 20:00 PM UTC 📍 Invite only. Don't have one? Details below:

249

327

450

3

62

Hari

@_hrkrshnn

1 year

If you are keen to learn more about handling memory in Solidity, the first challenge in the RACE is for you. This is based on a real-world (low-severity) bug in popular Solidity libraries. The second one touches on a subtle difference between the high-level return in solidity

patrickd

@patrickd_de

1 year

Write-Up of RACE-20, Quiz of @TheSecureum Bootcamp for Ethereum Smart Contract Auditors. This one was designed by none other than Hari ( @hrkrshnn ), Secureum Mentor and Co-Founder of Spearbit. Got stumped under the time limit? Try again now!

4

11

72

2

13

61

Hari

@_hrkrshnn

1 year

Can't wait to show what we are cooking 🪐

Cantina 🪐

@cantinaxyz

1 year

🪐 Cantina Raise Announcement 🪐 Cantina has raised a $7M round to launch our web3 security marketplace: This would not be possible without @hiFramework leading the round as well as: @nascentxyz @1kxnetwork @VoltCapital @Breed_VC @robotventures

19

47

219

4

1

59

Hari

@_hrkrshnn

3 years

Here's a walkthrough on how the solidity compiler optimizes the expression `if (X > 0)`.

Hari

@_hrkrshnn

3 years

@transmissions11 @PrimitiveFi 1/3 For more info: `if (X > 0)` is translated into `iszero(gt(X, 0))`. The optimizer translates that into `iszero(iszero(iszero(X))` (). Further, that is translated into `iszero(X)` ().

1

16

2

4

54

Hari

@_hrkrshnn

7 months

Our old website was 10 lines of raw HTML. It was there for the last 2 years. Since then, we've been singularly focussed on one mission: providing the highest quality security possible. We will be accelerating so much this year, can't wait!

Spearbit

@SpearbitDAO

7 months

New Year. New Spearbit. With TVL exploited increasing year after year, Web3 is at a crucial inflection point. Simply put. We need to do more. Introducing the new Spearbit:

12

108

3

4

58

Hari

@_hrkrshnn

3 months

If you like MEV infra and rust 🦀 this is a great read to understand the type of security issues that exist in such systems.

Titan Relay 🌕🔗

@titanrelayxyz

3 months

A comprehensive security audit has been carried out by @SpearbitDAO , led by @ralexstokes and @mattsse_ Audit:

1

34

2

7

57

Hari

@_hrkrshnn

2 years

It's really nice to use both foundry and ethers-rs in the same project. Here's our fast sha256 cruncher (~3 mins on cpu) to invert a 32-bit hash for Vanity from @paradigm_ctf . Foundry is used to generate the ABI-JSON, and ethers-rs conveniently generates the rust bindings for ABI

Hari

@_hrkrshnn

2 years

@danielvf @paradigm_ctf Here's the cruncher we wrote: . Produced a result in ~3 minutes.

4

5

41

4

57

Hari

@_hrkrshnn

7 months

PSA security researchers, clear your schedules for the next 8 weeks because @cantinaxyz has some major things coming your way.

2

3

56

Hari

@_hrkrshnn

4 months

Zigtur is a great example of a security researcher who consistently showed up, put in the work and played long term games.

Zigtur

@zigtur

4 months

Ranked 2nd in @eigenlayer competition on @cantinaxyz 🔥 Hard work seems to be the way 👀🫡

15

1

109

1

2

55

Hari

@_hrkrshnn

5 months

PSA security researchers: keep your calendars wide open for the next 3 months. @cantinaxyz has some news for you.

8

3

56

Hari

@_hrkrshnn

9 months

The most common question I get is "How do I join Spearbit?" Competitions are an unreasonably effective way to find upcoming talent. @SpearbitDAO will be reaching out to the top 10 in @cantinaxyz leaderboard (2x a year) and getting them into Spearbit!

Cantina 🪐

@cantinaxyz

9 months

Hello all we will be hosting a spaces with @MorphoLabs on all things Cantina Competitions, Cantina Code, and Morpho Labs before we kick off this coming Monday! We will be giving invite codes away to all in attendance :)

5

6

20

0

10

57

Hari

@_hrkrshnn

2 years

Why isn't Solidity using external tools to improve / optimize the code generation?

4

57

Hari

@_hrkrshnn

5 months

@cantinaxyz is hiring a DevOps engineer. We're building GitHub for security. It must be faster than @github and on par with @linear . You'll help us build something our users love. DM me if you like: - speed - database optimizations - security - rust - winning

4

5

52

Hari

@_hrkrshnn

11 months

I'm looking for an exceptional frontend engineer (Typescript / React), DM me if you have experience building dev tools.

11

2

51

Hari

@_hrkrshnn

4 months

Fun story: a security researcher rejected an offer from Citadel out of college to join Spearbit. They're a Lead Security Researcher with us today! A rare L for Ken.

quantymacro

@quantymacro

4 months

hitting every single club tonight brb. hopefully the baddies have seen the viral 7 fig TC tweet inshallah

23

22

1K

4

0

51

Hari

@_hrkrshnn

2 years

@0xCygaar The difference in gas is due to the compiler missing an inlining step in the legacy codegen. In the new codegen, this should be fixed and both of them will have identical gas.

2

0

50

Hari

@_hrkrshnn

2 years

I'll be talking about "Symbolic computation for fun and for profit" today at 15:30 COT: We'll be building an end to end symbolic solver for the opcodes lt, gt and iszero!

1

7

50

Hari

@_hrkrshnn

5 months

I'm trying out every single thing you can do with @github . With AI making it easier than ever to write code, it's clear how GitHub will have 1B+ users in the next decade (100m+ users in 2023). Easily the most consequential product out there.

2

0

49

Hari

@_hrkrshnn

7 months

We did an early beta test for Cantina Code for a 2 people team, and one of the researchers told us they can't go back to doing reviews any other way. We're going to fundamentally change how collaboration is done in a security review. No more sharing spreadsheets, discord,

Cantina 🪐

@cantinaxyz

7 months

One of the many features for security researcher QoL. Multiple new updates dropping today as well - stay tuned 🪐

0

6

2

49

Hari

@_hrkrshnn

6 months

This tweet is prophetic. A lot of recent DeFi hacks have been due to subtle rounding issues (yesterday's MIM being the most recent). @SpearbitDAO has been helping protocols look for these, both in very old deployed code and during early stages of development.

cmichel

@cmichelio

8 months

I wonder if there'd be demand for a niche auditing shop only checking rounding issues. Manual review & building tools like @trailofbits ' roundme. They don't seem to get enough coverage from current auditors but can be critical in hundred finance & kyberswap-style attacks.

11

5

99

2

1

46

Hari

@_hrkrshnn

2 years

@NoahZinsmeister @transmissions11 @msolomon44 @brockjelmore @ori_pomerantz @sendmoodz Here's an example contract for this:

Run by `solc --strict-assembly --optimize --ir-optimized`. Context: https://twitter.com/NoahZinsm...

Run by `solc --strict-assembly --optimize --ir-optimized`. Context: https://twitter.com/NoahZinsmeister/status/1499845282598731782 Need to use Yul, since there is no `verbatim` in Solidity'...

gist.github.com

1

2

48

Hari

@_hrkrshnn

6 months

@HollaWaldfee100 @code4rena The elite researchers don't do it for the money. They do it for the thrill of finding that one bug everyone missed and the smell of victory. It is addicting. The money is just a side effect. I love working and getting to know the incredibly talented researchers at @SpearbitDAO .

1

2

47

Hari

@_hrkrshnn

11 months

ChatGPT and I wrote a murder mystery. Coming to you live this Friday on chain.

Curta

@curta_ctf

11 months

Puzzle 17 🧩 Coming Friday, Sept. 8 By @_hrkrshnn , the co-founder of @SpearbitDAO , previously worked on solc ( @solidity_lang ).

1

3

50

5

2

46

Hari

@_hrkrshnn

2 months

@sockdrawermoney Sorry about that, fixed it. We tried ads for the first time 2 weeks ago and just disabled dynamic search ads. Shouldn't happen again.

3

1

48

Hari

@_hrkrshnn

2 years

@EdgarArout You leave 1 wei for good luck. Make a wish after sending 1 wei via selfdestruct.

1

0

45

Hari

@_hrkrshnn

6 months

For researchers: say goodbye to all the DMs in Discord. One single tag to streamline your questions: @project . For clients: no more drowning in DMs and Discord threads. Enjoy a single place for all Q&A! But this is much bigger than that, here's why ...

Cantina 🪐

@cantinaxyz

7 months

🔸Client Pings are Live🔸 No more annoying discord threads. No more mentions. Notify and communicate with clients directly in Cantina Code. We've also added 3 more major updates. Full QoL update details in our thread below:

5

6

46

3

42

Hari

@_hrkrshnn

1 month

Faster judging needs better tools. Introducing ⌘-k on @cantinaxyz . A fast and ergonomic command bar for judging and more!

4

0

44

Hari

@_hrkrshnn

11 months

The history has been unkind to its brightest minds: Galois, Galileo, Archimedes, and others met tragic fates. Join me in unravelling a mysterious murder from two millennia ago!

Curta

@curta_ctf

11 months

🏆 First Blood by @lj1nu on @_hrkrshnn 's Puzzle 17! 48 hours left in Phase 1 and 72 in Phase 2. The on-chain aspect may be helpful for this puzzle:

4

6

29

2

8

43

Hari

@_hrkrshnn

1 year

@gakonst I've run Geth, Erigon, Nethermind and Akula. No hard metrics here, but haven't come across a single noticeable issue while running Geth. The others had one or two minor issues. For example, the Erigon traces on the merge block were inaccurate--I had a successful tx that the

6

2

40

Hari

@_hrkrshnn

9 months

@emo_eth `forge inspect ContractName methodIdentifiers`

4

1

40

Hari

@_hrkrshnn

4 months

Cantina code just got faster. We shipped a new release that makes our findings page even faster. We benchmarked it against GitHub, and it's nearly twice as fast as GitHub issues! Here's a recording of the findings from our ever public competition with @MorphoLabs .

2

0

40

Hari

@_hrkrshnn

3 months

The @Optimism competition is live! Here's a Cantina Code feature that is useful for this review. The scope of the competition is only 4 contracts out of the large monorepo. You can easily filter this in Cantina Code.

Cantina 🪐

@cantinaxyz

3 months

Our competition with @Optimism is officially live! We are hosting a live code walkthrough and Q&A with the OP team tomorrow in the Cantina Competitions Discord. (Link to join open for 24 hours below) $75,000. 5 Days. Make it count researchers. (Invites at end of thread 🪐)

1

3

20

3

6

41

Hari

@_hrkrshnn

2 years

@danielvf @paradigm_ctf Here's the cruncher we wrote: . Produced a result in ~3 minutes.

GitHub - hrkrshnn/crunchvanity

Contribute to hrkrshnn/crunchvanity development by creating an account on GitHub.

github.com

4

5

41

Hari

@_hrkrshnn

2 months

@jack__sanford Yes! Cantina Code makes this possible and seamless. - Our clients love it: you get to have real-time discussions about findings and plan ahead of time for making fixes. - (most) security researchers love it: you get real-time feedback on findings and have discussions about bugs

3

0

40

Hari

@_hrkrshnn

1 year

Just finished my slides for @Interop_Summit . Here's a teaser: The answer is several layers deep.

6

4

38

Hari

@_hrkrshnn

3 years

A thread on why Solidity's new Yul based codegen can be superior to the current legacy codegen.

Hari

@_hrkrshnn

3 years

@transmissions11 1/7 In theory, it should, because there is a rule for that in the list (). In practice, this isn't happening. This is a good place to introduce the difference between the legacy codegen and the Yul codegen, and their corresponding optimizers.

1

2

19

0

6

37

Hari

@_hrkrshnn

6 months

This will be historic. Hearing rumors about legendary CTF players, core-devs, L2 teams, and legendary whitehackers competing for the top. Who is going to win? 👀

Cantina 🪐

@cantinaxyz

6 months

The largest competition in history with @Blast_l2 is now live! 💰 $1,200,000 USDC 🗓️ End Date: Feb 20, 20:00 PM UTC 📍 (Competition Link Provided Below) Welcome to the Cantina everyone. This is only the beginning 🪐

13

9

70

2

0

38

Hari

@_hrkrshnn

2 years

The only new EVM feature in the last 3 years--`basefee` opcode. I'd love to see the EVM with transient storage, EOF suite, muldiv, account abstraction, memcpy, new stack manipulation opcodes, 3074 etc.

𝖊𝖛𝖆𝖑𝖎𝖗

@hievalir

2 years

@GiulioRebuffo yeah. to me what's honestly weird is: 1 - how hard it is for solidity/evm focused devs to even get something included. When it is included, everyone complains 2 - how it was fine to delay withdrawals for 4844 but is suddenly not fine with EOF

2

0

4

2

3

38

Hari

@_hrkrshnn

4 months

Start building your teams for the Euler competition on @cantinaxyz ! Cantina Code was built for teams from day 1. GitHub allowed everyone in a team to build better software together. We are bringing this to security.

George Hunter

@GeorgeHNTR

4 months

Looking for a teammate for the Euler V2 contest at Cantina: I want to team up with some great researcher(s) that I'll really enjoy working with for this contest and possibly continue working with them at @HunterBlockSec 🫡 Say hi in the replies and I'll DM 🙏

30

3

60

1

37

Hari

@_hrkrshnn

5 months

Imagine selfdestructing XEN. All that state that needs to be zeroed out.

storm

@notnotstorm

5 months

new research from @paradigm : How to Raise the Gas Limit ⛽⛽ lots of people want to raise the gas limit, but so far most of the discourse has lacked detailed quantitative evidence that ends today. we are making the scientific case for scaling Ethereum using ultra-high-res data

57

327

1K

3

2

36

Hari

@_hrkrshnn

6 months

@csanuragjain @cantinaxyz @immunefi Just wait a few more days for the second-biggest competition of the year @cantinaxyz

8

1

37

Hari

@_hrkrshnn

8 months

As an emacser for ~10 years, copilot is the closest thing to making me move over to vscode. The emacs community is fully of mad hackers, like that physicist who wrote a jit complier for (emacs) lisp to make packages run faster. They'll have the upper hand soon. Long live emacs!

7

0

35

Hari

@_hrkrshnn

10 months

What do we know about side-channel attacking the brain to extract information? I'm building a team of pirates. We will be side channel attacking satoshi's cryo-frozen brain to extract his private keys. The loot is 1M BTC.

4

1

36

Hari

@_hrkrshnn

1 year

push0

Solidity

@solidity_lang

1 year

We just released Solidity 0.8.20! 🚀 This latest version includes a range of improvements in the via-IR pipeline and improves the list of events exposed in the contract ABI, and, most importantly, support for Shanghai! 📖: 💾:

416

249

573

1

34

Hari

@_hrkrshnn

2 years

Will be talking about "The Solidity Optimizooooor".

Solidity

@solidity_lang

2 years

Less than 1.5 weeks to go until we meet for Solidity Summit in Amsterdam! 🎉 You can look forward to talks from: ➔ @ethchris ➔ @VeridiseInc 's Jon Stephens ➔ @solidity_lang 's Daniel Kirchner ➔ @official_fe 's Grant Wuerker ➔ @_hrkrshnn ➔ @EthereumRemix ' Aniket

3

12

37

0

3

34

Hari

@_hrkrshnn

2 years

There is a neat connection between the 100 Prisoner's problem () and optimizing stack operations (swap*) in the EVM. Both are about cycle decompositions of permutations!

100 prisoners problem - Wikipedia

en.wikipedia.org

2

0

33

Hari

@_hrkrshnn

2 years

@transmissions11 We're just missing optimizer rules for this. I'll probably write a PR for these rules this week.

2

0

33

Hari

@_hrkrshnn

11 months

@SpearbitDAO wouldn't be Spearbit without @gpersoon . The first LSR!

Gerard Persoon

@gpersoon

11 months

Interesting interview with @_hrkrshnn by @RealJohnnyTime which includes the starting period of @SpearbitDAO . As I was also part of that history its fun to listen to.

1

0

31

2

1

32

Hari

@_hrkrshnn

3 months

May lineup Optimism Aave Euler Cantina Code is the future.

Cantina 🪐

@cantinaxyz

3 months

Optimism ($75,000 USD) | May 6 - May 10 Aave ($150,000 USD) | May 10 - May 20 Euler ($1,250,000 USD) | May 20 - June 17 Nonetheless, ask and you shall receive. You want more? You got it. Plenty more cooking at the @cantinaxyz . 🪐

4

5

29

3

1

32

Hari

@_hrkrshnn

8 months

We got some special holiday competitions coming up in @cantinaxyz 👀🪐

1

31

Hari

@_hrkrshnn

6 months

Cantina Code is going to bring a product experience like never before into security. Invite codes below:

2

3

32

Hari

@_hrkrshnn

1 year

@optimizoor 🧐

4

0

30

Hari

@_hrkrshnn

1 year

@onbjerg Yes, I use "solc `forge re` src/File.sol" to directly compile contracts.

2

3

31

Hari

@_hrkrshnn

1 month

It was amazing to see many security researchers fly in for Spearbit's first Hackerhouse! Some of the most interesting submissions for the Euler competition came from people who were at the event!

Spearbit

@SpearbitDAO

1 month

At the very beginning of the $1.25M @eulerfinance competition at @cantinaxyz , we hosted our very first Hacker House in Berlin, Germany. A full-day of hacking away at the codebase live alongside the Euler protocol team and some of the best security researchers in the industry.

1

3

55

2

0

30

Hari

@_hrkrshnn

5 months

@transmissions11 I wasn't following anyone on GitHub and decided to follow some people 🫡

0

30

Hari

@_hrkrshnn

9 months

Can't wait to tell the story of how we solved grains of sand!

1

0

28

Hari

@_hrkrshnn

1 month

We launched notifications on @cantinaxyz less than 6 months ago - The notification page is the most viewed page on Cantina! - We sent more than 250k notifications!

Hari

@_hrkrshnn

6 months

There's one place to keep track of all your security work: Researchers: see updates to your comments, pings, findings, judging progress and payments in real time! Protocol teams: one place to see everything that's happening during your security review!

1

16

3

0

29

Hari

@_hrkrshnn

2 years

It's `a` if you use `--via-ir`!

franzi 🦈

@_franzihei

2 years

Hari’s @solidity_lang Summit talk starts with a riddle. Which one is more gas efficient? @_hrkrshnn

27

10

168

1

2

26

Hari

@_hrkrshnn

6 months

We're about to deliver the greatest competition experience ever! Cantina Code is getting faster, smoother, better 🦀

Cantina 🪐

@cantinaxyz

6 months

Notifications on. History will be made. All will be revealed soon with @Blast_L2 . Only on @cantinaxyz 🪐

15

11

95

2

0

27

Hari

@_hrkrshnn

4 months

Over the last few years, we've gotten much better at securing core infra and smart contracts. But OpSec issues continue to haunt a lot of teams today. @cantinaxyz is helping teams level up their operational security. Here's what we did recently:

Cantina 🪐

@cantinaxyz

4 months

Cantina is more than just a competition platform. See how @Kwenta_io partnered with @cantinaxyz and Graypoint Security to help mitigate one of the biggest attack vectors every Web3 project faces: OpSec.

4

37

1

2

28

Hari

@_hrkrshnn

6 months

@jtriley_eth @IAmNickDodson I wrote the original solc implementation for tstore supporting only inline assembly in less than 5 minutes at the ETHCC and made the binaries in CI (even supported Remix), Moody ran it on his uniswap-v4 repo immediately after, against his custom ethereum-js evm-fork and showed me

3

0

27

Hari

@_hrkrshnn

3 years

@z0age An obvious local improvement: you can replace `if (value != (newValue * denominator) / numerator)` by `if (mulmod(value, numerator, denominator) != 0)`. Because `mulmod` costs `8` case, while `mul` and `div` costs `5` each.

1

25

Hari

@_hrkrshnn

2 years

Impressive work by foundry!

Georgios Konstantopoulos

@gakonst

2 years

TFW Foundry devs/users find an abi encoding bug in the solidity compiler

2

5

74

0

26

Hari

@_hrkrshnn

4 months

@milotruck Cantina will pay for therapy.

1

0

26

Hari

@_hrkrshnn

2 years

Choose my Devcon talk: I've two candidates for my talk. You get to pick which one I'll talk about! optimize-runs: How does --optimize-runs work, anyway? symbolic: symbolic computation for fun and for profit

optimize-runs

80

symbolic

100

show votes

19

5

4

25

Hari

@_hrkrshnn

2 years

@0xalpharush One example is contract creation. You start by copying the contract-bytecode to memory and call `create` or `create2`. The compiler doesn't increase the free memory pointer to save on further memory expansion costs.

1

0

25

Hari

@_hrkrshnn

4 months

@zzykxx @SpearbitDAO Just keep doing well on @cantinaxyz and we'll reach out!

1

0

24

Hari

@_hrkrshnn

9 months

We burned our deposit contract backdoor to solve hello world.

philogy

@real_philogy

9 months

Ayo looking for someone with access to the Ethereum master node, pls DM 🙏🙏📩

4

0

31

0

24

Hari

@_hrkrshnn

2 years

@MartinLundfall @fubuloubu @bantg @maurelian_ @_prestwich @gakonst @Kurt_M_Barry User defined value types instead of singleton structs. They are a zero cost abstraction over the underlying stack type. About fixed point math: currently we are currently in the process of designing custom operators on such types.

1

2

24

Hari

@_hrkrshnn

2 months

Do you want to win this competition? Here are some things you can do in Cantina Code and more: - Quickly see in-scope contracts - Collaborate in teams and ping teammates - Ask questions to the Euler team - HackerHaus

Cantina 🪐

@cantinaxyz

2 months

It's time to create your legacy: the largest competition in history has officially begun with @eulerfinance 🪐 💰 $1,250,000 USD 🗓️ May 20th - June 17th 📍 @cantinaxyz (LIVE - Link at End) Cantina is invite-only. Hungry for one? More details below:

1

9

44

2

5

24

Hari

@_hrkrshnn

5 months

We ran 5 invite-only competitions on @cantinaxyz . Do well in public competitions to get invited into private ones. The largest invite-only competition was for $100k!

Georgi Trachev

@trachevgeorgi

5 months

The invitational competitions on @cantinaxyz are where you can really put your skills to the test. Huge prizes, highly competitive researchers and most importantly, more great opportunitites for the top-performers.

0

2

31

1

23