pluto / web-prover-circuits

Circuits for Pluto's `web-prover`
Apache License 2.0
12 stars 0 forks source link

fix: constrain HTTP and JSON to have valid structure #56

Open Autoparallel opened 1 week ago

Autoparallel commented 1 week ago

Right now we do not enforce that a given HTTP or JSON object actually has valid structure. For instance, 512b block of zeros will pass through HTTP possibly. HTTP at least needs a start line (and likely needs a header).

JSON actually can quickly enable this check -- in essence the stack machine must be reset after the block is parsed.

Tasks