I'm Santiago Palladino, a software developer and engineering manager from Buenos Aires, Argentina. I started coding professionally 18 years ago, and have been in the Ethereum development space for the past 6 years.
Podcast episode in the Over Abstraction series. We covered what we are building at Aztec, ramblings about Zero Knowledge proofs, and war stories from OpenZeppelin.
Lightning talk for end-users on how to understand the consequences of a multisig transaction before signing it.
An overview of the state of the art, problems, and possible solutions in web3 operations: integration testing, deployment, administration, automation, and monitoring.
Learn and compare general-purpose zero-knowledge languages (Circom, Halo2, and Noir) by writing a circuit for the same problem in all of them.
A proof of concept for a smart contract deployment pipeline using Github Actions, Hardhat, and Defender. Steps include build, test, deployment, verification, and post-deploy.
Submission to the Solidity Underhanded contest 2022. The challenge was to build a decentralized exchange that hid a flaw in plain sight. Won 2nd place in the contest.
Proof of concept for a delegatecall proxy upgrade pattern for Ethereum smart contracts, that does not require storage usage. Inspired by the Dharma beacon pattern by @0age, CREATE2-based upgrades by @carver, storage hacks by @Agusx1211, and blue-green deployments by Martin Fowler.
A book written for web developers who want to jump into the web3 space. The book assumes knowledge in building web applications, and introduces general concepts about blockchains and smart contracts, to then focus on building of decentralized apps.
An introduction to coding and using zero-knowledge proofs, using Circom, Halo2, and Noir.
A personal overview of how smart contract formal verification works using Certora.
Thoughts on the need for secure operations and processes in the Ethereum space, including testing, deployment, administration, automation, and monitoring.
A survey of the different Ethereum smart contract upgrade patterns and strategies from a technical viewpoint, plus a set of good practices and recommendations for upgrades management and governance.
A people-friendly article on how bitcoin and blockchains work, written for a popular latin american science popularization blog.
How to use integer linear programming to solve the NP-complete graph coloring problem. Written in the context of my master's thesis.