├── .cursorignore ├── .gitattributes ├── .github └── workflows │ ├── base64-example.yml │ ├── bignum_example.yml │ ├── recursion.yml │ ├── solidity-example.yml │ └── web-starter-playwright.yml ├── .gitignore ├── CLAUDE.md ├── CONTRIBUTING.md ├── LICENSE ├── README.md ├── bignum_example ├── .gitignore ├── README.md └── circuits │ ├── Nargo.toml │ ├── Prover.toml │ └── src │ ├── main.nr │ └── test_inputs.nr ├── lib_examples ├── .gitignore ├── Nargo.toml └── base64_example │ ├── Nargo.toml │ ├── Prover.toml │ ├── Prover_LONG.toml │ ├── Prover_SHORT.toml │ ├── README.md │ └── src │ ├── main.nr │ └── test_inputs.nr ├── noir_by_example ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── Nargo.toml ├── README.md ├── generic_traits │ ├── noir │ │ ├── Nargo.toml │ │ ├── Prover.toml │ │ └── src │ │ │ └── main.nr │ └── rust │ │ ├── Cargo.toml │ │ └── src │ │ └── main.rs ├── loops │ ├── noir │ │ ├── Nargo.toml │ │ ├── Prover.toml │ │ └── src │ │ │ └── main.nr │ └── rust │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ └── main.rs ├── new_topic.sh ├── simple_macros │ ├── noir │ │ ├── Nargo.toml │ │ ├── Prover.toml │ │ └── src │ │ │ └── main.nr │ └── rust │ │ ├── Cargo.lock │ │ ├── Cargo.toml │ │ └── src │ │ └── main.rs └── toml_versions.sh ├── recursion ├── .gitignore ├── README.md ├── circuits │ ├── build.sh │ ├── inner │ │ ├── Nargo.toml │ │ └── src │ │ │ └── main.nr │ └── recursive │ │ ├── Nargo.toml │ │ └── src │ │ └── main.nr ├── js │ ├── generate-proof.ts │ ├── package.json │ ├── tsconfig.json │ └── yarn.lock └── yarn.lock ├── scripts └── setup-all.sh ├── solidity-example ├── .gitignore ├── .gitmodules ├── README.md ├── circuits │ ├── Nargo.toml │ ├── Prover.toml │ ├── build.sh │ └── src │ │ └── main.nr ├── contract │ ├── .env.sample │ ├── Starter.sol │ ├── Verifier.sol │ ├── foundry.toml │ ├── lib │ │ └── forge-std │ │ │ ├── .github │ │ │ └── workflows │ │ │ │ ├── ci.yml │ │ │ │ └── sync.yml │ │ │ ├── .gitignore │ │ │ ├── .gitmodules │ │ │ ├── LICENSE-APACHE │ │ │ ├── LICENSE-MIT │ │ │ ├── README.md │ │ │ ├── foundry.toml │ │ │ ├── lib │ │ │ └── ds-test │ │ │ │ ├── .github │ │ │ │ └── workflows │ │ │ │ │ └── build.yml │ │ │ │ ├── .gitignore │ │ │ │ ├── LICENSE │ │ │ │ ├── Makefile │ │ │ │ ├── default.nix │ │ │ │ ├── demo │ │ │ │ └── demo.sol │ │ │ │ ├── package.json │ │ │ │ └── src │ │ │ │ ├── test.sol │ │ │ │ └── test.t.sol │ │ │ ├── package.json │ │ │ ├── src │ │ │ ├── Base.sol │ │ │ ├── Script.sol │ │ │ ├── StdAssertions.sol │ │ │ ├── StdChains.sol │ │ │ ├── StdCheats.sol │ │ │ ├── StdError.sol │ │ │ ├── StdInvariant.sol │ │ │ ├── StdJson.sol │ │ │ ├── StdMath.sol │ │ │ ├── StdStorage.sol │ │ │ ├── StdStyle.sol │ │ │ ├── StdUtils.sol │ │ │ ├── Test.sol │ │ │ ├── Vm.sol │ │ │ ├── console.sol │ │ │ ├── console2.sol │ │ │ └── interfaces │ │ │ │ ├── IERC1155.sol │ │ │ │ ├── IERC165.sol │ │ │ │ ├── IERC20.sol │ │ │ │ ├── IERC4626.sol │ │ │ │ ├── IERC721.sol │ │ │ │ └── IMulticall3.sol │ │ │ └── test │ │ │ ├── StdAssertions.t.sol │ │ │ ├── StdChains.t.sol │ │ │ ├── StdCheats.t.sol │ │ │ ├── StdError.t.sol │ │ │ ├── StdMath.t.sol │ │ │ ├── StdStorage.t.sol │ │ │ ├── StdStyle.t.sol │ │ │ ├── StdUtils.t.sol │ │ │ ├── compilation │ │ │ ├── CompilationScript.sol │ │ │ ├── CompilationScriptBase.sol │ │ │ ├── CompilationTest.sol │ │ │ └── CompilationTestBase.sol │ │ │ └── fixtures │ │ │ └── broadcast.log.json │ ├── remappings.txt │ ├── script │ │ ├── Deploy.s.sol │ │ └── VerifyProof.s.sol │ └── test │ │ └── Starter.t.sol └── js │ ├── generate-proof.test.ts │ ├── generate-proof.ts │ ├── package.json │ ├── tsconfig.json │ └── yarn.lock └── web-starter ├── .gitignore ├── README.md ├── circuits ├── Nargo.toml ├── build.sh ├── src │ └── main.nr └── target │ ├── noir_uh_starter.json │ └── vk └── web ├── nextjs ├── .gitignore ├── README.md ├── app │ ├── globals.css │ ├── layout.tsx │ ├── page.tsx │ └── proof-component.tsx ├── next-env.d.ts ├── next.config.mjs ├── package.json ├── pages │ └── api │ │ └── verify.ts ├── playwright.config.cjs ├── tests │ └── proof-verification.spec.ts └── tsconfig.json ├── vite ├── README.md ├── index.html ├── main.ts ├── package.json ├── playwright.config.cjs ├── tests │ └── proof-verification.spec.ts ├── tsconfig.json ├── vite.config.js └── yarn.lock └── webpack ├── README.md ├── index.html ├── main.ts ├── package.json ├── playwright.config.cjs ├── tests └── proof-verification.spec.ts ├── tsconfig.json ├── webpack.config.cjs └── yarn.lock /.cursorignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/.cursorignore -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- 1 | *.nr linguist-language=Rust 2 | -------------------------------------------------------------------------------- /.github/workflows/base64-example.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/.github/workflows/base64-example.yml -------------------------------------------------------------------------------- /.github/workflows/bignum_example.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/.github/workflows/bignum_example.yml -------------------------------------------------------------------------------- /.github/workflows/recursion.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/.github/workflows/recursion.yml -------------------------------------------------------------------------------- /.github/workflows/solidity-example.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/.github/workflows/solidity-example.yml -------------------------------------------------------------------------------- /.github/workflows/web-starter-playwright.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/.github/workflows/web-starter-playwright.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | .vscode 2 | -------------------------------------------------------------------------------- /CLAUDE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/CLAUDE.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/README.md -------------------------------------------------------------------------------- /bignum_example/.gitignore: -------------------------------------------------------------------------------- 1 | circuits/target/ -------------------------------------------------------------------------------- /bignum_example/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/bignum_example/README.md -------------------------------------------------------------------------------- /bignum_example/circuits/Nargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/bignum_example/circuits/Nargo.toml -------------------------------------------------------------------------------- /bignum_example/circuits/Prover.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/bignum_example/circuits/Prover.toml -------------------------------------------------------------------------------- /bignum_example/circuits/src/main.nr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/bignum_example/circuits/src/main.nr -------------------------------------------------------------------------------- /bignum_example/circuits/src/test_inputs.nr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/bignum_example/circuits/src/test_inputs.nr -------------------------------------------------------------------------------- /lib_examples/.gitignore: -------------------------------------------------------------------------------- 1 | target 2 | -------------------------------------------------------------------------------- /lib_examples/Nargo.toml: -------------------------------------------------------------------------------- 1 | [workspace] 2 | members = [ 3 | "base64_example", 4 | ] 5 | -------------------------------------------------------------------------------- /lib_examples/base64_example/Nargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/lib_examples/base64_example/Nargo.toml -------------------------------------------------------------------------------- /lib_examples/base64_example/Prover.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/lib_examples/base64_example/Prover.toml -------------------------------------------------------------------------------- /lib_examples/base64_example/Prover_LONG.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/lib_examples/base64_example/Prover_LONG.toml -------------------------------------------------------------------------------- /lib_examples/base64_example/Prover_SHORT.toml: -------------------------------------------------------------------------------- 1 | input = "The quick br" 2 | base64_encoded = "VGhlIHF1aWNrIGJy" 3 | -------------------------------------------------------------------------------- /lib_examples/base64_example/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/lib_examples/base64_example/README.md -------------------------------------------------------------------------------- /lib_examples/base64_example/src/main.nr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/lib_examples/base64_example/src/main.nr -------------------------------------------------------------------------------- /lib_examples/base64_example/src/test_inputs.nr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/lib_examples/base64_example/src/test_inputs.nr -------------------------------------------------------------------------------- /noir_by_example/.gitignore: -------------------------------------------------------------------------------- 1 | target 2 | -------------------------------------------------------------------------------- /noir_by_example/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/noir_by_example/Cargo.lock -------------------------------------------------------------------------------- /noir_by_example/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/noir_by_example/Cargo.toml -------------------------------------------------------------------------------- /noir_by_example/Nargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/noir_by_example/Nargo.toml -------------------------------------------------------------------------------- /noir_by_example/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/noir_by_example/README.md -------------------------------------------------------------------------------- /noir_by_example/generic_traits/noir/Nargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/noir_by_example/generic_traits/noir/Nargo.toml -------------------------------------------------------------------------------- /noir_by_example/generic_traits/noir/Prover.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/noir_by_example/generic_traits/noir/Prover.toml -------------------------------------------------------------------------------- /noir_by_example/generic_traits/noir/src/main.nr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/noir_by_example/generic_traits/noir/src/main.nr -------------------------------------------------------------------------------- /noir_by_example/generic_traits/rust/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/noir_by_example/generic_traits/rust/Cargo.toml -------------------------------------------------------------------------------- /noir_by_example/generic_traits/rust/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/noir_by_example/generic_traits/rust/src/main.rs -------------------------------------------------------------------------------- /noir_by_example/loops/noir/Nargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/noir_by_example/loops/noir/Nargo.toml -------------------------------------------------------------------------------- /noir_by_example/loops/noir/Prover.toml: -------------------------------------------------------------------------------- 1 | loop_length = "5" 2 | -------------------------------------------------------------------------------- /noir_by_example/loops/noir/src/main.nr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/noir_by_example/loops/noir/src/main.nr -------------------------------------------------------------------------------- /noir_by_example/loops/rust/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/noir_by_example/loops/rust/Cargo.lock -------------------------------------------------------------------------------- /noir_by_example/loops/rust/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/noir_by_example/loops/rust/Cargo.toml -------------------------------------------------------------------------------- /noir_by_example/loops/rust/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/noir_by_example/loops/rust/src/main.rs -------------------------------------------------------------------------------- /noir_by_example/new_topic.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/noir_by_example/new_topic.sh -------------------------------------------------------------------------------- /noir_by_example/simple_macros/noir/Nargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/noir_by_example/simple_macros/noir/Nargo.toml -------------------------------------------------------------------------------- /noir_by_example/simple_macros/noir/Prover.toml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /noir_by_example/simple_macros/noir/src/main.nr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/noir_by_example/simple_macros/noir/src/main.nr -------------------------------------------------------------------------------- /noir_by_example/simple_macros/rust/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/noir_by_example/simple_macros/rust/Cargo.lock -------------------------------------------------------------------------------- /noir_by_example/simple_macros/rust/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/noir_by_example/simple_macros/rust/Cargo.toml -------------------------------------------------------------------------------- /noir_by_example/simple_macros/rust/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/noir_by_example/simple_macros/rust/src/main.rs -------------------------------------------------------------------------------- /noir_by_example/toml_versions.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/noir_by_example/toml_versions.sh -------------------------------------------------------------------------------- /recursion/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/recursion/.gitignore -------------------------------------------------------------------------------- /recursion/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/recursion/README.md -------------------------------------------------------------------------------- /recursion/circuits/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/recursion/circuits/build.sh -------------------------------------------------------------------------------- /recursion/circuits/inner/Nargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/recursion/circuits/inner/Nargo.toml -------------------------------------------------------------------------------- /recursion/circuits/inner/src/main.nr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/recursion/circuits/inner/src/main.nr -------------------------------------------------------------------------------- /recursion/circuits/recursive/Nargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/recursion/circuits/recursive/Nargo.toml -------------------------------------------------------------------------------- /recursion/circuits/recursive/src/main.nr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/recursion/circuits/recursive/src/main.nr -------------------------------------------------------------------------------- /recursion/js/generate-proof.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/recursion/js/generate-proof.ts -------------------------------------------------------------------------------- /recursion/js/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/recursion/js/package.json -------------------------------------------------------------------------------- /recursion/js/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/recursion/js/tsconfig.json -------------------------------------------------------------------------------- /recursion/js/yarn.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/recursion/js/yarn.lock -------------------------------------------------------------------------------- /recursion/yarn.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/recursion/yarn.lock -------------------------------------------------------------------------------- /scripts/setup-all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/scripts/setup-all.sh -------------------------------------------------------------------------------- /solidity-example/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/.gitignore -------------------------------------------------------------------------------- /solidity-example/.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/.gitmodules -------------------------------------------------------------------------------- /solidity-example/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/README.md -------------------------------------------------------------------------------- /solidity-example/circuits/Nargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/circuits/Nargo.toml -------------------------------------------------------------------------------- /solidity-example/circuits/Prover.toml: -------------------------------------------------------------------------------- 1 | x=3 2 | y=3 -------------------------------------------------------------------------------- /solidity-example/circuits/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/circuits/build.sh -------------------------------------------------------------------------------- /solidity-example/circuits/src/main.nr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/circuits/src/main.nr -------------------------------------------------------------------------------- /solidity-example/contract/.env.sample: -------------------------------------------------------------------------------- 1 | MNEMONIC="" 2 | STARTER_ADDRESS="0xaf78eFEf8B958eBa80D64e78fdBE655DC58e133b" -------------------------------------------------------------------------------- /solidity-example/contract/Starter.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/Starter.sol -------------------------------------------------------------------------------- /solidity-example/contract/Verifier.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/Verifier.sol -------------------------------------------------------------------------------- /solidity-example/contract/foundry.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/foundry.toml -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/.github/workflows/ci.yml -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/.github/workflows/sync.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/.github/workflows/sync.yml -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/.gitignore: -------------------------------------------------------------------------------- 1 | cache/ 2 | out/ 3 | .vscode 4 | .idea 5 | -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/.gitmodules -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/LICENSE-APACHE -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/LICENSE-MIT -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/README.md -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/foundry.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/foundry.toml -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/lib/ds-test/.github/workflows/build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/lib/ds-test/.github/workflows/build.yml -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/lib/ds-test/.gitignore: -------------------------------------------------------------------------------- 1 | /.dapple 2 | /build 3 | /out 4 | /cache/ 5 | -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/lib/ds-test/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/lib/ds-test/LICENSE -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/lib/ds-test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/lib/ds-test/Makefile -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/lib/ds-test/default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/lib/ds-test/default.nix -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/lib/ds-test/demo/demo.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/lib/ds-test/demo/demo.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/lib/ds-test/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/lib/ds-test/package.json -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/lib/ds-test/src/test.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/lib/ds-test/src/test.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/lib/ds-test/src/test.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/lib/ds-test/src/test.t.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/package.json -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/src/Base.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/src/Base.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/src/Script.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/src/Script.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/src/StdAssertions.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/src/StdAssertions.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/src/StdChains.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/src/StdChains.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/src/StdCheats.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/src/StdCheats.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/src/StdError.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/src/StdError.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/src/StdInvariant.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/src/StdInvariant.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/src/StdJson.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/src/StdJson.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/src/StdMath.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/src/StdMath.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/src/StdStorage.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/src/StdStorage.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/src/StdStyle.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/src/StdStyle.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/src/StdUtils.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/src/StdUtils.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/src/Test.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/src/Test.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/src/Vm.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/src/Vm.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/src/console.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/src/console.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/src/console2.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/src/console2.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/src/interfaces/IERC1155.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/src/interfaces/IERC1155.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/src/interfaces/IERC165.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/src/interfaces/IERC165.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/src/interfaces/IERC20.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/src/interfaces/IERC20.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/src/interfaces/IERC4626.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/src/interfaces/IERC4626.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/src/interfaces/IERC721.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/src/interfaces/IERC721.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/src/interfaces/IMulticall3.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/src/interfaces/IMulticall3.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/test/StdAssertions.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/test/StdAssertions.t.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/test/StdChains.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/test/StdChains.t.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/test/StdCheats.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/test/StdCheats.t.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/test/StdError.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/test/StdError.t.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/test/StdMath.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/test/StdMath.t.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/test/StdStorage.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/test/StdStorage.t.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/test/StdStyle.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/test/StdStyle.t.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/test/StdUtils.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/test/StdUtils.t.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/test/compilation/CompilationScript.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/test/compilation/CompilationScript.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/test/compilation/CompilationScriptBase.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/test/compilation/CompilationScriptBase.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/test/compilation/CompilationTest.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/test/compilation/CompilationTest.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/test/compilation/CompilationTestBase.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/test/compilation/CompilationTestBase.sol -------------------------------------------------------------------------------- /solidity-example/contract/lib/forge-std/test/fixtures/broadcast.log.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/lib/forge-std/test/fixtures/broadcast.log.json -------------------------------------------------------------------------------- /solidity-example/contract/remappings.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/remappings.txt -------------------------------------------------------------------------------- /solidity-example/contract/script/Deploy.s.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/script/Deploy.s.sol -------------------------------------------------------------------------------- /solidity-example/contract/script/VerifyProof.s.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/script/VerifyProof.s.sol -------------------------------------------------------------------------------- /solidity-example/contract/test/Starter.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/contract/test/Starter.t.sol -------------------------------------------------------------------------------- /solidity-example/js/generate-proof.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/js/generate-proof.test.ts -------------------------------------------------------------------------------- /solidity-example/js/generate-proof.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/js/generate-proof.ts -------------------------------------------------------------------------------- /solidity-example/js/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/js/package.json -------------------------------------------------------------------------------- /solidity-example/js/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/js/tsconfig.json -------------------------------------------------------------------------------- /solidity-example/js/yarn.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/solidity-example/js/yarn.lock -------------------------------------------------------------------------------- /web-starter/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/.gitignore -------------------------------------------------------------------------------- /web-starter/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/README.md -------------------------------------------------------------------------------- /web-starter/circuits/Nargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/circuits/Nargo.toml -------------------------------------------------------------------------------- /web-starter/circuits/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/circuits/build.sh -------------------------------------------------------------------------------- /web-starter/circuits/src/main.nr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/circuits/src/main.nr -------------------------------------------------------------------------------- /web-starter/circuits/target/noir_uh_starter.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/circuits/target/noir_uh_starter.json -------------------------------------------------------------------------------- /web-starter/circuits/target/vk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/circuits/target/vk -------------------------------------------------------------------------------- /web-starter/web/nextjs/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/nextjs/.gitignore -------------------------------------------------------------------------------- /web-starter/web/nextjs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/nextjs/README.md -------------------------------------------------------------------------------- /web-starter/web/nextjs/app/globals.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/nextjs/app/globals.css -------------------------------------------------------------------------------- /web-starter/web/nextjs/app/layout.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/nextjs/app/layout.tsx -------------------------------------------------------------------------------- /web-starter/web/nextjs/app/page.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/nextjs/app/page.tsx -------------------------------------------------------------------------------- /web-starter/web/nextjs/app/proof-component.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/nextjs/app/proof-component.tsx -------------------------------------------------------------------------------- /web-starter/web/nextjs/next-env.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/nextjs/next-env.d.ts -------------------------------------------------------------------------------- /web-starter/web/nextjs/next.config.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/nextjs/next.config.mjs -------------------------------------------------------------------------------- /web-starter/web/nextjs/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/nextjs/package.json -------------------------------------------------------------------------------- /web-starter/web/nextjs/pages/api/verify.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/nextjs/pages/api/verify.ts -------------------------------------------------------------------------------- /web-starter/web/nextjs/playwright.config.cjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/nextjs/playwright.config.cjs -------------------------------------------------------------------------------- /web-starter/web/nextjs/tests/proof-verification.spec.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/nextjs/tests/proof-verification.spec.ts -------------------------------------------------------------------------------- /web-starter/web/nextjs/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/nextjs/tsconfig.json -------------------------------------------------------------------------------- /web-starter/web/vite/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/vite/README.md -------------------------------------------------------------------------------- /web-starter/web/vite/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/vite/index.html -------------------------------------------------------------------------------- /web-starter/web/vite/main.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/vite/main.ts -------------------------------------------------------------------------------- /web-starter/web/vite/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/vite/package.json -------------------------------------------------------------------------------- /web-starter/web/vite/playwright.config.cjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/vite/playwright.config.cjs -------------------------------------------------------------------------------- /web-starter/web/vite/tests/proof-verification.spec.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/vite/tests/proof-verification.spec.ts -------------------------------------------------------------------------------- /web-starter/web/vite/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/vite/tsconfig.json -------------------------------------------------------------------------------- /web-starter/web/vite/vite.config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/vite/vite.config.js -------------------------------------------------------------------------------- /web-starter/web/vite/yarn.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/vite/yarn.lock -------------------------------------------------------------------------------- /web-starter/web/webpack/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/webpack/README.md -------------------------------------------------------------------------------- /web-starter/web/webpack/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/webpack/index.html -------------------------------------------------------------------------------- /web-starter/web/webpack/main.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/webpack/main.ts -------------------------------------------------------------------------------- /web-starter/web/webpack/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/webpack/package.json -------------------------------------------------------------------------------- /web-starter/web/webpack/playwright.config.cjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/webpack/playwright.config.cjs -------------------------------------------------------------------------------- /web-starter/web/webpack/tests/proof-verification.spec.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/webpack/tests/proof-verification.spec.ts -------------------------------------------------------------------------------- /web-starter/web/webpack/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/webpack/tsconfig.json -------------------------------------------------------------------------------- /web-starter/web/webpack/webpack.config.cjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/webpack/webpack.config.cjs -------------------------------------------------------------------------------- /web-starter/web/webpack/yarn.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/noir-lang/noir-examples/HEAD/web-starter/web/webpack/yarn.lock --------------------------------------------------------------------------------