Greg Vardy @0xGreg_ Twitter profile

Pinned Tweet

Greg Vardy

4 years

For anyone who is interested, here is a library of essays, interviews and old talks by some of the most important people in the history of computing and the early internet: (Licklider, Hamming, Kay, Engelbart, Minsky & more)

25

48

282

Last Seen Profiles

@VassalloAssoc

@Coach_KG_

@77kimoji

@johnslegers

@77kimoji

@KelsieWhitmore

@dr_alokmittal

@om18i

@McbrideShamahn

@tjfitzsimmons

@aomedia74

@Fertice7

@Remington4868

@jalal_habash

@NiNanjira

@maskanarabia

@wecdok

@LindaVettanen

@charismaakapoor

@nB6sIDUIp4JpUMr

@unstillsunset

@Luisa47132714

@Gocmen8Nilgun

@richy_ecom

@burymyvices

@flstnhbr

@dawnlewd

@panadama_

@jennnnarose

@maisiecora

@YongKangHe

@markclaflin

@iamkieronmoore

@OSAMA_TRT

@RepubblicaTv

@junkeeees_jpn

Greg Vardy

@0xGreg_

2 years

Preparing my Devconnect talk

27

24

538

Greg Vardy

@0xGreg_

2 years

It's here!!! Solidity -> Cairo just got serious. The first stable release of Warp 2.0, will be undergoing an audit. Warp 2 is orders of magnitude better than Warp 1 anyway you measure it. Absolutely amazing work by the Warp team @nethermindeth <3

