I am the CTO & co-founder of a full-stack web3 consultancy called Mach 34 where we specialize in applied zero-knowledge cryptography.
One of the projects we recently worked on was a tutorial series demonstrating how to write proofs in Aztec Network's new domain specific language Noir: https://github.com/BattleZips/BattleZips-Noir