├── .gitattributes ├── .github ├── ISSUE_TEMPLATE │ └── bounty.md └── workflows │ ├── artifacts.yaml │ ├── release.yaml │ └── test.yml ├── .gitignore ├── .mocharc.json ├── .rustfmt.toml ├── CHANGELOG.md ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── Makefile ├── README.md ├── circomkit.json ├── circuits.json ├── circuits ├── chacha20 │ ├── authentication.circom │ ├── chacha-qr.circom │ ├── chacha-round.circom │ └── chacha20.circom ├── http │ ├── machine.circom │ ├── parser.circom │ └── verification.circom ├── json │ ├── extraction.circom │ ├── hash_machine.circom │ ├── language.circom │ ├── machine.circom │ └── parser.circom ├── test │ ├── chacha20 │ │ ├── authentication.test.ts │ │ └── chacha20.test.ts │ ├── common │ │ ├── chacha.ts │ │ ├── http.ts │ │ ├── index.ts │ │ └── poseidon.ts │ ├── full │ │ ├── full.test.ts │ │ └── testCase.test.ts │ ├── http │ │ ├── parser.test.ts │ │ └── verification.test.ts │ ├── json │ │ ├── extraction.test.ts │ │ ├── index.ts │ │ ├── parser.test.ts │ │ ├── parsing_types.test.ts │ │ ├── stack.test.ts │ │ └── values.test.ts │ └── utils │ │ ├── array.test.ts │ │ ├── hash.test.ts │ │ └── operators.test.ts └── utils │ ├── array.circom │ ├── bits.circom │ ├── functions.circom │ ├── hash.circom │ └── operators.circom ├── create-pp ├── Cargo.toml └── src │ └── main.rs ├── docs ├── http.md ├── images │ ├── v0.7.0.png │ ├── v0.7.5.jpg │ └── v0.9.0.jpg └── json.md ├── examples ├── http │ ├── get_request.http │ ├── get_response.http │ ├── github_response.http │ ├── large_request.http │ ├── large_response.http │ ├── post_request.http │ ├── reddit_request.http │ ├── spotify_top_artists_request.http │ └── spotify_top_artists_response.http └── json │ ├── array_only.json │ ├── binance.json │ ├── empty.json │ ├── primitives.json │ ├── primitives_array.json │ ├── reddit.json │ ├── spotify.json │ ├── string_escape.json │ ├── value_array.json │ ├── value_array_object.json │ ├── value_object.json │ └── venmo.json ├── package.json ├── rust-toolchain.toml ├── tsconfig.json └── witness-generator ├── Cargo.toml └── src ├── error.rs ├── http ├── mod.rs └── parser.rs ├── json ├── mod.rs └── parser.rs ├── lib.rs └── mock.rs /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/.gitattributes -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/bounty.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/.github/ISSUE_TEMPLATE/bounty.md -------------------------------------------------------------------------------- /.github/workflows/artifacts.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/.github/workflows/artifacts.yaml -------------------------------------------------------------------------------- /.github/workflows/release.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/.github/workflows/release.yaml -------------------------------------------------------------------------------- /.github/workflows/test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/.github/workflows/test.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/.gitignore -------------------------------------------------------------------------------- /.mocharc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/.mocharc.json -------------------------------------------------------------------------------- /.rustfmt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/.rustfmt.toml -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/README.md -------------------------------------------------------------------------------- /circomkit.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circomkit.json -------------------------------------------------------------------------------- /circuits.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits.json -------------------------------------------------------------------------------- /circuits/chacha20/authentication.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/chacha20/authentication.circom -------------------------------------------------------------------------------- /circuits/chacha20/chacha-qr.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/chacha20/chacha-qr.circom -------------------------------------------------------------------------------- /circuits/chacha20/chacha-round.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/chacha20/chacha-round.circom -------------------------------------------------------------------------------- /circuits/chacha20/chacha20.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/chacha20/chacha20.circom -------------------------------------------------------------------------------- /circuits/http/machine.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/http/machine.circom -------------------------------------------------------------------------------- /circuits/http/parser.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/http/parser.circom -------------------------------------------------------------------------------- /circuits/http/verification.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/http/verification.circom -------------------------------------------------------------------------------- /circuits/json/extraction.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/json/extraction.circom -------------------------------------------------------------------------------- /circuits/json/hash_machine.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/json/hash_machine.circom -------------------------------------------------------------------------------- /circuits/json/language.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/json/language.circom -------------------------------------------------------------------------------- /circuits/json/machine.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/json/machine.circom -------------------------------------------------------------------------------- /circuits/json/parser.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/json/parser.circom -------------------------------------------------------------------------------- /circuits/test/chacha20/authentication.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/test/chacha20/authentication.test.ts -------------------------------------------------------------------------------- /circuits/test/chacha20/chacha20.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/test/chacha20/chacha20.test.ts -------------------------------------------------------------------------------- /circuits/test/common/chacha.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/test/common/chacha.ts -------------------------------------------------------------------------------- /circuits/test/common/http.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/test/common/http.ts -------------------------------------------------------------------------------- /circuits/test/common/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/test/common/index.ts -------------------------------------------------------------------------------- /circuits/test/common/poseidon.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/test/common/poseidon.ts -------------------------------------------------------------------------------- /circuits/test/full/full.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/test/full/full.test.ts -------------------------------------------------------------------------------- /circuits/test/full/testCase.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/test/full/testCase.test.ts -------------------------------------------------------------------------------- /circuits/test/http/parser.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/test/http/parser.test.ts -------------------------------------------------------------------------------- /circuits/test/http/verification.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/test/http/verification.test.ts -------------------------------------------------------------------------------- /circuits/test/json/extraction.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/test/json/extraction.test.ts -------------------------------------------------------------------------------- /circuits/test/json/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/test/json/index.ts -------------------------------------------------------------------------------- /circuits/test/json/parser.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/test/json/parser.test.ts -------------------------------------------------------------------------------- /circuits/test/json/parsing_types.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/test/json/parsing_types.test.ts -------------------------------------------------------------------------------- /circuits/test/json/stack.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/test/json/stack.test.ts -------------------------------------------------------------------------------- /circuits/test/json/values.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/test/json/values.test.ts -------------------------------------------------------------------------------- /circuits/test/utils/array.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/test/utils/array.test.ts -------------------------------------------------------------------------------- /circuits/test/utils/hash.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/test/utils/hash.test.ts -------------------------------------------------------------------------------- /circuits/test/utils/operators.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/test/utils/operators.test.ts -------------------------------------------------------------------------------- /circuits/utils/array.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/utils/array.circom -------------------------------------------------------------------------------- /circuits/utils/bits.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/utils/bits.circom -------------------------------------------------------------------------------- /circuits/utils/functions.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/utils/functions.circom -------------------------------------------------------------------------------- /circuits/utils/hash.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/utils/hash.circom -------------------------------------------------------------------------------- /circuits/utils/operators.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/circuits/utils/operators.circom -------------------------------------------------------------------------------- /create-pp/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/create-pp/Cargo.toml -------------------------------------------------------------------------------- /create-pp/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/create-pp/src/main.rs -------------------------------------------------------------------------------- /docs/http.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/docs/http.md -------------------------------------------------------------------------------- /docs/images/v0.7.0.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/docs/images/v0.7.0.png -------------------------------------------------------------------------------- /docs/images/v0.7.5.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/docs/images/v0.7.5.jpg -------------------------------------------------------------------------------- /docs/images/v0.9.0.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/docs/images/v0.9.0.jpg -------------------------------------------------------------------------------- /docs/json.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/docs/json.md -------------------------------------------------------------------------------- /examples/http/get_request.http: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/examples/http/get_request.http -------------------------------------------------------------------------------- /examples/http/get_response.http: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/examples/http/get_response.http -------------------------------------------------------------------------------- /examples/http/github_response.http: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/examples/http/github_response.http -------------------------------------------------------------------------------- /examples/http/large_request.http: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/examples/http/large_request.http -------------------------------------------------------------------------------- /examples/http/large_response.http: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/examples/http/large_response.http -------------------------------------------------------------------------------- /examples/http/post_request.http: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/examples/http/post_request.http -------------------------------------------------------------------------------- /examples/http/reddit_request.http: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/examples/http/reddit_request.http -------------------------------------------------------------------------------- /examples/http/spotify_top_artists_request.http: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/examples/http/spotify_top_artists_request.http -------------------------------------------------------------------------------- /examples/http/spotify_top_artists_response.http: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/examples/http/spotify_top_artists_response.http -------------------------------------------------------------------------------- /examples/json/array_only.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/examples/json/array_only.json -------------------------------------------------------------------------------- /examples/json/binance.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/examples/json/binance.json -------------------------------------------------------------------------------- /examples/json/empty.json: -------------------------------------------------------------------------------- 1 | {"object":{},"arr":[]} -------------------------------------------------------------------------------- /examples/json/primitives.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/examples/json/primitives.json -------------------------------------------------------------------------------- /examples/json/primitives_array.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/examples/json/primitives_array.json -------------------------------------------------------------------------------- /examples/json/reddit.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/examples/json/reddit.json -------------------------------------------------------------------------------- /examples/json/spotify.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/examples/json/spotify.json -------------------------------------------------------------------------------- /examples/json/string_escape.json: -------------------------------------------------------------------------------- 1 | {"a": "\"b\""} -------------------------------------------------------------------------------- /examples/json/value_array.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/examples/json/value_array.json -------------------------------------------------------------------------------- /examples/json/value_array_object.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/examples/json/value_array_object.json -------------------------------------------------------------------------------- /examples/json/value_object.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/examples/json/value_object.json -------------------------------------------------------------------------------- /examples/json/venmo.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/examples/json/venmo.json -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/package.json -------------------------------------------------------------------------------- /rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/rust-toolchain.toml -------------------------------------------------------------------------------- /tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/tsconfig.json -------------------------------------------------------------------------------- /witness-generator/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/witness-generator/Cargo.toml -------------------------------------------------------------------------------- /witness-generator/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/witness-generator/src/error.rs -------------------------------------------------------------------------------- /witness-generator/src/http/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/witness-generator/src/http/mod.rs -------------------------------------------------------------------------------- /witness-generator/src/http/parser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/witness-generator/src/http/parser.rs -------------------------------------------------------------------------------- /witness-generator/src/json/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/witness-generator/src/json/mod.rs -------------------------------------------------------------------------------- /witness-generator/src/json/parser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/witness-generator/src/json/parser.rs -------------------------------------------------------------------------------- /witness-generator/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/witness-generator/src/lib.rs -------------------------------------------------------------------------------- /witness-generator/src/mock.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pluto/web-prover-circuits/HEAD/witness-generator/src/mock.rs --------------------------------------------------------------------------------