@jpmorais80 Profile picture

João Paulo Morais

@jpmorais80

Tech writer and instructor @rareskills_io

Was alone at DSS and started chatting with a guy who told he had a DeFi channel on YT, I always like to discover new ones so asked him the name and it was Finematics! I'm sure you know it but also sure most don't know the hand behind. So thank you @jkb0x for the amazing content!


João Paulo Morais Reposted

Must read for all Solidity newcomers covering 20 basic topics such as: - division before multiplication - check-effects-interaction - transfer vs send - rounding mistakes and much more by @RareSkills_io rareskills.io/post/solidity-…


João Paulo Morais Reposted

The RareSkills ZK Book is now a little over 84,000 words long. The next addition in the works could bring it to 100,000 words. (This includes math symbols and source code)

The final chapter on ZK Bulletproofs is published: Range Proofs A range proof is proof that a committed value falls into a certain range. Monero uses this to prove that all the values of a transaction are positive. Any modern ZK algorithm can implement a range proof, but the…

Tweet Image 1


João Paulo Morais Reposted

The final chapter on ZK Bulletproofs is published: Range Proofs A range proof is proof that a committed value falls into a certain range. Monero uses this to prove that all the values of a transaction are positive. Any modern ZK algorithm can implement a range proof, but the…

Tweet Image 1

João Paulo Morais Reposted

Right now at least 2 auditors/devs have completed a functioning ZK Bulletproof over the course of the last 10 days, using the RareSkills ZK Book Part 2. At least two more have the major subroutines fully functional. After 10 days of my reading the original paper, I made way…


João Paulo Morais Reposted

Chapter 10 of ZK Bulletproofs is up. The "random linear combination" is a common technique in ZK to reduce the size of proofs. Suppose we have two inner products we want to prove knowledge of. Instead of creating two proofs, we create one proof for a random linear…

Tweet Image 1

João Paulo Morais Reposted

Chapter 9 of ZK Bulletproofs is published If you like math proofs on a Saturday, you'll like our latest blog post on the algebra of inner products. Although we already completed the Bulletproofs algorithm, there are two more prerequisites before we can cover the cool part: a…

Tweet Image 1

João Paulo Morais Reposted

“Do you know ZK?” “Yeah” “How do you know you know ZK?” “I programmed a real algorithm from scratch.” Stop being a poser and actually know ZK. Bulletproofs are the easiest way to do it, especially with the exercises we provide. Seriously, I don’t think you understand how…

Chapter 8 of Bulletproofs is published. This chapter ties all the previous ones together and shows how Bulletproofs work end-to-end. This algorithm is used by Mina, Zcash, and Monero to achieve privacy with light overhead for the prover. Eight chapters is not a lot of work to…

Tweet Image 1


João Paulo Morais Reposted

Chapter 8 of Bulletproofs is published. This chapter ties all the previous ones together and shows how Bulletproofs work end-to-end. This algorithm is used by Mina, Zcash, and Monero to achieve privacy with light overhead for the prover. Eight chapters is not a lot of work to…

Tweet Image 1

It took me 3 months of intense study to understand the intricacies of Uniswap v3. Now it all makes sense, but the first 2 months were like Why Why Why?

Tweet Image 1

João Paulo Morais Reposted

RareSkills is hosting an all-day event -- RareDay -- on November 10th in Thailand. You'll get to hear from speakers from: ✔ RareSkills ✔ @CertoraInc@monad_xyz We are gatekeeping the event for technical attendees. If you are a BD, be sure to emphasize your technical…

Tweet Image 1

Abstract algebra and group theory may seem abstract to the reader, but the reality is that quantum mechanics and particle physics are basically "when group theory meets the Planck constant".


João Paulo Morais Reposted

Recently did a @ScrapingBits episode w/ @Jeyffre about computational complexity and zero knowledge proofs podcasts.apple.com/us/podcast/112… very interesting if you’re into these things (also we’re on apple podcasts now)


Currently working on a Uniswap v3 book for @RareSkills_io, already 33k words written and growing...

Tweet Image 1

João Paulo Morais Reposted

The second chapter in Part 2 of the ZK Book is Pedersen Commitments. They are like hash functions but are additively homomorphic (we’ll explain that in a second). In ZK, when a prover claims that they added some numbers together, they need to “commit” to the data first. It…

Tweet Image 1

João Paulo Morais Reposted

The RareSkills ZK Book now has a Part 2! Bulletproofs: Zero Knowledge Proofs for Inner Products Arguments Over the next 10 days, we will be publishing one chapter a day until completion. Privacy blockchains Monero and Zcash use Bulletproofs. Why should you care? Read on: 🧵

Tweet Image 1

João Paulo Morais Reposted

New blog post is up. This one explains how the UUPS proxy pattern works in detail. It includes is a detailed breakdown of the OpenZeppelin implementation and a security checklist at the end. We would like to thank @ernestognw from @OpenZeppelin for reviewing an earlier draft.…


João Paulo Morais Reposted

Shoutout to RareSkills and their Advanced Solidity Bootcamp. While I haven't gone through it, I have heard too many great things about it. As a crypto tech person, instead of trading shitcoins this might be the better ROI investment. rareskills.io/solidity-bootc…


João Paulo Morais Reposted

Almost a year ago, we published the most approachable introduction to how production ZK-SNARKs work. It's not just a theoretical or conceptual walkthrough. Engineers with no cryptography background were able to take the resource and build the Groth16 algorithm from scratch…

The next time someone asks you how to REALLY learn zero knowledge proofs, refer them to... The RareSkills Book of Zero Knowledge: rareskills.io/zk-book 14 chapters long (and growing), it is an open source version of our zk bootcamp. This is the same educational material our…

Tweet Image 1


João Paulo Morais Reposted

New blog post is up! When should you use • 𝗂𝗇𝗂𝗍𝗂𝖺𝗅𝗂𝗓𝖾𝗋() • 𝗋𝖾𝗂𝗇𝗂𝗍𝗂𝖺𝗅𝗂𝗓𝖾𝗋() • 𝗈𝗇𝗅𝗒𝖨𝗇𝗂𝗍𝗂𝖺𝗅𝗂𝗓𝗂𝗇𝗀() • _𝖽𝗂𝗌𝖺𝖻𝗅𝖾𝖨𝗇𝗂𝗍𝗂𝖺𝗅𝗂𝗓𝖾𝗋𝗌() • _𝗂𝗇𝗂𝗍() • _𝗂𝗇𝗂𝗍_𝗎𝗇𝖼𝗁𝖺𝗂𝗇𝖾𝖽() in your upgradeable smart contracts? In our…

Tweet Image 1

United States Trends
Loading...

Something went wrong.


Something went wrong.