Automated Market Makers (AMMs) are at the core of DeFi. These tools, which power token swaps and liquidity provisions, can seem straightforward, but building them is a real challenge! We wanted to create a demo that would be immediately useful, so we decided to build Hyleoof, a zkAMM for Hylé.