Federico Carrone @federicocarrone Twitter profile

Last Seen Profiles

@R35bo

@Kiko529753

@BenZvan

@european_lad

@Raidak5

@CanadaCouncil

@Kaos_Vs_Control

@2xdnp

@powerofdadog

@NesibeHicret

@Pointdexter666

@jackson_brasel

@i_niill5

@Momiji_aaki

@sandy_carter

@fantasi_emak

@wiedzmaanna

@nili87188421

@BackdoorBoar

@bezy_bby

@YeraldReloaded

@msixelaabu

@HARA83_SUGIYAMA

@stw_pdg

@lecomptoirakons

@TobtoMusic

@CandrawatiPuji

@Kiglesias447

@chiaki_deesu

@EthMedellin

@Mr_TERMINATE01

@ToolsWatch

@mal_sofastaii

@kokapepushi

@SleeepTV

@BarraBrava_AFC

Federico Carrone

@federicocarrone

4 years

Biry, an argentinian, while playing a tournament of Age of Empires 2 DE wrote in the chat "Advanced to Castle Age". His opponent thought it was a game notification and surrendered. Biry never passed to Castle Age. This is a typical and great example of "Argentineada".

327

5K

21K

Federico Carrone

@federicocarrone

2 years

WTF who codes 600k lines and releases its After 5 years and over 600,000 lines of code, I’m finally releasing Malachite, a high-performance arbitrary-precison arithmetic library for Rust.

malachite

An arbitrary-precision arithmetic library for Rust.

www.malachite.rs

23

96

1K

Federico Carrone

@federicocarrone

4 years

From July 27th to July 31st the @BuzzConf_Ar will be hosted freely online with @mipsytipsy , @palvaro , @deech , @willkurt , @Viral_B_Shah , @ChrisRackauckas as speakers! More speakers to be announced soon. Get your free tickets at:

BuzzConf 2020

A conference for devs, by devs

www.eventbrite.com.ar

2

92

939

Federico Carrone

@federicocarrone

4 years

From July 27th to July 31st the @BuzzConf_Ar will be hosted freely online with @mipsytipsy , @palvaro , @deech , @willkurt , @Viral_B_Shah , @ChrisRackauckas as speakers! More speakers to be announced soon. Get your free tickets at:

BuzzConf 2020

A conference for devs, by devs

www.eventbrite.com.ar

2

62

862

Federico Carrone

@federicocarrone

2 years

A course in Number Theory and Cryptography 🔐 by Neal Koblitz is one of the best introductory books books about cryptography and number theory. You don’t need to know any prerequisites, it’s not dry, it has good exercises. I highly recommend it!

23

49

637

Federico Carrone

@federicocarrone

3 years

¿Queres aprender a auditar y escribir smart contracts? ¿Te gustaría dedicarte a codear exploits? ¿Te gustaría desarollar sistemas que manejan millones de datos y gigabytes por segundo? ¿Te encanta Linux, Rust, Erlang y Julia? Mandanos un mail a: people @lambdaclass .com

10

18

441

Federico Carrone

@federicocarrone

2 years

We’re starting a zk bitcoin team to create an MVP. good luck shorting us 🫡

28

22

354

Federico Carrone

@federicocarrone

2 years

I hope you have a great Friday

2

68

348

Federico Carrone

@federicocarrone

2 years

I'm working on a small course on applied cryptography and blockchains for our university:

GitHub - unbalancedparentheses/practical_cryptography_and_distributed_ledgers

Contribute to unbalancedparentheses/practical_cryptography_and_distributed_ledgers development by creating an account on GitHub.

github.com

6

40

337

Federico Carrone

@federicocarrone

2 years

Got a new painting in the office

8

69

315

Federico Carrone

@federicocarrone

4 years

At LambdaClass we are currently looking for senior Data Engineers/Backend Developers. If you have experience working with really large datasets and want to get involved in real time systems, this is a great remote opportunity. Apply by form or by email:

7

56

270

Federico Carrone

