circuits,0/1₂,adder,sha1