Release v2-audit: Make clear features that are not supported (#579) · NethermindEth/warp

Make clear features that are not supported blockhash casing Co-authored-by: Alex Beregszaszi [email protected]

github.com

13

84

392

Greg Vardy

@0xGreg_

3 years

Solidity devs only want one thing and its.... A solidity to Cairo Transpiler

Composability: The Final Piece of The Puzzle

by Greg Vardy Thanks to Julian Sutherland for contributing.

medium.com

10

55

324

Greg Vardy

@0xGreg_

3 years

Ethereum’s StarkNet moment will be another one of those turning points in crypto that blows the roof off current adoption. For the first time in Ethereum’s history, marginal cost per tx (gas) will decrease with adoption.

12

37

283

Greg Vardy

@0xGreg_

3 years

It’s hard to express how exciting StarkNet is. I think lots of devs are starting to realise the opportunity. Easy L1 -> L2 messaging, fast finality, gas cost gets cheaper as more people use the network(opposite of ETH), no lock in time as required by fraud proofs 1/n

7

39

247

Greg Vardy

@0xGreg_

2 years

Aave is coming to StarkNet! The governance proposal passed yesterday. Next week @eboadom , @mempoolsurfer , @swp0x0 & @The3D_ & I will start Phase I dev, which will be followed by the deployment of Aave V3, plus some goodies that aren't possible on L1, on StarkNet! cya gas fees

5

43

212

Greg Vardy

@0xGreg_

3 years

Solidity on StarkNet? Yes, StarkNet, the L2 where gas gets cheaper as more people use it, thanks to some STARK magic. A brief description on the current progress of Warp. tldr; its really close to being finished. @StarkWareLtd @nethermindeth @CairoLang

Solidity on StarkNet: Terminal Velocity

by Greg Vardy (0xGreg_)

medium.com

3

40

196

Greg Vardy

@0xGreg_

2 years

With Warp, you can even write your tests in Solidity, we'll transpile them to Cairo, deploy the Cairo contract to a local StarkNet instance, and run the test on the deployed Cairo contract.

9

33

205

Greg Vardy

@0xGreg_

2 years

I went through an interesting experience recently: I died and was brought back to life. On Tuesday I was taken to ICU due to internal bleeding and my conditioned worsened to the point where my heart stopped and was started a couple of seconds later with a defibrillator…1/n

47

7

172

Greg Vardy

@0xGreg_

2 years

Dai transpiled from Solidity to Cairo with Warp 2.0 vs its hand-written Cairo counterpart. Efficiency is almost exactly the same, and the transpiled contract is 10KB smaller than the native one

13

32

163

Greg Vardy

@0xGreg_

2 years

Really excited to be the new CTO at @nethermindeth . @tkstanczak is an incredible CEO. I've learned so much from him and everyone in the @nethermindeth family over the last 8 months. To everyone at @nethermindeth : I can't wait to see all the great things you'll build.

25

13

150

Greg Vardy

@0xGreg_

2 years

Question I get a lot: What do you think are the most interesting projects outside of the Ethereum ecosystem? A: @CelestiaOrg @MinaProtocol @aztecnetwork

27

17

146

Greg Vardy

@0xGreg_

8 months

There's a shift happening right now in DeFi that could have a fundamental effect on DeFi's market microstructure & app-layer: More & more compute / execution is moving offchain.. 1/

12

17

138

Greg Vardy

@0xGreg_

1 year

Nethermind's formal verification team has been building serious tooling around @CairoLang . We'll be releasing our Cairo automated theorem prover soon. We're also doing EVM formal Verificatin. Here's what @StarkWareLtd President & Co-Founder @EliBenSasson had to say about them:..

1

45

132

Greg Vardy

@0xGreg_

8 months

Nethermind client crossed 30% Great work by the @NethermindEth core team on decentralising the execution layer

3

30

128

Greg Vardy

@0xGreg_

2 years

It’s hard to grasp just how much larger the space of feasible protocols is on StarkNet vs almost everything else.

guiltygyoza

@guiltygyoza

2 years

Bringing 3D graphics to #StarkNet - Axie #44 and #42 in the same scene host in cairo contracts (axies owned by @Axie44 , modeling work by @MonsterSea7 ). Demo run in local pytest environment where the client retrieves and renders the gltf. Obviously working towards interoperability

13

51

261

3

12

125

Greg Vardy

@0xGreg_

2 years

The Underhanded Cairo contest is here! So what is it anyway?

2

50

122

Greg Vardy

@0xGreg_

2 years

Decentralized exchange Uniswap v3 gets ‘Warp’ed’ onto StarkNet

Ethereum users will soon be able to swap tokens on StarkNet, as Nethermind’s Warp project successfully transpiled Uniswap’s codebase onto the layer-2 network.

cointelegraph.com

7

48

111

Greg Vardy

@0xGreg_

2 years

DVT is vital for ensuring staking remains permissionless, trustless, and decentralized. The cryptography research team at @nethermindeth has been hard at work on this problem. This is the first part of a series giving you a technical run-down on DVT.

Sorting out Distributed Validator Technology

by Isaac Villalobos

link.medium.com

5

38

108

Greg Vardy

@0xGreg_

3 years

And it was on this day that the spark was lit. A spark that would grow not only change one of the most important decentralized networks in the world forever, but for the first time, demonstrate the utility of one of the few novel computing paradigms of the last 15 years.

StarkWare

@StarkWareLtd

3 years

#StarkNet Alpha Mainnet November Get ready

76

349

1K

4

11

111

Greg Vardy

@0xGreg_

2 years

Super excited to be working on getting Aave V3 on StarkNet (plus some goodies that aren’t possible on L1)

Request for Approval. Aave <> Starkware Phase I

Background The discussion about Aave on Starknet here. Introduction A proposal to start bootstrapping the Aave ecosystem over Starkware has received good support from the Aave community, as it allows...

governance.aave.com

1

14

101

Greg Vardy

@0xGreg_

3 years

The first Turing Complete zk language, arbitrary composability and amazing dev tools. For most of ETH’s history, high cost of experimentation has been a major hindrance of innovation, people aren’t ready for what comes when StarkNet bulldozes and this wall.

5

18

91

Greg Vardy

@0xGreg_

1 year

Ethereum withdrawals update: - There was a small change in the withdrawals format, hence there will be one more devnet (withdrawal-devnet-3) - The public testnet is still targeted for next week

6

22

95

Greg Vardy

@0xGreg_

2 years

We've just made Warp 2.0 public: It's still absolutely not production-ready, there's still stuff we need to implement. PRs are welcome! You can see a link to our notion at the bottom of the README for tasks that are being worked on & need to be worked on

Greg Vardy

@0xGreg_

2 years

Dai transpiled from Solidity to Cairo with Warp 2.0 vs its hand-written Cairo counterpart. Efficiency is almost exactly the same, and the transpiled contract is 10KB smaller than the native one

13

32

163

9

38

90

Greg Vardy

@0xGreg_

2 years

There's been a lot of talk about the centralization of PoS Ethereum recently. Most of the public discourse on the topic is misguided, BUT the main point stands: We need mechanisms to make liquid staking protocols permissionless. Read more:

11

31

88

Greg Vardy

@0xGreg_

1 year

Check out the new Nethermind Research proposal to @LidoFinance to design a Sybil and white-labeling resistance mechanism for good validator set maintenance

2

54

83

Greg Vardy

@0xGreg_

2 years

Plotting away @ @nethermindeth ’s Cambridge office

4

6

82

Greg Vardy

@0xGreg_

2 years

Other projects telegram: "YOO everyone go shill on reddit <link>. Let's go to the moon." "What slippage do I need on Uniswap?" StarkNet telegram: "I've solved the Riemann Hypothesis in Cairo <link>" "Nice! here's my closed-form solution to ping-pong ball aerodynamics in Cairo."

1

10

82

Greg Vardy

@0xGreg_

2 years

Over the past year, @nethermindeth has gone from less than 15 employees to almost 100. We’ve been quietly hacking away on some super exiting projects . I’ll be filling you in on the details on the @StarkWareLtd podcast on Feb 24!

1

8

80

Greg Vardy

@0xGreg_

2 years

There’s something really special happening at @nethermindeth . Trapping lighting in a bottle is something that might happen to you a couple of times in your life, so join the ride. We’re hiring tons of Cairo devs, DM me! @CairoLang

1

19

74

Greg Vardy

@0xGreg_

2 years

Something no one really talks about: Crypto’s talent arbitrage is massive because of its borderless nature, which is itself enabled by crypto. At @nethermindeth we’ve got people from more than 40 countries, many of whom we pay in USDC. btw we’re hiring!

3

20

70

Greg Vardy

@0xGreg_

2 years

Really proud of the amazing work the team has done for the release of Warp 1.0. We've got some exciting new projects on the horizon #AaveV3StarkNet ? Not to mention, it's been great working with the outrageously talented people @StarkWareLtd

Swapnil Raj

@swp0x0

2 years

The first Warp stable release! We've added a bunch of features and we're excited to see it used out in the wild. Your turn now

2

37

133

1

9

69

Greg Vardy

@0xGreg_

2 years

StarkWare is the General Magic of Ethereum, minus the flop part. It's been such a great experience working with everyone at @StarkWareLtd , congrats!

StarkWare

@StarkWareLtd

2 years

We are excited to announce our Series C of $50M at $2B. A big thanks to our lead investor, @sequoia , our wonderful follow-on investors, and the dozens of ecosystem partners and collaborators who participated in this round, for their vote of confidence in our products and tech.

27

72

615

3

5

69

Greg Vardy

@0xGreg_

2 years

Uniwap V3 transpiled & deployed to StarkNet using Warp

Nethermind

@NethermindEth

2 years

The next big milestone in the #Warp project has been reached 🎉 Introducing UniStark: #Uniswap only Warp'ed to #StarkNet ! We have successfully transpiled and compiled UniswapV3 🚀 Find out how & get the link to the repo here: @StarkNetEco @Uniswap

31

98

343

0

9

69

Greg Vardy

@0xGreg_

2 years

Come join the top Cairo auditing team at @nethermindeth . We’re building some amazing tooling around Cairo, including an SMT-based Formal Verification took.

Cryptocurrency Jobs

@jobsincrypto

2 years

. @nethermindeth is a team of world class builders & researchers building Ethereum. Now hiring remote! ⚡Cairo Auditor ⚡Cairo Dev ⚡Solidity Smart Contracts Engineer ⚡Solidity Auditor ⚡DeFi Research Analyst ⚡Ethereum Core Dev + Interns! Apply now 👇

0

1

19

4

18

66

Greg Vardy

@0xGreg_

2 years

Don't worry anon, StarkNet will prevent a crypto winter

Web3 Growth

@w3g_io

2 years

Maker is now connected to StarkNet ✨ The StarkNet Dai Bridge is live on ! ↔️ This is the official Maker implementation that enables Dai transfers between StarkNet and Ethereum @StarkWareLtd 🤝 Dai 🌌 How does it work? Here is a friendly explanation: 1/

10

65

256

0

15

65

Greg Vardy

@0xGreg_

2 years

Interesting ZK-SNARK paper co-authored by Netherminds Research team lead Michal Zajac Counting Vampires: From Univariate Sumcheck to Updatable ZK-SNARK

Counting Vampires: From Univariate Sumcheck to Updatable ZK-SNARK

We propose a univariate sumcheck argument $\mathfrak{Count}$ of essentially optimal communication efficiency of one group element. While the previously most efficient univariate sumcheck argument of...

eprint.iacr.org

0

15

64

Greg Vardy

@0xGreg_

2 years

Gonna tell my kids this was The Edison Electric Light Company

StarkWare

@StarkWareLtd

2 years

We are thrilled to announce our $100M Series D at an $8B valuation. We would like to thank Greenoaks and Coatue - our lead investors, Tiger Global, and many of our existing investors, for their vote of confidence in the technology, products, and ecosystem that we’re building.

111

231

1K

1

7

66

Greg Vardy

@0xGreg_

2 years

@RyanBerckmans I met with some of the Lido team today at Devconnect and this opinion couldn’t be further from the truth. They really, really care about decentralization, credible neutrality, making Lido permissionless, open & fair. No BS

2

1

63

Greg Vardy

@0xGreg_

2 years

EIP-4844 Protodanskahrding local testnet with @nethermindeth geth & prysm

FLCL

@__flcl

2 years

Syncing #ProtoDankSharding #EIP4844 locally. Next step is Devnetv3. Blobs seem to be very promising!

14

25

133

2

6

62

Greg Vardy

@0xGreg_

2 years

I think that says a lot about the culture and great collection of people at @nethermindeth . Looking back on it all there is literally nothing I would rather be doing than building at @nethermindeth <3

1

0

59

Greg Vardy

@0xGreg_

2 years

Secure mnemonic sharing with Shamir's Secret Sharing? Yup, and there's code too!

Using Shamir’s secret sharing to share mnemonics

By Michal Zajac Thanks to Greg Vardy and Ahmet Ramazan Agirtas for reviewing

medium.com

3

24

62

Greg Vardy

@0xGreg_

2 years

You shouldn’t think about StarkNet as just a layer 2 roll up.. It’s actually a (soon to be) decentralized platform for efficient, generalized *VERIFIABLE* computation. Pandora’s box has been STARKed

1

7

61

Greg Vardy

@0xGreg_

2 years

The winner of the Underhanded Cairo Contest is..... @milancermak ! There were a ton of interesting submissions this round, honorable mentions to @LauriPelto & Albert Garreta! Here's @milancermak 's explainer of his submission:

4

15

61

Greg Vardy

@0xGreg_

2 years

Cairo 1.0 is a yuuuuuge improvement @StarkWareLtd

Cairo 1.0

TL;DR

medium.com

2

7

61

Greg Vardy

@0xGreg_

2 years

My StarkNet @CairoLang @paradigm_ctf challenge is live! Check it out

4

14

55

Greg Vardy

@0xGreg_

2 years

The hardhat-warp plugin can now run the entire Uniswap V3 test suite on the transpiled Cairo, with no changes to the original test code! The result? Warped Uniswap V3 now passes the full Uniswap V3 test suite!

Greg Vardy

@0xGreg_

2 years

Uniwap V3 transpiled & deployed to StarkNet using Warp

0

9

69

0

14

58

Greg Vardy

@0xGreg_

2 years

What's going on here? Warp hardhat plugin incoming. Run your solidity hardhat tests on the transpiled Cairo automagically. 1. Transpile the sol test to Cairo. 2. The Warp plugin takes your UNCHANGED .spec.ts file, converts it to Cairo tests & runs them. By @mempoolsurfer & Co

1

15

58

Greg Vardy

@0xGreg_

3 years

I was at a Flashbots brain storming session a couple of weeks ago, and I think a lot of people don’t realise that they actually really, really care about keeping Ethereum fair and protecting users.

Stephane

@thegostep

3 years

@SamuelShadrach4 For profit != profit over everything Not for profit != alignment Don’t project a broken model of capitalism upon everything you see The world is not black and white

2

33

3

6

54

Greg Vardy

@0xGreg_

3 years

Solidity on StarkNet? Yep! Check out our latest demo. We're also hiring, DM me if you're interested in helping Ethereum scale.

Nethermind

@NethermindEth

3 years

The wait is over! Warp has arrived - an EVM to Cairo transpiler. Warp Your Way To #StarkNet 🚀 We've just released a demo where you can transpile a Solidity ERC20 contract to #Cairo and deploying the contract to StarkNet. Great article by @0xGreg_

1

50

158

3

52

Greg Vardy

@0xGreg_

1 year

Sneek peek of Horus, @nethermindeth 's automated theorem prover for @CairoLang . We'll be releasing it this week

0

18

55

Greg Vardy

@0xGreg_

2 years

The genesis of Nethermind Synthesis. Over the last year, we've had our heads down building with our great partners. Super proud of everyone @nethermindeth & we're only in our first innings. Here's a run-down of what we've been up to!

The Relentless Pursuit Of A Better Internet

Announcing Nethermind Synthesis

link.medium.com

1

27

53

Greg Vardy

@0xGreg_

2 years

Our @nethermindeth core team has been doing amazing work with Snap Sync & pruning. Show your support for continued improvements in client diversity. @gnosischain was one of Nethermind's earliest supporters!

GIP-47: Should GnosisDAO pass a Grant Proposal to form a long-term partnership with Nethermind,...

GIP-47: Should GnosisDAO pass a Grant Proposal to form a long-term partnership with Nethermind, Gnosis Chain’s primary node? poll GIP: 47 title: Should GnosisDAO pass a Grant Proposal to form a...

forum.gnosis.io

0

20

51

Greg Vardy

@0xGreg_

2 years

Warp's got some major efficiency improvements in the works 🤫

0

6

48

Greg Vardy

@0xGreg_

3 years

- @alexberegszaszi , @ethchris & the entire @solidity_lang team don't get enough credit for the insanely valuable work they do. Since we've been working on Warp, every question we've had about the compiler has been answered by the team in detail, usually within minutes. Unreal.

2

4

51

Greg Vardy

@0xGreg_

2 years

Do you care about keeping PoS decentralized & permissionless? Then vote!

1

11

46

Greg Vardy

@0xGreg_

3 years

Some tips for a starting off point if you want to understand what is going on under the hood in Geth:1/n

MEV Sensei

@mevintern

3 years

@0xGreg_ @EdgarArout hmm but how do i "deeply" understand it if i can't see or tinker with it? maybe thats just my learning style

2

0

2

45

Greg Vardy

@0xGreg_

2 years

L1s are dial-up & L2s are broadband

2

6

45

Greg Vardy

@0xGreg_

2 years

To people asking wen mainnet?: Goerli -> Sepolia -> Mainnet

Nethermind

@NethermindEth

2 years

Ropsten is Merged! 👏🐼 Next up, Goerli and Sepolia.

0

11

88

1

5

44

Greg Vardy

@0xGreg_

2 years

As I watched nurses and doctors running frantically around me, I had the cliche moment of racing through my entire life and one of the things that stands out is how sad I felt that I might not get to see what all the amazing @nethermindeth peeps are building…

1

0

41

Greg Vardy

@0xGreg_

2 years

1/n Come join us & these OG's + Big 🧠's: - @calebsheridan ( @edennetwork ) - @dapplion ( @ChainSafeth ) - @eduadiez ( @DAppNode ) - @ekang426 (BUIDL Asia) - @gballet ( @go_ethereum ) - @jamie_anson_ (Nifty Orchard) - Julio Barragan of ( @blocknative )

Greg Vardy

@0xGreg_

2 years

Come join us @nethermindeth for our 24hr Merge watch! We'll be having industry leaders like @sandeepnailwal of @0xPolygon drop in to chat with us about this history event.

0

17

43

1

20

45

Greg Vardy

@0xGreg_

2 years

Come join us @nethermindeth for our 24hr Merge watch! We'll be having industry leaders like @sandeepnailwal of @0xPolygon drop in to chat with us about this history event.

#TheMerge #TheWatch | Notion

When? 🕦 Livestream starts at ~22:00 UTC for 24 hours Where? 📣 Live YouTube streaming link

nethermind.notion.site

0

17

43

Greg Vardy

@0xGreg_

3 years

@smsunarto *cough cough*, "hey you, yeah you, want some of that SOLIDITY TO CAIRO TRANSPILER" (Not ready yet, but will be very very soon)

2

5

44

Greg Vardy

@0xGreg_

2 years

Pattern Matching? Abstract Data Types? Traits? Type safety guarantees? All of those in a Turing-complete language, that makes your code STARK-provable, without you needing to know a damn thing about this giga-brain 'zk-proof' stuff? Yup. This is seriously cool

StarkWare

@StarkWareLtd

2 years

Time to announce: Cairo 1.0 🦅 This is Cairo's biggest advancement to date. Cairo 1.0 will enhance usability, safety, and convenience. It will support StarkNet's permissionless network requirements, and will simplify and secure the protocol

46

203

604

0

6

42

Greg Vardy

@0xGreg_

3 years

Super excited to be working with the outrageously talented people at @nethermindeth & @StarkWareLtd on the EVM -> Cairo compiler! Hopefully you'll be counting your gas cost in kwei instead of eth in the not so distant future.

1

9

40

Greg Vardy

@0xGreg_

10 months

@PrimordialAA

4

5

35

Greg Vardy

@0xGreg_

1 year

Automated Theorem Proving for Cairo made easy...

1

9

39

Greg Vardy

@0xGreg_

2 years

Confused with all the talk about AMMs and their "curves"? Here's the rundown:

Automated Market Makers: It’s Curves All The Way Down

By Greg Vardy

link.medium.com

1

19

39

Greg Vardy

@0xGreg_

2 years

Less than 10 days left to submit your entry! Submit an entry or get a "u up" message from @samczsun at 2am.

Greg Vardy

@0xGreg_

2 years

The Underhanded Cairo contest is here! So what is it anyway?

2

50

122

2

28

38

Greg Vardy

@0xGreg_

2 years

I'll be giving a talk at the StarNet London meetup on September 8. If you're around in London, come meet some of the StarkNet builders! Here's the link to the event:

3

9

37

Greg Vardy

@0xGreg_

2 years

safe Cairo with specific arithmetic/bitwise ops, courtesy of Dom Henderson from the Warp team: uint/int8 all the way up to uint/int256

2

7

37

Greg Vardy

@0xGreg_

1 year

Flashbots have open sourced their block builder Shout out to @nethermindeth 's @mmrosum who implemented a lot of the block builder.

@bertcmiller ⚡️🤖

@bertcmiller

1 year

Announcement: Flashbots has open sourced our block builder

98

355

1K

0

6

34

Greg Vardy

@0xGreg_

2 years

Part II of our blog post series on Distributed Validator Technology just dropped: A tour of Verifiable Secret Sharing schemes and Distributed Key Generation protocols. by Ignacio Manzur Tomasini

A tour of Verifiable Secret Sharing schemes and Distributed Key Generation protocols.

by Ignacio Manzur, Marc Graczyk and Albert Garreta.

link.medium.com

0

7

36

Greg Vardy

@0xGreg_

2 years

Greg Vardy

@0xGreg_

2 years

Pattern Matching? Abstract Data Types? Traits? Type safety guarantees? All of those in a Turing-complete language, that makes your code STARK-provable, without you needing to know a damn thing about this giga-brain 'zk-proof' stuff? Yup. This is seriously cool

0

6

42

3

4

34

Greg Vardy

@0xGreg_

3 years

This is an amazing release, big news from the Warp team coming soon 🤫

StarkWare

@StarkWareLtd

3 years

#StarkNet Alpha 3 - live on testnet! We continue to prepare for the Alpha deployment on Mainnet, and to improve StarkNet based on your feedback! Highlights: ✅Improved testing framework ✅Improved compilation time ✅Syntax for short strings More info:

2

32

129

1

7

33

Greg Vardy

@0xGreg_

3 years

We've recently hired a couple of talented engineers who'll be working on the Warp transpiler, and we're looking to hire more! If working at the bleeding edge of L2 tech with some of the best people in the ecosystem ( @StarkWareLtd & @nethermindeth ) sounds interesting, DM me.

1

9

35

Greg Vardy

@0xGreg_

1 year

1

6

32

Greg Vardy

@0xGreg_

2 years

Part II of the Nethermind Research blog post series on Shamir's Secret Sharing For Mnemonics!

Secret Sharing For Sharing Mnemonics, Part II

By Michal Zajac and Ugur Sen Thanks to Greg Vardy and Ahmet Ramazan Agirtas for reviewing

link.medium.com

0

15

33

Greg Vardy

@0xGreg_

4 years

THREAD: Don't pay $50k to study a zoom CS Degree. Here are some amazing resources that I have collected over years. You can learn everything you would in a CS degree and much more, in less than a year. I wish I had this list when I was starting out:

1

10

27

Greg Vardy

@0xGreg_

3 years

StarkNet had composability months ago :), this is just announcing that Warp supports transpilation of Solidity to Cairo for contracts that call other contracts, and that Warp is pretty close to being feature compete @gluk64

