feat: support more flexible chaining of NIVC circuits

[lonerapier]

v0.7.0 circuits only supports 1 chain (plaintext_authentication -> HTTP Verification -> JSON extraction). Extend the circuits to support multiple subchains.

flowchart LR

i([input]) --> p1[plaintext_authentication]
subgraph one
p1-->h1[http_verification]
h1-->j1[json_extraction]
end
subgraph two
j1-->p2[plaintext_authentication]
p2-->h2[http_verification]
h2-->j2[json_extraction]
end

Loading