target
result
zkp
output
params