Alex G. (∎, ∆)

@gluk64

3 years

Congrats, @StarkWareLtd ! BTW, @zksync 's live zkEVM testnet includes full composability from day one 😎

2

4

32

1

3

29

Greg Vardy

@0xGreg_

1 year

I know so many people who are using ChatGPT daily, I've been using ChatGPT + MJ V4 daily. In the future, when we look back this time, we'll think "yup that was the point at which people should have realized how quickly this technology would permeate everything we do"

1

3

26

Greg Vardy

@0xGreg_

2 years

Really amazing work by Warp team member @JulekSU on what I think is the first formalization of Yul's semantics

Securing Warp: A formal specification of the Yul IR

by Julian Sutherland (JulekSU)

medium.com

0

3

26

Greg Vardy

@0xGreg_

2 years

Job seakoooors, we're hiring faster than the time it takes your partner to shout at you after you ape into another ponzi: Cryptography Research ETH Core/Client Devs Auditing & Formal Verification StarkNet Core/Client Devs

Nethermind

What are we all about?We are a team of world-class builders and researchers with expertise across several domains: Ethereum Protocol Engineering, Layer-2, Decentralized Finance (DeFi), Maximal...

boards.eu.greenhouse.io

0

9

24

Greg Vardy

@0xGreg_

1 year

