├── .dockerignore ├── .github ├── pull_request_template.md └── workflows │ ├── circuits.yml │ ├── confidential-coins.yml │ ├── containerize.yml │ ├── contracts.yml │ ├── demo-app.yml │ └── prover.yml ├── .gitignore ├── .rustfmt.toml ├── .yarn ├── plugins │ └── plugin-envs.cjs └── releases │ └── yarn-4.0.2.cjs ├── .yarnrc.yml ├── CONTRIBUTING.md ├── Cargo.lock ├── Cargo.toml ├── Dockerfile ├── LICENSE ├── README.md ├── audits ├── ABDK_Nebra_Saturn_CircuitsUpdate_v_1_0.pdf ├── ABDK_Nebra_Saturn_Circuits_v_1_0.pdf ├── ABDK_Nebra_SpecAudit_PartI_v_1_0.pdf ├── README.md ├── UPA_circuits_circuitId_hash_function_change_Zellic_Audit_Report.pdf ├── Zellic_Gnark_support_in_UPA_circuits.pdf └── Zellic_UPA_circuits.pdf ├── circuits ├── Cargo.toml ├── README.md ├── benches │ ├── README.md │ ├── configs │ │ ├── bv_configs.json │ │ ├── keccak_configs.json │ │ ├── outer_configs.json │ │ ├── ubv_configs.json │ │ └── universal_outer_configs.json │ ├── keccak.rs │ ├── log_parsing │ │ ├── concatenate_files.py │ │ └── upa_log_parser.py │ ├── universal_batch_verifier.rs │ ├── universal_outer.rs │ ├── upa.rs │ └── utils.rs └── src │ ├── batch_verify │ ├── common │ │ ├── chip.rs │ │ ├── ecc.rs │ │ ├── mod.rs │ │ ├── native.rs │ │ └── types.rs │ ├── mod.rs │ └── universal │ │ ├── chip.rs │ │ ├── mod.rs │ │ ├── native.rs │ │ ├── types.rs │ │ └── utils.rs │ ├── keccak │ ├── chip.rs │ ├── inputs.rs │ ├── mod.rs │ ├── multivar.rs │ ├── utils.rs │ └── variable.rs │ ├── lib.rs │ ├── outer │ ├── mod.rs │ ├── universal.rs │ └── utils.rs │ ├── tests │ ├── README.md │ ├── commitment_point.rs │ ├── configs │ │ ├── circuit.config │ │ ├── fp_mul.config │ │ ├── hashing.config │ │ ├── multi_pairing.config │ │ ├── outer_circuit_test.config │ │ ├── pairing_check.config │ │ ├── scalar_powers.config │ │ └── scale_pairs.config │ ├── data │ │ ├── batch_verifier_bad_inputs_2.json │ │ ├── batch_verifier_inputs_2.json │ │ ├── commitment_proof_batch_8_proofs.json │ │ ├── gnark │ │ │ ├── _upa_format │ │ │ │ ├── brevis.upa-proof-inputs.json │ │ │ │ ├── brevis.upa-vk.json │ │ │ │ ├── no_commitment.upa-proof-inputs.json │ │ │ │ ├── no_commitment.upa-vk.json │ │ │ │ ├── private_commitment.upa-proof-inputs.json │ │ │ │ └── private_commitment.upa-vk.json │ │ │ ├── brevis.inputs.json │ │ │ ├── brevis.proof.json │ │ │ ├── brevis.vk.json │ │ │ ├── convert.sh │ │ │ ├── invalid │ │ │ │ ├── _upa_format │ │ │ │ │ ├── private_commitment_wrong_hash.upa-proof-inputs.json │ │ │ │ │ ├── private_commitment_wrong_hash.upa-vk.json │ │ │ │ │ ├── public_commitment.upa-proof-inputs.json │ │ │ │ │ └── public_commitment.upa-vk.json │ │ │ │ ├── private_commitment_wrong_hash.inputs.json │ │ │ │ ├── private_commitment_wrong_hash.proof.json │ │ │ │ ├── private_commitment_wrong_hash.vk.json │ │ │ │ ├── public_commitment.inputs.json │ │ │ │ ├── public_commitment.proof.json │ │ │ │ └── public_commitment.vk.json │ │ │ ├── no_commitment.inputs.json │ │ │ ├── no_commitment.proof.json │ │ │ ├── no_commitment.vk.json │ │ │ ├── private_commitment.inputs.json │ │ │ ├── private_commitment.proof.json │ │ │ ├── private_commitment.vk.json │ │ │ └── readme.md │ │ ├── invalid_proof.upa.json │ │ ├── invalid_vk.upa.json │ │ ├── proof1.json │ │ ├── proof2.json │ │ ├── proof3.json │ │ ├── proof_batch_1_2.json │ │ ├── proof_batch_1_8.json │ │ ├── proof_batch_4_pi.json │ │ ├── universal_batch_verifier_10_proofs.json │ │ ├── universal_batch_verifier_4_proofs.json │ │ ├── universal_batch_verifier_8_proofs.json │ │ ├── universal_batch_verifier_bad_inputs_2.json │ │ ├── universal_batch_verifier_inputs_2.json │ │ ├── vk-2.json │ │ ├── vk-3.json │ │ ├── vk.json │ │ └── vk_commitment.json │ ├── hashing.rs │ ├── keccak │ │ ├── mod.rs │ │ ├── multivar.rs │ │ ├── utils.rs │ │ └── variable.rs │ ├── mod.rs │ ├── universal_batch_verifier │ │ ├── component.rs │ │ ├── ecc.rs │ │ ├── mod.rs │ │ └── native.rs │ ├── universal_outer.rs │ └── utils │ │ ├── field_elements_hex.rs │ │ └── mod.rs │ └── utils │ ├── base64.rs │ ├── benchmarks.rs │ ├── bitmask.rs │ ├── commitment_point.rs │ ├── field_element_hex.rs │ ├── field_elements_hex.rs │ ├── file.rs │ ├── hashing.rs │ ├── keccak_hasher.rs │ ├── mod.rs │ ├── reduced.rs │ ├── upa_config.rs │ └── vk_hex.rs ├── examples ├── confidential-coins │ ├── .eslintrc.cjs │ ├── .prettierignore │ ├── .prettierrc.json │ ├── .solhint.json │ ├── .solhintignore │ ├── circuits │ │ └── validatetx.circom │ ├── contracts │ │ └── ConfidentialCoins.sol │ ├── hardhat.config.ts │ ├── package.json │ ├── scripts │ │ ├── setup │ │ ├── shell_setup.sh │ │ └── test_confidential_coins │ ├── src │ │ ├── aggconvert.ts │ │ ├── convert.ts │ │ ├── deploy.ts │ │ ├── getstate.ts │ │ ├── index.ts │ │ ├── initbalance.ts │ │ └── utils.ts │ └── tsconfig.json └── demo-app │ ├── core │ ├── .eslintrc.cjs │ ├── .prettierignore │ ├── .prettierrc.json │ ├── .solhint.json │ ├── .solhintignore │ ├── README.md │ ├── circuits │ │ └── circuit.circom │ ├── contracts │ │ └── DemoApp.sol │ ├── hardhat.config.ts │ ├── package.json │ ├── scripts │ │ ├── setup │ │ ├── shell_setup.sh │ │ └── test_demo_app │ ├── src │ │ ├── batchFiller.ts │ │ ├── deploy.ts │ │ ├── frontend_utils.ts │ │ ├── generateProofs.ts │ │ ├── getstate.ts │ │ ├── index.ts │ │ ├── multiSubmit.ts │ │ ├── submit.ts │ │ ├── submitDirect.ts │ │ ├── submitInvalid.ts │ │ ├── submitOffchain.ts │ │ ├── submitProofsFromFile.ts │ │ ├── submitSolutionsFromFile.ts │ │ └── utils.ts │ ├── test │ │ └── demoAppTest.ts │ └── tsconfig.json │ ├── frontend │ ├── .eslintrc.json │ ├── .gitignore │ ├── .pretterignore │ ├── .prettierrc.json │ ├── README.md │ ├── components │ │ └── ui │ │ │ ├── Logo.tsx │ │ │ └── StageText.tsx │ ├── lib │ │ ├── animations.tsx │ │ └── types.ts │ ├── next.config.mjs │ ├── package.json │ ├── pages │ │ ├── _app.tsx │ │ ├── _document.tsx │ │ └── index.tsx │ ├── postcss.config.js │ ├── public │ │ ├── favicon.ico │ │ ├── logo.png │ │ ├── logo.svg │ │ └── nebra.svg │ ├── src │ │ └── submit.ts │ ├── styles │ │ └── globals.css │ ├── tailwind.config.ts │ └── tsconfig.json │ └── scripts │ └── build_standalone ├── package.json ├── prover ├── Cargo.toml ├── README.md ├── configs │ ├── upa_config_batch_size_2.json │ ├── upa_config_batch_size_4.json │ └── upa_config_batch_size_8.json ├── scripts │ ├── aggregation_benchmark │ ├── default_files.sh │ ├── dummy_srs_setup │ ├── integration_test │ ├── keygen │ ├── prelude.sh │ ├── shell_setup.sh │ └── test_prover ├── src │ ├── default_values.rs │ ├── file_utils.rs │ ├── full │ │ ├── keygen.rs │ │ ├── mod.rs │ │ └── prove.rs │ ├── groth16 │ │ ├── generate_fake_vk.rs │ │ ├── generate_proofs.rs │ │ └── mod.rs │ ├── keccak │ │ ├── keygen.rs │ │ ├── mod.rs │ │ ├── prove.rs │ │ └── verify.rs │ ├── lib.rs │ ├── main.rs │ ├── srs.rs │ ├── universal_batch_verifier │ │ ├── compute_circuit_id.rs │ │ ├── compute_proof_id.rs │ │ ├── compute_submission_id.rs │ │ ├── keygen.rs │ │ ├── mod.rs │ │ ├── prove.rs │ │ └── verify.rs │ └── universal_outer │ │ ├── keygen.rs │ │ ├── mod.rs │ │ ├── prove.rs │ │ ├── verifier_yul_code.rs │ │ └── verify.rs └── tests │ ├── upa_config_2.json │ ├── upa_config_2_with_submission_id.json │ └── upa_config_8.json ├── rust-toolchain ├── scripts └── run_for_each ├── spec ├── circuits │ ├── universal_batch_verifier.md │ ├── universal_outer.md │ └── var_len_keccak.md └── protocol │ ├── Makefile │ ├── README.md │ ├── upa-1.2.0.md │ └── upa-1.2.0.pdf ├── upa ├── .eslintrc.cjs ├── .openzeppelin │ └── sepolia.json ├── .prettierignore ├── .prettierrc.json ├── .solhint.json ├── .typedoc.json ├── DEVELOPMENT.md ├── README.md ├── _slither │ └── slither.db.json ├── contracts │ ├── Deposits.sol │ ├── EllipticCurveUtils.sol │ ├── Groth16Verifier.sol │ ├── IDeposits.sol │ ├── IGroth16Verifier.sol │ ├── IUpaProofReceiver.sol │ ├── IUpaVerifier.sol │ ├── Merkle.sol │ ├── README.md │ ├── Uint16VectorLib.sol │ ├── UpaFeeBase.sol │ ├── UpaFixedGasFee.sol │ ├── UpaInternalLib.sol │ ├── UpaLib.sol │ ├── UpaProofReceiver.sol │ ├── UpaVerifier.sol │ └── tests │ │ ├── ComputeCreateXDeployAddress.sol │ │ ├── ITestUpgradedUpaVerifier.sol │ │ ├── MerkleTest.sol │ │ ├── TestUpgradedUpaVerifier.sol │ │ ├── Uint16VectorLibTest.sol │ │ ├── UpaLibTest.sol │ │ └── YulTest.sol ├── hardhat.config.ts ├── package.json ├── scripts │ ├── docs_publish │ ├── run_slither │ ├── shell_setup.sh │ ├── test_challenge │ ├── test_dev_aggregator │ ├── test_package │ ├── test_upa │ └── utils.sh ├── src │ ├── index.ts │ ├── sdk │ │ ├── aggregatedProofParams.ts │ │ ├── application.ts │ │ ├── client.ts │ │ ├── ecc.ts │ │ ├── events.ts │ │ ├── gnark.ts │ │ ├── groth16.ts │ │ ├── groth16Verifier.ts │ │ ├── index.ts │ │ ├── merkleUtils.ts │ │ ├── offChainClient.ts │ │ ├── pointCompression.ts │ │ ├── snarkjs.ts │ │ ├── sp1.ts │ │ ├── submission.ts │ │ ├── submissionIntervals.ts │ │ ├── upa.ts │ │ └── utils.ts │ └── tool │ │ ├── aggregatedProofVerifier.ts │ │ ├── aggregator.ts │ │ ├── challenge.ts │ │ ├── compute.ts │ │ ├── config.ts │ │ ├── convert.ts │ │ ├── deploy.ts │ │ ├── deployBinary.ts │ │ ├── deployDeposits.ts │ │ ├── dev.ts │ │ ├── devAggregator.ts │ │ ├── getConfig.ts │ │ ├── getSubmission.ts │ │ ├── index.ts │ │ ├── isVerified.ts │ │ ├── log.ts │ │ ├── main.ts │ │ ├── offChain.ts │ │ ├── options.ts │ │ ├── owner.ts │ │ ├── pause.ts │ │ ├── query.ts │ │ ├── registerVK.ts │ │ ├── setFee.ts │ │ ├── setVersion.ts │ │ ├── setWorker.ts │ │ ├── stats.ts │ │ ├── submitProofs.ts │ │ ├── unpause.ts │ │ ├── upgrade.ts │ │ └── version.ts ├── test │ ├── applicationTest.ts │ ├── censorshipClaimTest.ts │ ├── clientTest.ts │ ├── computeProxyAddressTest.ts │ ├── data │ │ ├── README.md │ │ ├── gnark_proof.json │ │ ├── gnark_vk.json │ │ ├── outer_2_2.proof │ │ ├── outer_2_2.proof.calldata │ │ ├── outer_2_2.proof.instance │ │ ├── outer_2_2.verifier.bin │ │ ├── outer_2_2.verifier.yul │ │ ├── snarkjs │ │ │ ├── test_snarkjs_proof.json │ │ │ └── test_snarkjs_vk.json │ │ ├── sp1 │ │ │ └── v1.2.0_fixture.json │ │ ├── test.bin │ │ └── test.yul │ ├── deploy.ts │ ├── dummy │ │ ├── README.md │ │ ├── dummy_proof.upa.json │ │ └── dummy_vk.upa.json │ ├── duplicateSubmissionsTests.ts │ ├── eventsTest.ts │ ├── gnarkVerifierTest.ts │ ├── groth16VerifierTest.ts │ ├── merkleIntervalTest.ts │ ├── offChainFeeTest.ts │ ├── offChainSubmissionTest.ts │ ├── pauseTests.ts │ ├── pointCompressionTest.ts │ ├── sp1VerifierTest.ts │ ├── submissionIntervalTest.ts │ ├── submissionTest.ts │ ├── uint16VectorTest.ts │ ├── upaLibTests.ts │ ├── upaTests.ts │ ├── upgradeTests.ts │ ├── utilsTest.ts │ └── yulTests.ts └── tsconfig.json ├── verification ├── .env ├── README.md ├── key_verification.sh └── split_yul_code.py └── yarn.lock /.dockerignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/.dockerignore -------------------------------------------------------------------------------- /.github/pull_request_template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/.github/pull_request_template.md -------------------------------------------------------------------------------- /.github/workflows/circuits.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/.github/workflows/circuits.yml -------------------------------------------------------------------------------- /.github/workflows/confidential-coins.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/.github/workflows/confidential-coins.yml -------------------------------------------------------------------------------- /.github/workflows/containerize.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/.github/workflows/containerize.yml -------------------------------------------------------------------------------- /.github/workflows/contracts.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/.github/workflows/contracts.yml -------------------------------------------------------------------------------- /.github/workflows/demo-app.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/.github/workflows/demo-app.yml -------------------------------------------------------------------------------- /.github/workflows/prover.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/.github/workflows/prover.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/.gitignore -------------------------------------------------------------------------------- /.rustfmt.toml: -------------------------------------------------------------------------------- 1 | max_width=80 2 | imports_granularity="Crate" 3 | edition="2018" 4 | -------------------------------------------------------------------------------- /.yarn/plugins/plugin-envs.cjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/.yarn/plugins/plugin-envs.cjs -------------------------------------------------------------------------------- /.yarn/releases/yarn-4.0.2.cjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/.yarn/releases/yarn-4.0.2.cjs -------------------------------------------------------------------------------- /.yarnrc.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/.yarnrc.yml -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/Cargo.toml -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/README.md -------------------------------------------------------------------------------- /audits/ABDK_Nebra_Saturn_CircuitsUpdate_v_1_0.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/audits/ABDK_Nebra_Saturn_CircuitsUpdate_v_1_0.pdf -------------------------------------------------------------------------------- /audits/ABDK_Nebra_Saturn_Circuits_v_1_0.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/audits/ABDK_Nebra_Saturn_Circuits_v_1_0.pdf -------------------------------------------------------------------------------- /audits/ABDK_Nebra_SpecAudit_PartI_v_1_0.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/audits/ABDK_Nebra_SpecAudit_PartI_v_1_0.pdf -------------------------------------------------------------------------------- /audits/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/audits/README.md -------------------------------------------------------------------------------- /audits/UPA_circuits_circuitId_hash_function_change_Zellic_Audit_Report.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/audits/UPA_circuits_circuitId_hash_function_change_Zellic_Audit_Report.pdf -------------------------------------------------------------------------------- /audits/Zellic_Gnark_support_in_UPA_circuits.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/audits/Zellic_Gnark_support_in_UPA_circuits.pdf -------------------------------------------------------------------------------- /audits/Zellic_UPA_circuits.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/audits/Zellic_UPA_circuits.pdf -------------------------------------------------------------------------------- /circuits/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/Cargo.toml -------------------------------------------------------------------------------- /circuits/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/README.md -------------------------------------------------------------------------------- /circuits/benches/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/benches/README.md -------------------------------------------------------------------------------- /circuits/benches/configs/bv_configs.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/benches/configs/bv_configs.json -------------------------------------------------------------------------------- /circuits/benches/configs/keccak_configs.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/benches/configs/keccak_configs.json -------------------------------------------------------------------------------- /circuits/benches/configs/outer_configs.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/benches/configs/outer_configs.json -------------------------------------------------------------------------------- /circuits/benches/configs/ubv_configs.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/benches/configs/ubv_configs.json -------------------------------------------------------------------------------- /circuits/benches/configs/universal_outer_configs.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/benches/configs/universal_outer_configs.json -------------------------------------------------------------------------------- /circuits/benches/keccak.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/benches/keccak.rs -------------------------------------------------------------------------------- /circuits/benches/log_parsing/concatenate_files.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/benches/log_parsing/concatenate_files.py -------------------------------------------------------------------------------- /circuits/benches/log_parsing/upa_log_parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/benches/log_parsing/upa_log_parser.py -------------------------------------------------------------------------------- /circuits/benches/universal_batch_verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/benches/universal_batch_verifier.rs -------------------------------------------------------------------------------- /circuits/benches/universal_outer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/benches/universal_outer.rs -------------------------------------------------------------------------------- /circuits/benches/upa.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/benches/upa.rs -------------------------------------------------------------------------------- /circuits/benches/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/benches/utils.rs -------------------------------------------------------------------------------- /circuits/src/batch_verify/common/chip.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/batch_verify/common/chip.rs -------------------------------------------------------------------------------- /circuits/src/batch_verify/common/ecc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/batch_verify/common/ecc.rs -------------------------------------------------------------------------------- /circuits/src/batch_verify/common/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/batch_verify/common/mod.rs -------------------------------------------------------------------------------- /circuits/src/batch_verify/common/native.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/batch_verify/common/native.rs -------------------------------------------------------------------------------- /circuits/src/batch_verify/common/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/batch_verify/common/types.rs -------------------------------------------------------------------------------- /circuits/src/batch_verify/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/batch_verify/mod.rs -------------------------------------------------------------------------------- /circuits/src/batch_verify/universal/chip.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/batch_verify/universal/chip.rs -------------------------------------------------------------------------------- /circuits/src/batch_verify/universal/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/batch_verify/universal/mod.rs -------------------------------------------------------------------------------- /circuits/src/batch_verify/universal/native.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/batch_verify/universal/native.rs -------------------------------------------------------------------------------- /circuits/src/batch_verify/universal/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/batch_verify/universal/types.rs -------------------------------------------------------------------------------- /circuits/src/batch_verify/universal/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/batch_verify/universal/utils.rs -------------------------------------------------------------------------------- /circuits/src/keccak/chip.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/keccak/chip.rs -------------------------------------------------------------------------------- /circuits/src/keccak/inputs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/keccak/inputs.rs -------------------------------------------------------------------------------- /circuits/src/keccak/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/keccak/mod.rs -------------------------------------------------------------------------------- /circuits/src/keccak/multivar.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/keccak/multivar.rs -------------------------------------------------------------------------------- /circuits/src/keccak/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/keccak/utils.rs -------------------------------------------------------------------------------- /circuits/src/keccak/variable.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/keccak/variable.rs -------------------------------------------------------------------------------- /circuits/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/lib.rs -------------------------------------------------------------------------------- /circuits/src/outer/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/outer/mod.rs -------------------------------------------------------------------------------- /circuits/src/outer/universal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/outer/universal.rs -------------------------------------------------------------------------------- /circuits/src/outer/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/outer/utils.rs -------------------------------------------------------------------------------- /circuits/src/tests/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/README.md -------------------------------------------------------------------------------- /circuits/src/tests/commitment_point.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/commitment_point.rs -------------------------------------------------------------------------------- /circuits/src/tests/configs/circuit.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/configs/circuit.config -------------------------------------------------------------------------------- /circuits/src/tests/configs/fp_mul.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/configs/fp_mul.config -------------------------------------------------------------------------------- /circuits/src/tests/configs/hashing.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/configs/hashing.config -------------------------------------------------------------------------------- /circuits/src/tests/configs/multi_pairing.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/configs/multi_pairing.config -------------------------------------------------------------------------------- /circuits/src/tests/configs/outer_circuit_test.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/configs/outer_circuit_test.config -------------------------------------------------------------------------------- /circuits/src/tests/configs/pairing_check.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/configs/pairing_check.config -------------------------------------------------------------------------------- /circuits/src/tests/configs/scalar_powers.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/configs/scalar_powers.config -------------------------------------------------------------------------------- /circuits/src/tests/configs/scale_pairs.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/configs/scale_pairs.config -------------------------------------------------------------------------------- /circuits/src/tests/data/batch_verifier_bad_inputs_2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/batch_verifier_bad_inputs_2.json -------------------------------------------------------------------------------- /circuits/src/tests/data/batch_verifier_inputs_2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/batch_verifier_inputs_2.json -------------------------------------------------------------------------------- /circuits/src/tests/data/commitment_proof_batch_8_proofs.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/commitment_proof_batch_8_proofs.json -------------------------------------------------------------------------------- /circuits/src/tests/data/gnark/_upa_format/brevis.upa-proof-inputs.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/gnark/_upa_format/brevis.upa-proof-inputs.json -------------------------------------------------------------------------------- /circuits/src/tests/data/gnark/_upa_format/brevis.upa-vk.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/gnark/_upa_format/brevis.upa-vk.json -------------------------------------------------------------------------------- /circuits/src/tests/data/gnark/_upa_format/no_commitment.upa-proof-inputs.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/gnark/_upa_format/no_commitment.upa-proof-inputs.json -------------------------------------------------------------------------------- /circuits/src/tests/data/gnark/_upa_format/no_commitment.upa-vk.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/gnark/_upa_format/no_commitment.upa-vk.json -------------------------------------------------------------------------------- /circuits/src/tests/data/gnark/_upa_format/private_commitment.upa-proof-inputs.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/gnark/_upa_format/private_commitment.upa-proof-inputs.json -------------------------------------------------------------------------------- /circuits/src/tests/data/gnark/_upa_format/private_commitment.upa-vk.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/gnark/_upa_format/private_commitment.upa-vk.json -------------------------------------------------------------------------------- /circuits/src/tests/data/gnark/brevis.inputs.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/gnark/brevis.inputs.json -------------------------------------------------------------------------------- /circuits/src/tests/data/gnark/brevis.proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/gnark/brevis.proof.json -------------------------------------------------------------------------------- /circuits/src/tests/data/gnark/brevis.vk.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/gnark/brevis.vk.json -------------------------------------------------------------------------------- /circuits/src/tests/data/gnark/convert.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/gnark/convert.sh -------------------------------------------------------------------------------- /circuits/src/tests/data/gnark/invalid/_upa_format/private_commitment_wrong_hash.upa-proof-inputs.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/gnark/invalid/_upa_format/private_commitment_wrong_hash.upa-proof-inputs.json -------------------------------------------------------------------------------- /circuits/src/tests/data/gnark/invalid/_upa_format/private_commitment_wrong_hash.upa-vk.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/gnark/invalid/_upa_format/private_commitment_wrong_hash.upa-vk.json -------------------------------------------------------------------------------- /circuits/src/tests/data/gnark/invalid/_upa_format/public_commitment.upa-proof-inputs.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/gnark/invalid/_upa_format/public_commitment.upa-proof-inputs.json -------------------------------------------------------------------------------- /circuits/src/tests/data/gnark/invalid/_upa_format/public_commitment.upa-vk.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/gnark/invalid/_upa_format/public_commitment.upa-vk.json -------------------------------------------------------------------------------- /circuits/src/tests/data/gnark/invalid/private_commitment_wrong_hash.inputs.json: -------------------------------------------------------------------------------- 1 | [ 2 | 27 3 | ] -------------------------------------------------------------------------------- /circuits/src/tests/data/gnark/invalid/private_commitment_wrong_hash.proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/gnark/invalid/private_commitment_wrong_hash.proof.json -------------------------------------------------------------------------------- /circuits/src/tests/data/gnark/invalid/private_commitment_wrong_hash.vk.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/gnark/invalid/private_commitment_wrong_hash.vk.json -------------------------------------------------------------------------------- /circuits/src/tests/data/gnark/invalid/public_commitment.inputs.json: -------------------------------------------------------------------------------- 1 | [ 2 | 64 3 | ] -------------------------------------------------------------------------------- /circuits/src/tests/data/gnark/invalid/public_commitment.proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/gnark/invalid/public_commitment.proof.json -------------------------------------------------------------------------------- /circuits/src/tests/data/gnark/invalid/public_commitment.vk.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/gnark/invalid/public_commitment.vk.json -------------------------------------------------------------------------------- /circuits/src/tests/data/gnark/no_commitment.inputs.json: -------------------------------------------------------------------------------- 1 | [ 2 | 8 3 | ] -------------------------------------------------------------------------------- /circuits/src/tests/data/gnark/no_commitment.proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/gnark/no_commitment.proof.json -------------------------------------------------------------------------------- /circuits/src/tests/data/gnark/no_commitment.vk.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/gnark/no_commitment.vk.json -------------------------------------------------------------------------------- /circuits/src/tests/data/gnark/private_commitment.inputs.json: -------------------------------------------------------------------------------- 1 | [ 2 | 27 3 | ] -------------------------------------------------------------------------------- /circuits/src/tests/data/gnark/private_commitment.proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/gnark/private_commitment.proof.json -------------------------------------------------------------------------------- /circuits/src/tests/data/gnark/private_commitment.vk.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/gnark/private_commitment.vk.json -------------------------------------------------------------------------------- /circuits/src/tests/data/gnark/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/gnark/readme.md -------------------------------------------------------------------------------- /circuits/src/tests/data/invalid_proof.upa.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/invalid_proof.upa.json -------------------------------------------------------------------------------- /circuits/src/tests/data/invalid_vk.upa.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/invalid_vk.upa.json -------------------------------------------------------------------------------- /circuits/src/tests/data/proof1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/proof1.json -------------------------------------------------------------------------------- /circuits/src/tests/data/proof2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/proof2.json -------------------------------------------------------------------------------- /circuits/src/tests/data/proof3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/proof3.json -------------------------------------------------------------------------------- /circuits/src/tests/data/proof_batch_1_2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/proof_batch_1_2.json -------------------------------------------------------------------------------- /circuits/src/tests/data/proof_batch_1_8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/proof_batch_1_8.json -------------------------------------------------------------------------------- /circuits/src/tests/data/proof_batch_4_pi.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/proof_batch_4_pi.json -------------------------------------------------------------------------------- /circuits/src/tests/data/universal_batch_verifier_10_proofs.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/universal_batch_verifier_10_proofs.json -------------------------------------------------------------------------------- /circuits/src/tests/data/universal_batch_verifier_4_proofs.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/universal_batch_verifier_4_proofs.json -------------------------------------------------------------------------------- /circuits/src/tests/data/universal_batch_verifier_8_proofs.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/universal_batch_verifier_8_proofs.json -------------------------------------------------------------------------------- /circuits/src/tests/data/universal_batch_verifier_bad_inputs_2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/universal_batch_verifier_bad_inputs_2.json -------------------------------------------------------------------------------- /circuits/src/tests/data/universal_batch_verifier_inputs_2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/universal_batch_verifier_inputs_2.json -------------------------------------------------------------------------------- /circuits/src/tests/data/vk-2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/vk-2.json -------------------------------------------------------------------------------- /circuits/src/tests/data/vk-3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/vk-3.json -------------------------------------------------------------------------------- /circuits/src/tests/data/vk.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/vk.json -------------------------------------------------------------------------------- /circuits/src/tests/data/vk_commitment.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/data/vk_commitment.json -------------------------------------------------------------------------------- /circuits/src/tests/hashing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/hashing.rs -------------------------------------------------------------------------------- /circuits/src/tests/keccak/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/keccak/mod.rs -------------------------------------------------------------------------------- /circuits/src/tests/keccak/multivar.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/keccak/multivar.rs -------------------------------------------------------------------------------- /circuits/src/tests/keccak/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/keccak/utils.rs -------------------------------------------------------------------------------- /circuits/src/tests/keccak/variable.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/keccak/variable.rs -------------------------------------------------------------------------------- /circuits/src/tests/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/mod.rs -------------------------------------------------------------------------------- /circuits/src/tests/universal_batch_verifier/component.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/universal_batch_verifier/component.rs -------------------------------------------------------------------------------- /circuits/src/tests/universal_batch_verifier/ecc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/universal_batch_verifier/ecc.rs -------------------------------------------------------------------------------- /circuits/src/tests/universal_batch_verifier/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/universal_batch_verifier/mod.rs -------------------------------------------------------------------------------- /circuits/src/tests/universal_batch_verifier/native.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/universal_batch_verifier/native.rs -------------------------------------------------------------------------------- /circuits/src/tests/universal_outer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/universal_outer.rs -------------------------------------------------------------------------------- /circuits/src/tests/utils/field_elements_hex.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/utils/field_elements_hex.rs -------------------------------------------------------------------------------- /circuits/src/tests/utils/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/tests/utils/mod.rs -------------------------------------------------------------------------------- /circuits/src/utils/base64.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/utils/base64.rs -------------------------------------------------------------------------------- /circuits/src/utils/benchmarks.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/utils/benchmarks.rs -------------------------------------------------------------------------------- /circuits/src/utils/bitmask.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/utils/bitmask.rs -------------------------------------------------------------------------------- /circuits/src/utils/commitment_point.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/utils/commitment_point.rs -------------------------------------------------------------------------------- /circuits/src/utils/field_element_hex.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/utils/field_element_hex.rs -------------------------------------------------------------------------------- /circuits/src/utils/field_elements_hex.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/utils/field_elements_hex.rs -------------------------------------------------------------------------------- /circuits/src/utils/file.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/utils/file.rs -------------------------------------------------------------------------------- /circuits/src/utils/hashing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/utils/hashing.rs -------------------------------------------------------------------------------- /circuits/src/utils/keccak_hasher.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/utils/keccak_hasher.rs -------------------------------------------------------------------------------- /circuits/src/utils/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/utils/mod.rs -------------------------------------------------------------------------------- /circuits/src/utils/reduced.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/utils/reduced.rs -------------------------------------------------------------------------------- /circuits/src/utils/upa_config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/utils/upa_config.rs -------------------------------------------------------------------------------- /circuits/src/utils/vk_hex.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/circuits/src/utils/vk_hex.rs -------------------------------------------------------------------------------- /examples/confidential-coins/.eslintrc.cjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/confidential-coins/.eslintrc.cjs -------------------------------------------------------------------------------- /examples/confidential-coins/.prettierignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/confidential-coins/.prettierignore -------------------------------------------------------------------------------- /examples/confidential-coins/.prettierrc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/confidential-coins/.prettierrc.json -------------------------------------------------------------------------------- /examples/confidential-coins/.solhint.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/confidential-coins/.solhint.json -------------------------------------------------------------------------------- /examples/confidential-coins/.solhintignore: -------------------------------------------------------------------------------- 1 | contracts/CircuitVerifier.sol 2 | -------------------------------------------------------------------------------- /examples/confidential-coins/circuits/validatetx.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/confidential-coins/circuits/validatetx.circom -------------------------------------------------------------------------------- /examples/confidential-coins/contracts/ConfidentialCoins.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/confidential-coins/contracts/ConfidentialCoins.sol -------------------------------------------------------------------------------- /examples/confidential-coins/hardhat.config.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/confidential-coins/hardhat.config.ts -------------------------------------------------------------------------------- /examples/confidential-coins/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/confidential-coins/package.json -------------------------------------------------------------------------------- /examples/confidential-coins/scripts/setup: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/confidential-coins/scripts/setup -------------------------------------------------------------------------------- /examples/confidential-coins/scripts/shell_setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/confidential-coins/scripts/shell_setup.sh -------------------------------------------------------------------------------- /examples/confidential-coins/scripts/test_confidential_coins: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/confidential-coins/scripts/test_confidential_coins -------------------------------------------------------------------------------- /examples/confidential-coins/src/aggconvert.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/confidential-coins/src/aggconvert.ts -------------------------------------------------------------------------------- /examples/confidential-coins/src/convert.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/confidential-coins/src/convert.ts -------------------------------------------------------------------------------- /examples/confidential-coins/src/deploy.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/confidential-coins/src/deploy.ts -------------------------------------------------------------------------------- /examples/confidential-coins/src/getstate.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/confidential-coins/src/getstate.ts -------------------------------------------------------------------------------- /examples/confidential-coins/src/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/confidential-coins/src/index.ts -------------------------------------------------------------------------------- /examples/confidential-coins/src/initbalance.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/confidential-coins/src/initbalance.ts -------------------------------------------------------------------------------- /examples/confidential-coins/src/utils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/confidential-coins/src/utils.ts -------------------------------------------------------------------------------- /examples/confidential-coins/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/confidential-coins/tsconfig.json -------------------------------------------------------------------------------- /examples/demo-app/core/.eslintrc.cjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/core/.eslintrc.cjs -------------------------------------------------------------------------------- /examples/demo-app/core/.prettierignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/core/.prettierignore -------------------------------------------------------------------------------- /examples/demo-app/core/.prettierrc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/core/.prettierrc.json -------------------------------------------------------------------------------- /examples/demo-app/core/.solhint.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/core/.solhint.json -------------------------------------------------------------------------------- /examples/demo-app/core/.solhintignore: -------------------------------------------------------------------------------- 1 | contracts/CircuitVerifier.sol 2 | -------------------------------------------------------------------------------- /examples/demo-app/core/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/core/README.md -------------------------------------------------------------------------------- /examples/demo-app/core/circuits/circuit.circom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/core/circuits/circuit.circom -------------------------------------------------------------------------------- /examples/demo-app/core/contracts/DemoApp.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/core/contracts/DemoApp.sol -------------------------------------------------------------------------------- /examples/demo-app/core/hardhat.config.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/core/hardhat.config.ts -------------------------------------------------------------------------------- /examples/demo-app/core/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/core/package.json -------------------------------------------------------------------------------- /examples/demo-app/core/scripts/setup: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/core/scripts/setup -------------------------------------------------------------------------------- /examples/demo-app/core/scripts/shell_setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/core/scripts/shell_setup.sh -------------------------------------------------------------------------------- /examples/demo-app/core/scripts/test_demo_app: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/core/scripts/test_demo_app -------------------------------------------------------------------------------- /examples/demo-app/core/src/batchFiller.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/core/src/batchFiller.ts -------------------------------------------------------------------------------- /examples/demo-app/core/src/deploy.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/core/src/deploy.ts -------------------------------------------------------------------------------- /examples/demo-app/core/src/frontend_utils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/core/src/frontend_utils.ts -------------------------------------------------------------------------------- /examples/demo-app/core/src/generateProofs.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/core/src/generateProofs.ts -------------------------------------------------------------------------------- /examples/demo-app/core/src/getstate.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/core/src/getstate.ts -------------------------------------------------------------------------------- /examples/demo-app/core/src/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/core/src/index.ts -------------------------------------------------------------------------------- /examples/demo-app/core/src/multiSubmit.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/core/src/multiSubmit.ts -------------------------------------------------------------------------------- /examples/demo-app/core/src/submit.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/core/src/submit.ts -------------------------------------------------------------------------------- /examples/demo-app/core/src/submitDirect.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/core/src/submitDirect.ts -------------------------------------------------------------------------------- /examples/demo-app/core/src/submitInvalid.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/core/src/submitInvalid.ts -------------------------------------------------------------------------------- /examples/demo-app/core/src/submitOffchain.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/core/src/submitOffchain.ts -------------------------------------------------------------------------------- /examples/demo-app/core/src/submitProofsFromFile.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/core/src/submitProofsFromFile.ts -------------------------------------------------------------------------------- /examples/demo-app/core/src/submitSolutionsFromFile.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/core/src/submitSolutionsFromFile.ts -------------------------------------------------------------------------------- /examples/demo-app/core/src/utils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/core/src/utils.ts -------------------------------------------------------------------------------- /examples/demo-app/core/test/demoAppTest.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/core/test/demoAppTest.ts -------------------------------------------------------------------------------- /examples/demo-app/core/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/core/tsconfig.json -------------------------------------------------------------------------------- /examples/demo-app/frontend/.eslintrc.json: -------------------------------------------------------------------------------- 1 | { 2 | "extends": "next/core-web-vitals" 3 | } 4 | -------------------------------------------------------------------------------- /examples/demo-app/frontend/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/frontend/.gitignore -------------------------------------------------------------------------------- /examples/demo-app/frontend/.pretterignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/frontend/.pretterignore -------------------------------------------------------------------------------- /examples/demo-app/frontend/.prettierrc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/frontend/.prettierrc.json -------------------------------------------------------------------------------- /examples/demo-app/frontend/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/frontend/README.md -------------------------------------------------------------------------------- /examples/demo-app/frontend/components/ui/Logo.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/frontend/components/ui/Logo.tsx -------------------------------------------------------------------------------- /examples/demo-app/frontend/components/ui/StageText.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/frontend/components/ui/StageText.tsx -------------------------------------------------------------------------------- /examples/demo-app/frontend/lib/animations.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/frontend/lib/animations.tsx -------------------------------------------------------------------------------- /examples/demo-app/frontend/lib/types.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/frontend/lib/types.ts -------------------------------------------------------------------------------- /examples/demo-app/frontend/next.config.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/frontend/next.config.mjs -------------------------------------------------------------------------------- /examples/demo-app/frontend/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/frontend/package.json -------------------------------------------------------------------------------- /examples/demo-app/frontend/pages/_app.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/frontend/pages/_app.tsx -------------------------------------------------------------------------------- /examples/demo-app/frontend/pages/_document.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/frontend/pages/_document.tsx -------------------------------------------------------------------------------- /examples/demo-app/frontend/pages/index.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/frontend/pages/index.tsx -------------------------------------------------------------------------------- /examples/demo-app/frontend/postcss.config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/frontend/postcss.config.js -------------------------------------------------------------------------------- /examples/demo-app/frontend/public/favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/frontend/public/favicon.ico -------------------------------------------------------------------------------- /examples/demo-app/frontend/public/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/frontend/public/logo.png -------------------------------------------------------------------------------- /examples/demo-app/frontend/public/logo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/frontend/public/logo.svg -------------------------------------------------------------------------------- /examples/demo-app/frontend/public/nebra.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/frontend/public/nebra.svg -------------------------------------------------------------------------------- /examples/demo-app/frontend/src/submit.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/frontend/src/submit.ts -------------------------------------------------------------------------------- /examples/demo-app/frontend/styles/globals.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/frontend/styles/globals.css -------------------------------------------------------------------------------- /examples/demo-app/frontend/tailwind.config.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/frontend/tailwind.config.ts -------------------------------------------------------------------------------- /examples/demo-app/frontend/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/frontend/tsconfig.json -------------------------------------------------------------------------------- /examples/demo-app/scripts/build_standalone: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/examples/demo-app/scripts/build_standalone -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/package.json -------------------------------------------------------------------------------- /prover/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/Cargo.toml -------------------------------------------------------------------------------- /prover/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/README.md -------------------------------------------------------------------------------- /prover/configs/upa_config_batch_size_2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/configs/upa_config_batch_size_2.json -------------------------------------------------------------------------------- /prover/configs/upa_config_batch_size_4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/configs/upa_config_batch_size_4.json -------------------------------------------------------------------------------- /prover/configs/upa_config_batch_size_8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/configs/upa_config_batch_size_8.json -------------------------------------------------------------------------------- /prover/scripts/aggregation_benchmark: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/scripts/aggregation_benchmark -------------------------------------------------------------------------------- /prover/scripts/default_files.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/scripts/default_files.sh -------------------------------------------------------------------------------- /prover/scripts/dummy_srs_setup: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/scripts/dummy_srs_setup -------------------------------------------------------------------------------- /prover/scripts/integration_test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/scripts/integration_test -------------------------------------------------------------------------------- /prover/scripts/keygen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/scripts/keygen -------------------------------------------------------------------------------- /prover/scripts/prelude.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/scripts/prelude.sh -------------------------------------------------------------------------------- /prover/scripts/shell_setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/scripts/shell_setup.sh -------------------------------------------------------------------------------- /prover/scripts/test_prover: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/scripts/test_prover -------------------------------------------------------------------------------- /prover/src/default_values.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/src/default_values.rs -------------------------------------------------------------------------------- /prover/src/file_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/src/file_utils.rs -------------------------------------------------------------------------------- /prover/src/full/keygen.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/src/full/keygen.rs -------------------------------------------------------------------------------- /prover/src/full/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/src/full/mod.rs -------------------------------------------------------------------------------- /prover/src/full/prove.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/src/full/prove.rs -------------------------------------------------------------------------------- /prover/src/groth16/generate_fake_vk.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/src/groth16/generate_fake_vk.rs -------------------------------------------------------------------------------- /prover/src/groth16/generate_proofs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/src/groth16/generate_proofs.rs -------------------------------------------------------------------------------- /prover/src/groth16/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/src/groth16/mod.rs -------------------------------------------------------------------------------- /prover/src/keccak/keygen.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/src/keccak/keygen.rs -------------------------------------------------------------------------------- /prover/src/keccak/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/src/keccak/mod.rs -------------------------------------------------------------------------------- /prover/src/keccak/prove.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/src/keccak/prove.rs -------------------------------------------------------------------------------- /prover/src/keccak/verify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/src/keccak/verify.rs -------------------------------------------------------------------------------- /prover/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/src/lib.rs -------------------------------------------------------------------------------- /prover/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/src/main.rs -------------------------------------------------------------------------------- /prover/src/srs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/src/srs.rs -------------------------------------------------------------------------------- /prover/src/universal_batch_verifier/compute_circuit_id.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/src/universal_batch_verifier/compute_circuit_id.rs -------------------------------------------------------------------------------- /prover/src/universal_batch_verifier/compute_proof_id.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/src/universal_batch_verifier/compute_proof_id.rs -------------------------------------------------------------------------------- /prover/src/universal_batch_verifier/compute_submission_id.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/src/universal_batch_verifier/compute_submission_id.rs -------------------------------------------------------------------------------- /prover/src/universal_batch_verifier/keygen.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/src/universal_batch_verifier/keygen.rs -------------------------------------------------------------------------------- /prover/src/universal_batch_verifier/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/src/universal_batch_verifier/mod.rs -------------------------------------------------------------------------------- /prover/src/universal_batch_verifier/prove.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/src/universal_batch_verifier/prove.rs -------------------------------------------------------------------------------- /prover/src/universal_batch_verifier/verify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/src/universal_batch_verifier/verify.rs -------------------------------------------------------------------------------- /prover/src/universal_outer/keygen.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/src/universal_outer/keygen.rs -------------------------------------------------------------------------------- /prover/src/universal_outer/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/src/universal_outer/mod.rs -------------------------------------------------------------------------------- /prover/src/universal_outer/prove.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/src/universal_outer/prove.rs -------------------------------------------------------------------------------- /prover/src/universal_outer/verifier_yul_code.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/src/universal_outer/verifier_yul_code.rs -------------------------------------------------------------------------------- /prover/src/universal_outer/verify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/src/universal_outer/verify.rs -------------------------------------------------------------------------------- /prover/tests/upa_config_2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/tests/upa_config_2.json -------------------------------------------------------------------------------- /prover/tests/upa_config_2_with_submission_id.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/tests/upa_config_2_with_submission_id.json -------------------------------------------------------------------------------- /prover/tests/upa_config_8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/prover/tests/upa_config_8.json -------------------------------------------------------------------------------- /rust-toolchain: -------------------------------------------------------------------------------- 1 | nightly-2022-12-09 2 | -------------------------------------------------------------------------------- /scripts/run_for_each: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/scripts/run_for_each -------------------------------------------------------------------------------- /spec/circuits/universal_batch_verifier.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/spec/circuits/universal_batch_verifier.md -------------------------------------------------------------------------------- /spec/circuits/universal_outer.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/spec/circuits/universal_outer.md -------------------------------------------------------------------------------- /spec/circuits/var_len_keccak.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/spec/circuits/var_len_keccak.md -------------------------------------------------------------------------------- /spec/protocol/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/spec/protocol/Makefile -------------------------------------------------------------------------------- /spec/protocol/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/spec/protocol/README.md -------------------------------------------------------------------------------- /spec/protocol/upa-1.2.0.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/spec/protocol/upa-1.2.0.md -------------------------------------------------------------------------------- /spec/protocol/upa-1.2.0.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/spec/protocol/upa-1.2.0.pdf -------------------------------------------------------------------------------- /upa/.eslintrc.cjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/.eslintrc.cjs -------------------------------------------------------------------------------- /upa/.openzeppelin/sepolia.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/.openzeppelin/sepolia.json -------------------------------------------------------------------------------- /upa/.prettierignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/.prettierignore -------------------------------------------------------------------------------- /upa/.prettierrc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/.prettierrc.json -------------------------------------------------------------------------------- /upa/.solhint.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/.solhint.json -------------------------------------------------------------------------------- /upa/.typedoc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/.typedoc.json -------------------------------------------------------------------------------- /upa/DEVELOPMENT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/DEVELOPMENT.md -------------------------------------------------------------------------------- /upa/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/README.md -------------------------------------------------------------------------------- /upa/_slither/slither.db.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/_slither/slither.db.json -------------------------------------------------------------------------------- /upa/contracts/Deposits.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/contracts/Deposits.sol -------------------------------------------------------------------------------- /upa/contracts/EllipticCurveUtils.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/contracts/EllipticCurveUtils.sol -------------------------------------------------------------------------------- /upa/contracts/Groth16Verifier.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/contracts/Groth16Verifier.sol -------------------------------------------------------------------------------- /upa/contracts/IDeposits.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/contracts/IDeposits.sol -------------------------------------------------------------------------------- /upa/contracts/IGroth16Verifier.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/contracts/IGroth16Verifier.sol -------------------------------------------------------------------------------- /upa/contracts/IUpaProofReceiver.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/contracts/IUpaProofReceiver.sol -------------------------------------------------------------------------------- /upa/contracts/IUpaVerifier.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/contracts/IUpaVerifier.sol -------------------------------------------------------------------------------- /upa/contracts/Merkle.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/contracts/Merkle.sol -------------------------------------------------------------------------------- /upa/contracts/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/contracts/README.md -------------------------------------------------------------------------------- /upa/contracts/Uint16VectorLib.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/contracts/Uint16VectorLib.sol -------------------------------------------------------------------------------- /upa/contracts/UpaFeeBase.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/contracts/UpaFeeBase.sol -------------------------------------------------------------------------------- /upa/contracts/UpaFixedGasFee.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/contracts/UpaFixedGasFee.sol -------------------------------------------------------------------------------- /upa/contracts/UpaInternalLib.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/contracts/UpaInternalLib.sol -------------------------------------------------------------------------------- /upa/contracts/UpaLib.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/contracts/UpaLib.sol -------------------------------------------------------------------------------- /upa/contracts/UpaProofReceiver.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/contracts/UpaProofReceiver.sol -------------------------------------------------------------------------------- /upa/contracts/UpaVerifier.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/contracts/UpaVerifier.sol -------------------------------------------------------------------------------- /upa/contracts/tests/ComputeCreateXDeployAddress.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/contracts/tests/ComputeCreateXDeployAddress.sol -------------------------------------------------------------------------------- /upa/contracts/tests/ITestUpgradedUpaVerifier.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/contracts/tests/ITestUpgradedUpaVerifier.sol -------------------------------------------------------------------------------- /upa/contracts/tests/MerkleTest.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/contracts/tests/MerkleTest.sol -------------------------------------------------------------------------------- /upa/contracts/tests/TestUpgradedUpaVerifier.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/contracts/tests/TestUpgradedUpaVerifier.sol -------------------------------------------------------------------------------- /upa/contracts/tests/Uint16VectorLibTest.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/contracts/tests/Uint16VectorLibTest.sol -------------------------------------------------------------------------------- /upa/contracts/tests/UpaLibTest.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/contracts/tests/UpaLibTest.sol -------------------------------------------------------------------------------- /upa/contracts/tests/YulTest.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/contracts/tests/YulTest.sol -------------------------------------------------------------------------------- /upa/hardhat.config.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/hardhat.config.ts -------------------------------------------------------------------------------- /upa/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/package.json -------------------------------------------------------------------------------- /upa/scripts/docs_publish: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/scripts/docs_publish -------------------------------------------------------------------------------- /upa/scripts/run_slither: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/scripts/run_slither -------------------------------------------------------------------------------- /upa/scripts/shell_setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/scripts/shell_setup.sh -------------------------------------------------------------------------------- /upa/scripts/test_challenge: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/scripts/test_challenge -------------------------------------------------------------------------------- /upa/scripts/test_dev_aggregator: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/scripts/test_dev_aggregator -------------------------------------------------------------------------------- /upa/scripts/test_package: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/scripts/test_package -------------------------------------------------------------------------------- /upa/scripts/test_upa: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/scripts/test_upa -------------------------------------------------------------------------------- /upa/scripts/utils.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/scripts/utils.sh -------------------------------------------------------------------------------- /upa/src/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/index.ts -------------------------------------------------------------------------------- /upa/src/sdk/aggregatedProofParams.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/sdk/aggregatedProofParams.ts -------------------------------------------------------------------------------- /upa/src/sdk/application.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/sdk/application.ts -------------------------------------------------------------------------------- /upa/src/sdk/client.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/sdk/client.ts -------------------------------------------------------------------------------- /upa/src/sdk/ecc.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/sdk/ecc.ts -------------------------------------------------------------------------------- /upa/src/sdk/events.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/sdk/events.ts -------------------------------------------------------------------------------- /upa/src/sdk/gnark.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/sdk/gnark.ts -------------------------------------------------------------------------------- /upa/src/sdk/groth16.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/sdk/groth16.ts -------------------------------------------------------------------------------- /upa/src/sdk/groth16Verifier.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/sdk/groth16Verifier.ts -------------------------------------------------------------------------------- /upa/src/sdk/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/sdk/index.ts -------------------------------------------------------------------------------- /upa/src/sdk/merkleUtils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/sdk/merkleUtils.ts -------------------------------------------------------------------------------- /upa/src/sdk/offChainClient.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/sdk/offChainClient.ts -------------------------------------------------------------------------------- /upa/src/sdk/pointCompression.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/sdk/pointCompression.ts -------------------------------------------------------------------------------- /upa/src/sdk/snarkjs.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/sdk/snarkjs.ts -------------------------------------------------------------------------------- /upa/src/sdk/sp1.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/sdk/sp1.ts -------------------------------------------------------------------------------- /upa/src/sdk/submission.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/sdk/submission.ts -------------------------------------------------------------------------------- /upa/src/sdk/submissionIntervals.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/sdk/submissionIntervals.ts -------------------------------------------------------------------------------- /upa/src/sdk/upa.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/sdk/upa.ts -------------------------------------------------------------------------------- /upa/src/sdk/utils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/sdk/utils.ts -------------------------------------------------------------------------------- /upa/src/tool/aggregatedProofVerifier.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/aggregatedProofVerifier.ts -------------------------------------------------------------------------------- /upa/src/tool/aggregator.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/aggregator.ts -------------------------------------------------------------------------------- /upa/src/tool/challenge.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/challenge.ts -------------------------------------------------------------------------------- /upa/src/tool/compute.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/compute.ts -------------------------------------------------------------------------------- /upa/src/tool/config.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/config.ts -------------------------------------------------------------------------------- /upa/src/tool/convert.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/convert.ts -------------------------------------------------------------------------------- /upa/src/tool/deploy.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/deploy.ts -------------------------------------------------------------------------------- /upa/src/tool/deployBinary.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/deployBinary.ts -------------------------------------------------------------------------------- /upa/src/tool/deployDeposits.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/deployDeposits.ts -------------------------------------------------------------------------------- /upa/src/tool/dev.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/dev.ts -------------------------------------------------------------------------------- /upa/src/tool/devAggregator.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/devAggregator.ts -------------------------------------------------------------------------------- /upa/src/tool/getConfig.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/getConfig.ts -------------------------------------------------------------------------------- /upa/src/tool/getSubmission.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/getSubmission.ts -------------------------------------------------------------------------------- /upa/src/tool/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/index.ts -------------------------------------------------------------------------------- /upa/src/tool/isVerified.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/isVerified.ts -------------------------------------------------------------------------------- /upa/src/tool/log.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/log.ts -------------------------------------------------------------------------------- /upa/src/tool/main.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/main.ts -------------------------------------------------------------------------------- /upa/src/tool/offChain.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/offChain.ts -------------------------------------------------------------------------------- /upa/src/tool/options.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/options.ts -------------------------------------------------------------------------------- /upa/src/tool/owner.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/owner.ts -------------------------------------------------------------------------------- /upa/src/tool/pause.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/pause.ts -------------------------------------------------------------------------------- /upa/src/tool/query.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/query.ts -------------------------------------------------------------------------------- /upa/src/tool/registerVK.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/registerVK.ts -------------------------------------------------------------------------------- /upa/src/tool/setFee.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/setFee.ts -------------------------------------------------------------------------------- /upa/src/tool/setVersion.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/setVersion.ts -------------------------------------------------------------------------------- /upa/src/tool/setWorker.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/setWorker.ts -------------------------------------------------------------------------------- /upa/src/tool/stats.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/stats.ts -------------------------------------------------------------------------------- /upa/src/tool/submitProofs.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/submitProofs.ts -------------------------------------------------------------------------------- /upa/src/tool/unpause.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/unpause.ts -------------------------------------------------------------------------------- /upa/src/tool/upgrade.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/upgrade.ts -------------------------------------------------------------------------------- /upa/src/tool/version.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/src/tool/version.ts -------------------------------------------------------------------------------- /upa/test/applicationTest.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/applicationTest.ts -------------------------------------------------------------------------------- /upa/test/censorshipClaimTest.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/censorshipClaimTest.ts -------------------------------------------------------------------------------- /upa/test/clientTest.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/clientTest.ts -------------------------------------------------------------------------------- /upa/test/computeProxyAddressTest.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/computeProxyAddressTest.ts -------------------------------------------------------------------------------- /upa/test/data/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/data/README.md -------------------------------------------------------------------------------- /upa/test/data/gnark_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/data/gnark_proof.json -------------------------------------------------------------------------------- /upa/test/data/gnark_vk.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/data/gnark_vk.json -------------------------------------------------------------------------------- /upa/test/data/outer_2_2.proof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/data/outer_2_2.proof -------------------------------------------------------------------------------- /upa/test/data/outer_2_2.proof.calldata: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/data/outer_2_2.proof.calldata -------------------------------------------------------------------------------- /upa/test/data/outer_2_2.proof.instance: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/data/outer_2_2.proof.instance -------------------------------------------------------------------------------- /upa/test/data/outer_2_2.verifier.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/data/outer_2_2.verifier.bin -------------------------------------------------------------------------------- /upa/test/data/outer_2_2.verifier.yul: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/data/outer_2_2.verifier.yul -------------------------------------------------------------------------------- /upa/test/data/snarkjs/test_snarkjs_proof.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/data/snarkjs/test_snarkjs_proof.json -------------------------------------------------------------------------------- /upa/test/data/snarkjs/test_snarkjs_vk.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/data/snarkjs/test_snarkjs_vk.json -------------------------------------------------------------------------------- /upa/test/data/sp1/v1.2.0_fixture.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/data/sp1/v1.2.0_fixture.json -------------------------------------------------------------------------------- /upa/test/data/test.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/data/test.bin -------------------------------------------------------------------------------- /upa/test/data/test.yul: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/data/test.yul -------------------------------------------------------------------------------- /upa/test/deploy.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/deploy.ts -------------------------------------------------------------------------------- /upa/test/dummy/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/dummy/README.md -------------------------------------------------------------------------------- /upa/test/dummy/dummy_proof.upa.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/dummy/dummy_proof.upa.json -------------------------------------------------------------------------------- /upa/test/dummy/dummy_vk.upa.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/dummy/dummy_vk.upa.json -------------------------------------------------------------------------------- /upa/test/duplicateSubmissionsTests.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/duplicateSubmissionsTests.ts -------------------------------------------------------------------------------- /upa/test/eventsTest.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/eventsTest.ts -------------------------------------------------------------------------------- /upa/test/gnarkVerifierTest.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/gnarkVerifierTest.ts -------------------------------------------------------------------------------- /upa/test/groth16VerifierTest.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/groth16VerifierTest.ts -------------------------------------------------------------------------------- /upa/test/merkleIntervalTest.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/merkleIntervalTest.ts -------------------------------------------------------------------------------- /upa/test/offChainFeeTest.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/offChainFeeTest.ts -------------------------------------------------------------------------------- /upa/test/offChainSubmissionTest.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/offChainSubmissionTest.ts -------------------------------------------------------------------------------- /upa/test/pauseTests.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/pauseTests.ts -------------------------------------------------------------------------------- /upa/test/pointCompressionTest.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/pointCompressionTest.ts -------------------------------------------------------------------------------- /upa/test/sp1VerifierTest.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/sp1VerifierTest.ts -------------------------------------------------------------------------------- /upa/test/submissionIntervalTest.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/submissionIntervalTest.ts -------------------------------------------------------------------------------- /upa/test/submissionTest.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/submissionTest.ts -------------------------------------------------------------------------------- /upa/test/uint16VectorTest.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/uint16VectorTest.ts -------------------------------------------------------------------------------- /upa/test/upaLibTests.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/upaLibTests.ts -------------------------------------------------------------------------------- /upa/test/upaTests.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/upaTests.ts -------------------------------------------------------------------------------- /upa/test/upgradeTests.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/upgradeTests.ts -------------------------------------------------------------------------------- /upa/test/utilsTest.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/utilsTest.ts -------------------------------------------------------------------------------- /upa/test/yulTests.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/test/yulTests.ts -------------------------------------------------------------------------------- /upa/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/upa/tsconfig.json -------------------------------------------------------------------------------- /verification/.env: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/verification/.env -------------------------------------------------------------------------------- /verification/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/verification/README.md -------------------------------------------------------------------------------- /verification/key_verification.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/verification/key_verification.sh -------------------------------------------------------------------------------- /verification/split_yul_code.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/verification/split_yul_code.py -------------------------------------------------------------------------------- /yarn.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NebraZKP/upa/HEAD/yarn.lock --------------------------------------------------------------------------------