We explore Barry's snark work from this year 1. MIximus a token mixer. 2. Semaphore a reputations mixer. 3. baby_jubjub an elliptic curve designed to be embedded inside a snark. 4. Signature scheme and pedersen commitments based upon this curve. 5. roll_up which uses No 4 for signaling. There is general interest in the ethereum community to scale ethereum by moving dapps inside snarks here we describe one approach to this.