import "hashes/sha256/512bitPacked" as sha256packed
def main(private field a, private field b, private field c, private field d):
field[2] h = sha256packed([a, b, c, d])
assert(h[0] == 263561599766550617289250058199814760685)
assert(h[1] == 65303172752238645975888084098459749904)
return
program:
witness
_13021 1 _13022 21888242871839275222246405745257275088548364400416034343698204186575808495616 _13023 0
Circuit
_13023 = _13021 + _13022![image](https://user-images.githubusercontent.com/995909/126333808-7aa45168-24d9-4cda-8552-5bb2abd905c3.png)