@federicocarrone

5 years

I've created this website after selecting the books, articles, papers, MOOCs that helped me to learn probability and statistics. Thanks to @aloctavodia and @willkurt for the recommendations and to @cataliza_dora and @martinacantaro for helping me:

1

42

195

Federico Carrone

@federicocarrone

2 years

Eli @EliBenSasson announcing to 600 engineers of the @Starknet ecosystem that @StarkWareLtd is opensourcing the prover!

7

20

189

Federico Carrone

@federicocarrone

4 years

Estoy contratando programadoras/es juniors que quieran trabajar en data science con Julia, Python y desarrollar en Elixir, Rust y Go. No hace falta tener experiencia pero si muchas ganas de estudiar, aprender. Hace falta hablar bien inglés. Mail a federico.carrone @lambdaclass .com

14

150

189

Federico Carrone

@federicocarrone

2 years

I've just finished reading "Modern Cryptography Primer: Theoretical Foundations and Practical Applications". Simple book that doesn't assume any prior knowledge. Some of the algorithms are a bit outdated but I like it since it explains a lot of protocols and algorithms.

5

12

150

Federico Carrone

@federicocarrone

2 years

I arrived at 2 AM to the hotel and I find my team hacking. I tell them to go to sleep. They tell me they want to fix a bug. After solving it, cairo-rs and starknet in rust will be able to run a basic contract. We’re not here for the money, we love engineering and mathematics.

7

6

148

Federico Carrone

@federicocarrone

2 years

Our Merkle Patricia gets are faster than the go-ethereum by: 1k: 3,13x 10k: 2,34x 100k: 2,25x 1M: 1,88x

GitHub - lambdaclass/merkle_patricia_tree: Patricia Merkle Tree implementation in Rust

Patricia Merkle Tree implementation in Rust. Contribute to lambdaclass/merkle_patricia_tree development by creating an account on GitHub.

github.com

6

16

141

Federico Carrone

@federicocarrone

2 years

SNARKs for engineers -> arithmetization fundamental theorem of algebra and schwartz zippel lemma -> any code can be transformed into a polynomial + knowing enough roots of a polynomial in a small set of points can be enough to convince that you know the polynomial

9

7

135

Federico Carrone

@federicocarrone

2 years

What other blogs I'm missing? These are some of the ones I like the most

9

16

136

Federico Carrone

@federicocarrone

5 years

Estoy buscando programadores/as de buenos aire sin experiencia que quieran aprender y trabajar con erlang/elixir, rust, python en sistemas distribuidos y data science. mail a: federico.carrone @lambdaclass .com

11

137

131

Federico Carrone

@federicocarrone

2 years

zk-SNARKs toolkit for devs who can't cryptography good

10

8

125

Federico Carrone

@federicocarrone

5 years

En @classlambda estamos buscando Sr. Backend Devs y Data Engineers para trabajar en un sistema de real-time bidding que procesa 5M de requests por segundo. Sueldo competitivo, work from home y vacaciones extendidas. Si te interesa, escribime a federico.carrone @lambdaclass .com

2

56

119

Federico Carrone

@federicocarrone

2 years

zkos is a great example of where we need to go. it uses winterfell (open source @StarkWareLtd STARK) and @RiscZero zkos can verify zk proofs coming from different systems and aggregate them into a single final proof which can be verified on-chain!

GitHub - starkoracles/zkos: Cross-zk-rollup aggregation

Cross-zk-rollup aggregation. Contribute to starkoracles/zkos development by creating an account on GitHub.

github.com

3

17

118

Federico Carrone

@federicocarrone

4 years

If you play AOE2 but you also like data science, computer science or software engineering then you can watch this lovely and free online conference called BuzzConf:

BuzzConf 2020

A conference for devs, by devs

www.eventbrite.com.ar

2

6

108

Federico Carrone

@federicocarrone

5 years

