alliance/src/proof
