feat: http + json extended example

[lonerapier]

Closes #8

Adds:

• codegen for http + json circuit
• build docs for extended example
• http docs
• refactoring codegen to make it more modular for folded circuits
• test harness
• add test and lint CI

Run npx mocha -g spotify to run spotify example. Currently, we don't match the output because sym file is too big to be loaded, due to unconstrained signals. However, running circuit manually with circom, snarkjs works.

To run codegen, which will generate circuit in main/spotify_top_artists.circom:

pabuild codegen extended --circuit-name spotify_top_artists --input-file examples/http/spotify_top_artists.json --lockfile examples/http/lockfile/spotify_extended.lock.json -d

and then compile circuits and generate witness using circomkit.

[devloper]

few thoughts

[devloper]

Do we want to commit this token...?

[lonerapier]

It expires every hour, at this point even I can't use it lol. but, yeah, will add this to gh secrets.

[devloper]

This is interesting. If the content is gzip vs identity, this likely fails.

[lonerapier]

we can use Accept-Encoding: identity in request and perform LockHeader proof on request, right?

https://httpwg.org/specs/rfc9110.html#field.accept-encoding

[Autoparallel]

looks good to me! Lot's of good additions and clean up.

I think my review may be a bit superficial as I want to get to use this outside of this context, that will really be the most telling if we have this working in the best way possible :)

[Autoparallel]

Also note I pushed up a README change.

[Autoparallel]

@lonerapier see #92 to see if that fixes test