mitch

9 posts

mitch

mitch

@mxnwafor

homo homini lupus est. math, cs, cryptography.

ethbnb Katılım Nisan 2025
37 Takip Edilen4 Takipçiler
mitch retweetledi
Donald Ervin Knuth
Donald Ervin Knuth@realDonaldKnuth·
If you optimize everything, you will always be unhappy #Knuth
English
18
378
1.1K
0
Jeffrey Scholz
Jeffrey Scholz@Jeyffre·
Coding theory is such a cool field. For those who don't know, it's the math/engineering behind QR codes work and how CDs can get scratched but still function -- as well as some ZK algorithms. It ties together cs, linear algebra, probability, and a little abstract algebra together in a very applied (non-theoretical) setting. Kind of a shame most universities don't offer a course in it. Someday we'll have it on RareSkills/RareCode, and I'll relentlessly shill why you should learn it.
English
9
5
127
5.2K
David Hundeyin
David Hundeyin@DavidHundeyin·
Consistent failure to qualify for the World Cup and maybe AFCON too will actually be the best thing for Nigerian football in the long run. Because the way Nigeria runs its football is a metaphor for Nigeria's internal governance as a whole - it has achieved an outrageous amount of success relative to the actual work it has put in, and success without work has now become a national expectation. Literally Ghana has a better league than Nigeria. DR Congo has a better league. Tanzania has a better league. Kenya has a better league. Zambia has a better league. There's no point even mentioning Egypt, South Africa, Morocco, Algeria and Tunisia. Yet only Morocco, Tunisia, and Cameroon have been to more World Cups than Nigeria. Only Egypt, Cameroon and Ghana have won more AFCONS. Nigeria (like Cameroon) is that completely unserious kid in school who never takes notes, does homework, or studies for exams, and spends all his time chasing girls and being Mr Classroom Funny Guy, but will always reliably score a B or a C. You know that if he would just put in a bit of effort, he could easily be an all-timer, but the guy is just not interested in being great. He knows that with his non-effort, he will still get a B, so why should he bother putting in effort to score an A? I know this mindset very well because I was that exact kid in school. I absolutely frustrated my parents and teachers because I knew I didn't have to work hard to be above average. Why stress myself to get an A when I could miss classes to spend my time playing Midtown Madness in the computer lab, skip studying to play FIFA and read novels at home, generally do nothing and still get a B? And this mediocre mindset did not change until I finally failed hard at something. If I didn't wipe out at the end of Year 10 and confront disaster for the first time, my life would have turned out very differently. Failure was my salvation because like most Nigerians, I only learned negatively. Nigerians are not built for Highest Common Factor. We are built for Lowest Common Denominator. We only learn through the pain of failure, shame, disgrace, and loss. We don't respond to higher arguments and appeals to our better nature. We only respond to being shamed, browbeaten and defeated. And that's what missing world cups will do for Nigerian football. If possible, we should wipe out at the AFCON group stage and fail to qualify for the next 3.. plus maybe World Cup 2030. Only when the spoiled kid confronts unmitigated failure will he learn to do things differently.
English
171
1.3K
3.7K
158.8K
mitch
mitch@mxnwafor·
A simple implementation of the Groth16 protocol in python. A little side project to help cement the knowledge acquired from module three of the @RareSkills_io zk book. github.com/mxnwafor/Groth…
English
1
0
15
3K
RareSkills
RareSkills@RareSkills_io·
When we released the ZK Book over a year ago, we took the ZK education space a huge step forward. Our book pioneered the approach of "just enough math" to learn ZK. Today we do it again with a new addition to the ZK Book. "Circom and Constraint Design Patterns" This new section focuses on how to design, create, and audit non-trivial ZK circuits. You've probably seen a lot of tutorials about how to prove you know the evaluation of a polynomial using Circom. But how do you go from there to designing a ZKVM or proving you know the primage of a traditional hash function (like MD5 or Keccak256)? The new part of our ZK Book takes you on a journey from multiplying to numbers together to: - building a ZKVM from scratch - coding constraints for the MD5 hash function - learn the recurring design patterns in constraint design The last part was interesting because some of the established "design patterns" don't even have names for them. We had to invent some terminology! As usual, we are extremely thoughtful about how we introduce the reader to new ideas to avoid overwhelming someone new. We are careful to ensure we teach the prerequisites in a sensible order and with a lot of examples. Each chapter shows how to build a circuit for an increasingly complex application. With each chapter, you both review what you learned previously and learn a new design pattern. Once you build up a collection of these design patterns, you can compose them together to build more complex applications, like the ZKVM or a non-trivial hash function. We put a huge effort into making sure that the material is both easy to understand and correct without any important omissions. We'd like to thank @ChainLight_io, @VeridiseInc, @PrivacyScaling, and @zksecurityXYZ for allocating time to review this work and provide suggestions. We are particularly grateful to @marcobesier from @zksecurityXYZ for working through several revisions to really get the chapters into a polished state. Special shoutout to @cal_nix for coauthoring the first seven chapters in this new part of the book! The topics we cover here are extremely fundamental. If you don't understand the materials here, learning the internals of more modern ZKVM or ZK L2 client will be quite challenging. Up until now, the absence of newcomer-oriented explanations for such foundational concepts has held the ZK space back. This new body of work isn't simply a "better explanation" of existing materials, but the first explanation at all -- outside of academic papers. We use Circom as the language of instruction since we consider it the most beginner-friendly. However, what you learn here generalizes to other frameworks like Plonky3, Halo2, o1js, and Gnark. The new articles now make the ZK Book over 38,000 words longer. You do not have to know how a ZK-SNARK works to read this section of the book, but there are a few prerequisites. These are listed in the "Introduction to Circom" chapter. As usual, the material is completely free with no login required.
RareSkills tweet media
English
4
29
163
14.6K
mitch
mitch@mxnwafor·
@Naija_PR it’s fucking clear, ain’t it? the colonizers and their schemes. how can you call a nation wherein the cost of FOOD has risen over 10x “stable”? the so called policy reform is tinubu doing whatever he’s asked of to keep the country in a broken state.
English
0
0
0
4
Naija
Naija@Naija_PR·
Fitch has upgraded Nigeria’s rating to Stable, saying there's confidence in President Tinubu’s policy reforms.
English
6
3
54
16.4K
2Lambroz 🐑 (🧑‍🍳🥩🤌)
i just got scammed 57k+ clicking a fake comment pretending to be merchant moe please dont click anything i have warned the team. everyone please becareful
2Lambroz 🐑 (🧑‍🍳🥩🤌) tweet media
Merchant Moe@MerchantMoe_xyz

The Journey: $MOE Arrives in our Bustling Exchange The grand opening of Merchant Moe's exchange on @0xMantle is underway. As dawn breaks, the gates of the exchange swing wide and $MOE tokens descend down from the heavens, inviting a new era of decentralized trading. Each token represents the new lifeblood of our thriving marketplace. Now in the hands of those who believed in our vision, these $MOE are the key to unlocking new yield strategies, to participating in governance, and to sharing in the success of our growing ecosystem. As traders step into our exchange, they will experience seamless trading and a community-driven atmosphere, all under the watchful eye of Merchant Moe. The cobblestone has been laid, the marketplace erected, and Merchant Moe stands at the helm. Welcome to Merchant Moe's exchange – the new horizon of DeFi trading on Mantle Network.🧭

English
139
20
111
78.1K