talk is cheap, build
@class_lambda
C + rust + erlang + julia + λ. amateur in everything: distributed systems, ML, compilers, cryptography and investment.
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".
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.
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!
¿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
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:
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:
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
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.
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.
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
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
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
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!
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
@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:
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.
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:
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 🇦🇷!
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/ 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: 🧵
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:🧵
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!
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:
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.
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
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!
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.
@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.
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.
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.
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
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.
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.
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.
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.
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
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!
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.
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
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:
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!
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
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 🕳️!
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.
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
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.
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.
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!
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"
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.
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
!
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.
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.
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
!
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?
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.
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!
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.
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.
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.