👾👾👾 BuzzConf @BuzzConf19 👾👾👾 Una conferencia de desarrolladores para desarrolladores Data Science, Big Data, Programación Funcional, Sistemas Distribuidos y otros temas. Nos vemos el 13 de junio! Reserva ya tu entrada en:

3

33

113

Federico Carrone

@federicocarrone

4 years

@_Pable

2

3

106

Federico Carrone

@federicocarrone

2 years

HAHAHA BEST MEME OF THE WEEK

1

7

105

Federico Carrone

@federicocarrone

2 years

Starknet in rust is pretty close to be finished! We need to test it a lot.

5

9

102

Federico Carrone

@federicocarrone

2 years

Great news on the @StarkNetEco front. Let this groove get you to move: - We've switched the python vm by our cairo-rs VM and the 235 tests are passing in the devnet - We've got the ERC20 test passing on @KakarotZkEvm . It takes 754 seconds versus 210 seconds in our VM.

4

27

95

Federico Carrone

@federicocarrone

2 years

We already have a zk password manager working. Want to see it? Would love to do a demo. Come to our booth in @StarkWareLtd 's sessions!

9

3

94

Federico Carrone

@federicocarrone

2 years

If you get confused by the difference between Zero Knowledge Proofs, Fully Homomorphic Encryption and multi part computation computation you are not alone. That is why we wrote this blog post:

2

35

91

Federico Carrone

@federicocarrone

3 years

Bayes: got julia?

2

16

91

Federico Carrone

@federicocarrone

2 years

If you haven’t tried @argentHQ you should do it. It’s the best UI/UX I’ve seen in crypto and in some cases it’s even better than non crypto products. With account abstractions and multisigs this can truly be a game changer. Please add a fiat on ramp for 🇦🇷!

6

88

Federico Carrone

@federicocarrone

2 years

More than 100 people in the London StarkNet event with @henrlihenrli .

5

7

84

Federico Carrone

@federicocarrone

2 years

1. At @ClassLambda we're building many products and we want to share with the community what we're learning in the process. In the upcoming weeks we'll be publishing many posts and libraries. Verifiable AES: encryption using zero-knowledge proofs

1

14

85

Federico Carrone

@federicocarrone

3 years

1/ We've been working at @ClassLambda on an anonymity tool for @TornadoCash . Tornado Cash is a mixer that allows users to deposit Ethereum and then withdraw it with another account, breaking the on-chain link between them. Below, a thread with details of what we are doing: 🧵

jefflau.eth

@_jefflau

3 years

1/ For the @0xPARC applied ZK course, we had to do a lightning talk. For my talk I chose to ELI5 @TornadoCash . It's one of the simplest useful application of zkSNARKs and let me understand how snarks work in an real app A thread going into detail how it works under the hood:🧵

11

70

307

10

36

83

Federico Carrone

@federicocarrone

2 years

Talking with the great @PapiniShahar @jbaylina @gluk64 @Zac_Aztec @bobbinth and @BrianRetford about ZKVMs at the amazing @StarkWareLtd sessions!

1

14

83

Federico Carrone

@federicocarrone

2 years

One of the nicest math summaries I keep on rereading every few months with Kolgomorog’s “Mathematics: Its Content, Methods and Meaning” book

3

1

83

Federico Carrone

@federicocarrone

4 years

We are about to be approved to mass produce our fast COVID-19 serology based test! After assuring the supply to Argentina we will export it to other countries. Everything has been locally designed and produced!

4

13

84

Federico Carrone

@federicocarrone

5 years

50 entradas a $600 solo hasta el jueves!!! 👾👾👾 #BuzzConf es una conferencia de devs para devs. Data Science, Big Data, ML, Programación Funcional, Sistemas Distribuidos y más. Nos vemos el 13 de junio! No te quedes afuera. Reservá tu entrada hoy en:

6

22

85

Federico Carrone

@federicocarrone

2 years

Cairo will probably be supported in Ethereum L1 in less than 10 years as Rust has been added to Linux kernel. I joined Rust ecosystem at the end of 2014 and that’s something many of us were expecting to happen and it did. The same will happen with Cairo and Ethereum.

