privacy-scaling-explorations/keccak_circuit not found