The chefs have been busy in the kitchen cooking up Nethermind's (ala @Scooletz ) super fast Patricia Tree image credit: @ClassLambda

2

7

24

Greg Vardy

@0xGreg_

1 year

Nethermind Core continues to push the boundaries on the combination of performance & reliability

DanielC

@_D4nie1_

1 year

Over 15% of synced #Ethereum nodes run on @nethermindeth Another milestone reached!

1

9

47

0

4

24

Greg Vardy

@0xGreg_

3 years

@gakonst @rustlang My friends wife is pregnant, and he’s been reading Rust turbofishs and explaining AMMs to their unborn child. Does that count?

1

0

22

Greg Vardy

@0xGreg_

2 years

We'll be making more announcements in the coming days with tutorials & docs. We'll also be adding more features like contract factories.

1

0

23

Greg Vardy

@0xGreg_

2 years

.. while I was receiving a blood transfusion. When I came to, the enormity of what had happened really sunk in. I don’t remember anything during the couple of seconds I was dead, but I do remember the time leading up to it: ..2/n

1

0

22

Greg Vardy

@0xGreg_

1 year

It's been a while since a product in crypto has felt like magic, but that's exactly what @HypernativeLabs are building.

HypernativeLabs

@HypernativeLabs

1 year

Earlier today our system detected an exploit in the JayPeggers protocol the issue was reported and we are working with the protocol to mitigate and prevent further loss

1

9

20

1

5

23

Greg Vardy

@0xGreg_

2 years

We’ve had people go from being an intern to writing the account abstraction EIP with @VitalikButerin ( @kristofgazso ).

Bartek Legiedz 🦇🔊✨🐺

@blegiedz

2 years

2/5 🔥 We've been running the program for over a year now. 126 interns completed it to date, 52 are currently working on our projects and we have 40 scheduled to start with us in the next 4 months.

1

3

16

0

3

23

Greg Vardy

@0xGreg_

2 years

I was V skeptical of FB. It’s so easy to shit on Flashbots without having met or spoken to the team. From first hand experience, Phil and the team are probably doing as much as s any other Org protect Ethereum’s values. @phildaian @ObadiaAlex . Can we pls appreciate nuance?

hayden.eth 🦄

@haydenzadams

2 years

Phil is one of the best builders in the entire space both in technically (galaxy brain is a huge understatement) but also in terms of demonstrated values, commitment to decentralization, and an ability to see into the future. I recommend people pay attention to what he says.

5

7

102

0

2

22

Greg Vardy

@0xGreg_

2 years

Nethermind's All-hands meeting today in the Netherverse built by the Atlantis team @nethermindeth

0

7

22