7

82

Federico Carrone

@federicocarrone

5 years

This can't be real. Nordhaus, the 2018 Nobel Prize in economy, uses a quadratic function to model the relationship between temperature change and reduction in GDP. This is climate change denial AND KINDER GARDEN LEVEL MODELLING @ProfSteveKeen

10

35

78

Federico Carrone

@federicocarrone

2 years

A blockchain is just a merkle tree plus a consensus mechanism to agree on the tree root.

3

5

70

Federico Carrone

@federicocarrone

2 years

Great table by @ittaia :

1

11

74

Federico Carrone

@federicocarrone

2 years

After 12 weeks of work we've published a new implementation of @AleoHQ 's VM and blockchain using @Tendermint_Core . If you have any comments or questions please reach out!

GitHub - lambdaclass/aleo_lambda_blockchain: Tendermint implementation of the blockchain of Aleo...

Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass - lambdaclass/aleo_lambda_blockchain

github.com

4

24

72

Federico Carrone

@federicocarrone

2 years

New book about the mathematics of mathematics 🧮

5

2

74

Federico Carrone

@federicocarrone

4 years

At LambdaClass we are looking for Sr backend engineers. The stack revolves mainly around Pyhon and AWS. You can apply through email or form:

0

12

71

Federico Carrone

@federicocarrone

3 years

Friday night. Time to re-read Joe Armstrong's thesis "Making reliable distributed systems in the presence of sofware errors". I forgot how good it is. Read it, specially if you don't code or know Erlang.

1

25

73

Federico Carrone

@federicocarrone

4 years

@SantiagoAuFund I am from Argentina and you are 100% right. Many people in the US don't see it, fishes can't understand the importance of water since they take it for granted.

4

3

70

Federico Carrone

@federicocarrone

2 years

My bet: almost everyone will move to STARKs. That's already happening but it will accelerate in the upcoming months. I'm pretty amazed by how it's starting to be used by so many projects and how that is accelerating.

9

5

70

Federico Carrone

@federicocarrone

2 years

Singapore is amazing!

3

1

69

Federico Carrone

@federicocarrone

2 years

In one year, maximum two, it will be obvious that EVMs support is not that important.

11

3

72

Federico Carrone

@federicocarrone

2 years

After exactly 8 weeks of work we got our starknet in rust implementation that also uses cairo-rs working with simple contracts. Thank you @StarkWareLtd for the support and help and thanks to my @ClassLambda team for working so hard.

GitHub - lambdaclass/starknet_in_rust: A Rust implementation of Starknet execution logic

A Rust implementation of Starknet execution logic. Contribute to lambdaclass/starknet_in_rust development by creating an account on GitHub.

github.com

1

16

68

Federico Carrone

@federicocarrone

2 years

We wrote a small tutorial on how to use CUDA. In a next post we will implement many ZK algorithms in CUDA. CUDA've been faster: learning CUDA from scratch

1

11

70

Federico Carrone

@federicocarrone

2 years

The PLONK zero-knowledge proof system by @cryptodavidw

The PLONK zero-knowledge proof system

