Born with the idea of separating my web3 projects from the work I was doing during my PhD, this account is about my (not very) anonymous counterpart.
I am a believer that web3 (and especially Ethereum) is much more than a way to democratise finance. For me, we are facing a new form of global coordination that can give way to the next big step of humanity (maybe not in its current state, that's why it is necessary to keep moving forward).
💻 Language design and compilers: The main focus of my work and my interests, as you may notice from most of the repositories in this profile. This can range from type theory, logic, optimizations, all related topics are welcome. Apart from being a topic I am passionate about, I think it is necessary to improve the way in which smart contracts are written, in order to have more guarantees of their security and to reduce to the minimum the losses due to hacks or programming errors.
🔒 Zero-Knowledge Proofs:: It would be difficult to coordinate all of humanity if all the information of any movement produced on the blockchain were public. And besides, it would have hundreds of detractors and thousands of use cases with sensitive information would be discarded. That's why I believe that zero-knowledge proofs are a fundamental step on the road to mass adoption.
🌐 Blockchain Technology in general: The future of human coordination lies in these magical chains of blocks. Apart from the two topics mentioned above, it is clear that I am betting heavily on the adoption and mass use of blockchain in terms of coordination and decentralisation. Therefore, even if I am not a vast connoisseur of all possible topics, I assure you that you can contact me to discuss any related topic and I will be happy to listen to you.
If my interests align with yours, or if you want to explore new digital frontiers together, I welcome you. I am always open to collaborations on any of these topics. Feel free to reach out to me at:
.
All support is welcome and helps me to stay focused on my projects:
🔷 Ethereum: 0x7FF4408Bf503Cdd3991771a18E8F8C364eACE215