Liam is a cryptographer focused on applied SNARKs and on-chain proof verification for Bitcoin. He co-discovered how to use garbled circuits on Bitcoin and has helped make BitVM protocols practical through schemes such as Glock. His techniques are used in several state-of-the-art proof systems. He is the former chief scientist and founding cryptographer at Alpen Labs, and previously worked at Polygon Zero, Aztec, and Blockstream.