I recently got into general-purpose zero-knowledge proof systems (cryptographic primitives that allow you to prove the execution of a program without reveali...

www.youtube.com

1

14

66

Federico Carrone

@federicocarrone

2 years

We’re starting our own @ClassLambda ZK, FHE and MPC library. Hopefully we will be able to implement it on top of LLVM/MLIR/CUDA. No bullshit allowed, just code and math.

3

2

69

Federico Carrone

@federicocarrone

2 years

We are creating a diagram and doc about how the Cairo VM work. You can check it in:

1

11

67

Federico Carrone

@federicocarrone

2 years

This book is amazing. Do you know any other similar book? I want to create some katas or koans to learn cryptanalysis.

2

5

68

Federico Carrone

@federicocarrone

2 years

Excellent project for hackathons: educational python plonk implementation, based on vitalik's py_plonk

GitHub - 0xPARC/plonkathon: educational python plonk implementation, based on vitalik's py_plonk

educational python plonk implementation, based on vitalik's py_plonk - 0xPARC/plonkathon

github.com

3

8

66

Federico Carrone

@federicocarrone

2 years

I’m pissing off many cryptographers, I swear we’re not doing it on purpose. It’s our way of learning. The good part is we’re not going away, we’re going to try to hack every implementation. We already found one 0 day and we’re writing a blog post. Working on another one.

6

3

65

Federico Carrone

@federicocarrone

2 years

Day 3 of 42 to build the prover and lambdaworks. We already got: - field elements - elliptic curves - MSM Working in parallel on: - Fiat Shamir - FRI - NTT - Interpolation, Reed Solomon - Merkle tree - Hashes - CUDA and Air A lot left to work on but we’re moving fast.

8

5

64

Federico Carrone

@federicocarrone

2 years

Our merkle patricia tree keeps on getting faster 🧐

GitHub - lambdaclass/merkle_patricia_tree: Patricia Merkle Tree implementation in Rust

Patricia Merkle Tree implementation in Rust. Contribute to lambdaclass/merkle_patricia_tree development by creating an account on GitHub.

github.com

0

4

65

Federico Carrone

@federicocarrone

2 years

don’t giving a shit about sounding stupid is a super power. the older i get the less I care about how people look at me. a common feedback we get is that we don’t know what we’re talking about. that’s actually true, we love exploring new territories. give us a few months.

5

1

64

Federico Carrone

@federicocarrone

2 years

Two new posts that we wrote about zkSNARKs, R1CS, AIR, field extensions, etc. 1. Arithmetization schemes for zk-SNARKs 2. Climbing the tower: Field extensions

0

23

63

Federico Carrone

@federicocarrone

2 years

The biggest reasons I'm so passionate about @StarkWareLtd and @Starknet is because of the number of great really technical engineers. Few times I've seen such passionate team of builders working towards a common objective. See you at Starkware Sessions!

2

10

56

Federico Carrone

@federicocarrone

5 years

Además de la busqueda de devs sin experiencia (ya empezamos las entrevistas), estamos buscando en @ClassLambda una/un dev senior para armar un sistema que tiene que procesar 600 mil millones de registros por mes para producir un grafo de identidades.

4

15

55

Federico Carrone

@federicocarrone

2 years

Choose your disadvantage:

6

2

59

Federico Carrone

@federicocarrone

3 years

We printed @DgenFren 's great @CurveFinance wars at @ClassLambda ! @Tetranode @samkazemian @danielesesta @bantg @bneiluj and others live as art in our office now 😎🐸

4

8

58

Federico Carrone

@federicocarrone

2 years

Learning assembly is crucial for any computer engineer that wants to understand how a computer works, that needs to speed up things or to hack into a system. This book teaches ARM assembly in a very fast manner. Go read it and code some assembly

GitHub - pkivolowitz/asm_book: A book teaching assembly language programming on the ARM 64 bit ISA....

A book teaching assembly language programming on the ARM 64 bit ISA. Along the way, good programming practices and insights into code development are offered which apply directly to higher level la...

github.com

0

8

58

Federico Carrone

@federicocarrone

5 years

I am proud to announce that we are hosting a Linux Kernel development workshop with the kernel dev Ezequiel Garcia ( @ezeaqui ). The workshop will take place during the afternoons of the 14th and 15th of November 2019 at Buenos Aires, Argentina:

2

11

59

Federico Carrone

@federicocarrone

2 years

Day off: studying zero knowledge poofs 📚 and swimming 🏊‍♂️

2

1

58

Federico Carrone

@federicocarrone

2 years

We have a lift-off! @aztecnetwork 's noir with @ConsenSys gnark backend project just got started:

5

8

57

Federico Carrone

@federicocarrone

2 years

Few times in my 18 years of experience as an engineer I’ve seen the ability to deliver like Eli, Uri and Starkware. Moonshot ideas, exceptional execution. Their ability to combine ground breaking theory with aggressive execution is one of the rarest things to find. See you there!

Eli Ben-Sasson

@EliBenSasson

2 years

STARK ecosystem is memed as giga-brained, strange & leading the pack. We're direct, efficient, stand by our deadlines, and deliver more than we promise. Experience the giga energy at A THREAD on WHAT to EXPECT THERE

4

31

123

1

2

56

Federico Carrone

@federicocarrone

2 years

It’s pretty sick to see from the inside how Starknet is attracting like gravity all the best minds of the industry. The more engineers get in, the faster it accelerates. It’s a black 🕳️!

2

5

55

Federico Carrone

@federicocarrone

2 years

I’ve just finished a meeting with 20 engineers, mathematicians, physicists, cryptographers and computer scientists from our team that just started working in lambdaworks and our starknet in rust prover. Watch the repos and see how we build things.

GitHub - lambdaclass/lambdaworks: lambdaworks offers implementations for both SNARKs and STARKs...

lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs. - lambdaclass/lambdaworks

github.com

2

7

57

Federico Carrone

@federicocarrone

6 months

I am happy to announce that we are moving forward to acquired the game studio that created and operates one of the biggest (if not the biggest in the west) Diablo 2 mods: Median XL. We will be doing some due diligence but we have a solid agreement to make this happen. The team

3

54

Federico Carrone

@federicocarrone

2 years

Cairo to LLVM compiler. We’ve been discussing with @GuthL and @dimahledba for some time. We already have 3 companies wanting to working on it and 20 community devs. Next project: we need to get ideas from @jump_firedancer and narwhall/tusk.

GitHub - keep-starknet-strange/shenlong: Shenlong is a blazingly fast ⚡ tool to generate LLVM IR...

Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀 - keep-starknet-strange/shenlong

github.com

11

9

53

Federico Carrone

@federicocarrone

2 years

This talk by @SuccinctJT is one of the best introductions to SNARKs that I know of in video format. The other that I also love is What is a SNARK? by Dan Boneh from ZK Whiteboard Sessions.

1

8

56

Federico Carrone

@federicocarrone

5 years

Quedan solamente 25 entradas a $600!!! 👾👾👾 #BuzzConf es una conferencia de devs para devs. Data Science, Big Data, ML, Programación Funcional, Sistemas Distribuidos y más. No te quedes afuera. Reservá tu entrada hoy en: Nos vemos el 13 de junio!

2

17

53

Federico Carrone

@federicocarrone

5 years

Great paper by @betanalpha about the history of Markov chain Monte Carlo. I always love to read about how physics influences math. "The Convergence of Markov chain Monte Carlo Methods: From the Metropolis method to Hamiltonian Monte Carlo"

The Convergence of Markov chain Monte Carlo Methods: From the...

From its inception in the 1950s to the modern frontiers of applied statistics, Markov chain Monte Carlo has been one of the most ubiquitous and successful methods in statistical computing. In that...

arxiv.org

0

10

56

Federico Carrone

@federicocarrone

2 years

We're starting to help with the decentralization of the sequencer of @StarkNetFndn . I really like the design. At some point we will implement a sequencer that follows the decentralized protocol.

1

8

54

Federico Carrone

@federicocarrone

2 years

Another update from the Starknet front. In less than 2e weeks you will be able to run simple contracts using cairo-rs and the starknet in rust implementation we did at @ClassLambda . It's always a pleasure to work with @StarkWareLtd and @Starknet !

GitHub - lambdaclass/starknet_in_rust: A Rust implementation of Starknet execution logic

A Rust implementation of Starknet execution logic. Contribute to lambdaclass/starknet_in_rust development by creating an account on GitHub.

github.com

4

8

52

Federico Carrone

@federicocarrone

4 years

It ain’t the best picture but tomorrow we are sending the first 10k face masks to public hospitals. We are trying to ramp up the production to 20k per day. We are also starting to mass produce hand sanitizer and we are partnering with a ventilator project that is being tested.

3

6

53

Federico Carrone

@federicocarrone

2 years

THE HAPPIEST DAY IN MY LIFE

3

53

Federico Carrone

@federicocarrone

2 years

We’re organizing a conference in Buenos Aires, Argentina at the start of December (our summer). Who should we invite?

18

1

51

Federico Carrone

@federicocarrone

2 years

We’re teaming up with @0xmarcello and @liamzebedee . Going to build something big that’s going to disrupt the market 🫡.

4

2

51

Federico Carrone

@federicocarrone

9 years

#erlang Spawned Shelter: the best articles, videos and books for learning Erlang http://t.co/3MG3lFu8iv http://t.co/rXNjlOU2QD

1

48

51

Federico Carrone

@federicocarrone

2 years

We’re obviously going to join the forces that want to make bitcoin great again.

7

3

47

Federico Carrone

@federicocarrone

4 years

Charity Majors @mipsytipsy is giving an AMAZING talk. Everything she is saying summaries things I've learnt the hard way for the last 15 years as a full time developer.

0

6

48

Federico Carrone

@federicocarrone

5 years

I hope you like our new article! The Central Limit Theorem and its misuse

1

11

49

Federico Carrone

@federicocarrone

5 years

I always wanted to learn more about category theory. @BartoszMilewski wrote what I consider the bible for devs like me and engineers. I hope he can come next year to the @BuzzConf19 !

1

8

50

Federico Carrone

@federicocarrone

2 years

great meme by @henrlihenrli . we want people from all around the world helping though haha

4

0

49

Federico Carrone

@federicocarrone

2 years

gm

5

1

49

Federico Carrone

@federicocarrone

2 years

things i want to work on this month: - lambdaworks - prover - zkRTB - zk password manager - games we’re building - orb land I am missing anything I mentioned before?

8

4

46

Federico Carrone

@federicocarrone

2 years

whoever tells me that blockchains are worthless should try living in South America, Africa or the Middle East

Layah Heilpern

@LayahHeilpern

2 years

Lebanon’s central bank has announced it will devalue its currency by 90% as of tomorrow. Imagine waking up one day and your life savings are gone. Absolutely criminal.

807

2K

13K

3

4

47

Federico Carrone

@federicocarrone

2 years

We've implemented a Circom (SNARK) verifier to Cairo (STARK). Yesterday we got it working and now we need to improve it. One year ago I was reading @smpalladino 's tweets and I did not understood much of what he was talking. Long math and engineering!

GitHub - lambdaclass/circom_export_to_cairo: Export Circom verifier to Cairo

Export Circom verifier to Cairo. Contribute to lambdaclass/circom_export_to_cairo development by creating an account on GitHub.

github.com

Santiago Palladino

@smpalladino

4 years

IIUC the main difference (besides that one uses STARKs and the other SNARKs) is that all CAIRO programs are verified by the same circuit, instead of having to generate a separate circuit for each use case as with Circom.

1

0

4

2

6

46

Federico Carrone

@federicocarrone

2 years

Italian pizza and math. What else can you ask?

10

1

48

Federico Carrone

@federicocarrone

2 years

El banco no nos liquida divisas por qué no tenemos una posición grande de IVA. No tenemos mucho IVA justamente por qué somos exportadores y no tenemos muchos clientes locales. La exportacion no tiene IVA. @produccion_arg quieren que exportemos pero se ponen trabas absurdas.

5

7

45

Federico Carrone

@federicocarrone

2 years

I’ve just learnt about @orb_land by @ercwl . I’m pretty amazed by it. This is one of the few new things in crypto outside infrastructure and zk I’m excited by. This is what NFTs should be. I’ve so many ideas on things that could be built on top.

Orb Land

Welcome to web3 onlyBrains

orb.land

6

44

Federico Carrone

@federicocarrone

2 years

With @dimahledba @roasbeef and @JeremyRubin in @StarkWareLtd Sessions!

2

5

42