├── .github ├── auto_assign.yml └── pull_request_template.md ├── .gitignore ├── .markdownlint.yaml ├── .obsidian ├── app.json ├── appearance.json ├── community-plugins.json ├── core-plugins-migration.json ├── core-plugins.json ├── graph.json ├── hotkeys.json ├── page-preview.json ├── plugins │ ├── dataview │ │ ├── main.js │ │ ├── manifest.json │ │ └── styles.css │ ├── flashcards-obsidian │ │ ├── data.json │ │ ├── main.js │ │ └── manifest.json │ ├── obsidian-linter │ │ ├── data.json │ │ ├── main.js │ │ ├── manifest.json │ │ └── styles.css │ ├── quick-latex │ │ ├── main.js │ │ ├── manifest.json │ │ └── styles.css │ └── table-editor-obsidian │ │ ├── data.json │ │ ├── main.js │ │ ├── manifest.json │ │ └── styles.css ├── themes │ ├── Dracula for Obsidian │ │ ├── manifest.json │ │ └── theme.css │ └── Minimal │ │ ├── manifest.json │ │ └── theme.css └── workspace.json ├── LICENSE ├── README.md ├── anki ├── anki.colpkg └── collection-2024-08-27@20-21-19.colpkg ├── articles ├── proofs-arguments-and-zero-knowledge │ ├── attachments │ │ ├── 2_polynomials.png │ │ ├── LDE.png │ │ ├── proofs_args_and_zk.pdf │ │ ├── reduce_verifying.png │ │ └── taxonomy.png │ ├── chapter_12.md │ ├── chapter_19.md │ ├── chapter_2.md │ ├── chapter_3.md │ ├── chapter_4.md │ ├── chapter_5.md │ └── proofs_arguments_and_zero_knowledge.md ├── quadratic-arithmetic-programs-from-zero-to-hero │ ├── attachments │ │ └── pipeline.png │ └── quadratic_arithmetic_programs_from_zero_to_hero.md ├── seminar-innovative-internet-technologies │ ├── attachments │ │ └── NET-2022-07-1_08.pdf │ └── seminar_innovative_internet_technologies.md ├── why-and-how-zk-snark-works │ ├── 1_introduction.md │ ├── 2_the_medium_of_a_proof.md │ ├── 3_non_interactive_zero-knowledge_of_a_polynomial.md │ ├── attachments │ │ ├── fg.png │ │ ├── fxg.png │ │ ├── polynomial.png │ │ ├── twocrosspoly.png │ │ └── why_and_how_zk_snark_works.pdf │ └── notes.md ├── zcash-protocol │ ├── attachments │ │ ├── merkle_tree.png │ │ ├── shielded_payment_addresses.png │ │ └── zcash_protocol_specification.pdf │ ├── chapter_1.md │ ├── chapter_2.md │ └── chapter_3.md └── zk-snarks-under-the-hood │ ├── attachments │ └── verification_steps.png │ └── zk_snarks_under_the_hood.md ├── docs ├── annotation.md ├── attachments │ ├── bootloader_tree.png │ ├── cairo_verifier_program.png │ ├── dark.png │ ├── final_memory_output.png │ ├── finite_state_automaton.png │ ├── folding_scheme_for_r1cs.png │ ├── gas_fee.png │ ├── gates.png │ ├── gsw_applications.png │ ├── gsw_commitment.drawio │ ├── gsw_commitment.png │ ├── gsw_encryption_scheme.png │ ├── gsw_h_matrix.png │ ├── homomorphic_signatures.drawio │ ├── homomorphic_signatures.png │ ├── iteratively.png │ ├── layout.png │ ├── malicious.png │ ├── malicious_1.png │ ├── memory_output.png │ ├── merkle_tree.png │ ├── monolith_native_performance.png │ ├── monolith_proof_performance.png │ ├── monolith_single_round.png │ ├── non_native_field_arithmetic.png │ ├── output.png │ ├── plonk.drawio │ ├── plonk.png │ ├── plookup_visualization.png │ ├── reinforced_concrete.png │ ├── simple_bootloader.png │ ├── stark_stage.png │ ├── stark_workflow.png │ ├── state.png │ ├── trace.png │ ├── vm_interaction.png │ ├── von_neumann_arc.png │ ├── zk_porter_scalability.png │ ├── zkrollup_state_1.png │ └── zkrollup_state_2.png ├── bootloader.md ├── cyclotomic_polynomial.md ├── dark.md ├── fri.md ├── gsw_fhe_scheme.md ├── lattice_based_homomorphic_signatures.md ├── monolith-hash.md ├── non_native_field_arithmetic.md ├── nova.md ├── plonk.md ├── plookup.md ├── reed_solomon_fingerprinting.md ├── reinforced-concrete-hash.md ├── stark_engine.md ├── stark_evm_adapter.md ├── stark_mechanics.md ├── zk_comparison.md ├── zk_porter.md ├── zk_rollups_after_eip4844.md └── zksync_era.md ├── english └── pronunciation.md ├── index.md ├── pre-commit ├── presentations ├── dencun_upgrade_and_proto_danksharding.pptx ├── fri.pptx ├── fri_based_recursion_with_a_groth16_wrapper.pptx ├── fri_implementation.pptx ├── gkr_protocol_depiction.png ├── nova_folding_scheme.pptx ├── nova_ivc.pptx ├── plonk_implementation.pptx ├── snark_overall.pptx ├── stark_cairo_workflows.canvas ├── stark_engine.canvas ├── stark_engine.pptx ├── stark_mechanic.pptx ├── sumcheck_and_gkr_protocol.pptx ├── zk_login.pptx ├── zk_machine_learning.pptx ├── zk_overall.pptx ├── zk_snarks_under_the_hood.pdf ├── zk_tech_overview.pptx └── zkp_gaming.pptx └── terms ├── abelian.md ├── adleman_theorem.md ├── advice_column.md ├── arguments.md ├── arithmetization.md ├── ate_pairing.md ├── attachments ├── boolean_circuit.png ├── boolean_formula.png ├── compute_tilde_w.png ├── confidentiality_for_computation.png ├── dft_matrix.png ├── elliptic_addition.png ├── elliptic_curve.png ├── elliptic_vertical.png ├── fiat_shamir_depiction.png ├── fourier_transforms.png ├── gkr_circuit.png ├── hades_strategy.png ├── instantiation_of_poseidon.png ├── integrity_for_computations.png ├── inverse_dft.png ├── ivc_idea.png ├── kintsugi_chunk.png ├── kintsugi_strategy.png ├── line_function.png ├── non_interactive_zkp.png ├── r1cs_example.png ├── sponge_example.png ├── uniform_reference_string.png └── zkp.png ├── barycentric_equation.md ├── base_field.md ├── bls12-381.md ├── boolean_circuit.md ├── boolean_formula.md ├── boundary_constraints.md ├── characteristic.md ├── chinese_remainder_theorem.md ├── chip.md ├── circuit.md ├── codeword.md ├── commitment_scheme.md ├── common_reference_string.md ├── computation.md ├── computational_integrity.md ├── coordinate_pair_accumulator.md ├── correlation_intractability.md ├── diophantine_equation.md ├── diophantine_set.md ├── discrete_logarithm.md ├── distributed_key_generation.md ├── divisor.md ├── doubly_efficient.md ├── elliptic_curve.md ├── elliptic_curve_group.md ├── elliptic_curve_pairings.md ├── embedding_degree.md ├── extension.md ├── extension_fields.md ├── fast_fourier_transforms.md ├── fermat_little_theorem.md ├── fiat_shamir.md ├── folding_scheme.md ├── frost.md ├── fundamental_theorem_of_algebra.md ├── gadget_matrix.md ├── gate.md ├── gkr_protocol.md ├── group.md ├── holography.md ├── homogeneous_polynomial_or_projective_model.md ├── homomorphic_encryption.md ├── interactive.md ├── ip.md ├── ivc.md ├── kintsugi-strategy.md ├── knowledge_of_exponent.md ├── lagrange_interpolation.md ├── language.md ├── lattice.md ├── learning_with_errors.md ├── low_degree.md ├── low_degree_extension.md ├── miller_algorithm.md ├── modular_arithmetic.md ├── montgomery_reduction.md ├── multilinear.md ├── np.md ├── pairings_or_bilinear_map.md ├── pinocchio.md ├── polynomial-commitment ├── 000_polynomial_commitment.md ├── 100_kate_commitment.md └── 200_dory_commitment.md ├── polynomial_time_computation.md ├── poseidon_hash_function.md ├── preimage_sampling.md ├── prime_or_finite_fields.md ├── quadratic_field.md ├── r1cs.md ├── random_oracle_model.md ├── rational_function.md ├── recursive_proof.md ├── relation.md ├── restriction.md ├── rollup.md ├── round_by_round_soundness.md ├── scalar_field.md ├── schnorr_signature.md ├── schwartz_zippel_lemma.md ├── selector_function.md ├── statement.md ├── structured_reference_string.md ├── succinct.md ├── sumcheck_protocol.md ├── symbolic_evaluation.md ├── tate_pairing.md ├── transition_constraints.md ├── trapdoor.md ├── trapdoor_uniform_random_matrix.md ├── trusted_setup.md ├── uniform_reference_string.md ├── uniqueness_of_multilinear_extension.md ├── vector_commitment.md ├── verifiable_secret_sharing.md ├── witness.md ├── zk-friendly-hash.md ├── zkSNARK.md ├── zkSTARK.md └── zkp.md /.github/auto_assign.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.github/auto_assign.yml -------------------------------------------------------------------------------- /.github/pull_request_template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.github/pull_request_template.md -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | .obsidian 2 | .idea 3 | -------------------------------------------------------------------------------- /.markdownlint.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.markdownlint.yaml -------------------------------------------------------------------------------- /.obsidian/app.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.obsidian/app.json -------------------------------------------------------------------------------- /.obsidian/appearance.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.obsidian/appearance.json -------------------------------------------------------------------------------- /.obsidian/community-plugins.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.obsidian/community-plugins.json -------------------------------------------------------------------------------- /.obsidian/core-plugins-migration.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.obsidian/core-plugins-migration.json -------------------------------------------------------------------------------- /.obsidian/core-plugins.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.obsidian/core-plugins.json -------------------------------------------------------------------------------- /.obsidian/graph.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.obsidian/graph.json -------------------------------------------------------------------------------- /.obsidian/hotkeys.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.obsidian/hotkeys.json -------------------------------------------------------------------------------- /.obsidian/page-preview.json: -------------------------------------------------------------------------------- 1 | {} -------------------------------------------------------------------------------- /.obsidian/plugins/dataview/main.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.obsidian/plugins/dataview/main.js -------------------------------------------------------------------------------- /.obsidian/plugins/dataview/manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.obsidian/plugins/dataview/manifest.json -------------------------------------------------------------------------------- /.obsidian/plugins/dataview/styles.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.obsidian/plugins/dataview/styles.css -------------------------------------------------------------------------------- /.obsidian/plugins/flashcards-obsidian/data.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.obsidian/plugins/flashcards-obsidian/data.json -------------------------------------------------------------------------------- /.obsidian/plugins/flashcards-obsidian/main.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.obsidian/plugins/flashcards-obsidian/main.js -------------------------------------------------------------------------------- /.obsidian/plugins/flashcards-obsidian/manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.obsidian/plugins/flashcards-obsidian/manifest.json -------------------------------------------------------------------------------- /.obsidian/plugins/obsidian-linter/data.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.obsidian/plugins/obsidian-linter/data.json -------------------------------------------------------------------------------- /.obsidian/plugins/obsidian-linter/main.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.obsidian/plugins/obsidian-linter/main.js -------------------------------------------------------------------------------- /.obsidian/plugins/obsidian-linter/manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.obsidian/plugins/obsidian-linter/manifest.json -------------------------------------------------------------------------------- /.obsidian/plugins/obsidian-linter/styles.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.obsidian/plugins/obsidian-linter/styles.css -------------------------------------------------------------------------------- /.obsidian/plugins/quick-latex/main.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.obsidian/plugins/quick-latex/main.js -------------------------------------------------------------------------------- /.obsidian/plugins/quick-latex/manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.obsidian/plugins/quick-latex/manifest.json -------------------------------------------------------------------------------- /.obsidian/plugins/quick-latex/styles.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.obsidian/plugins/quick-latex/styles.css -------------------------------------------------------------------------------- /.obsidian/plugins/table-editor-obsidian/data.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.obsidian/plugins/table-editor-obsidian/data.json -------------------------------------------------------------------------------- /.obsidian/plugins/table-editor-obsidian/main.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.obsidian/plugins/table-editor-obsidian/main.js -------------------------------------------------------------------------------- /.obsidian/plugins/table-editor-obsidian/manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.obsidian/plugins/table-editor-obsidian/manifest.json -------------------------------------------------------------------------------- /.obsidian/plugins/table-editor-obsidian/styles.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.obsidian/plugins/table-editor-obsidian/styles.css -------------------------------------------------------------------------------- /.obsidian/themes/Dracula for Obsidian/manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.obsidian/themes/Dracula for Obsidian/manifest.json -------------------------------------------------------------------------------- /.obsidian/themes/Dracula for Obsidian/theme.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.obsidian/themes/Dracula for Obsidian/theme.css -------------------------------------------------------------------------------- /.obsidian/themes/Minimal/manifest.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.obsidian/themes/Minimal/manifest.json -------------------------------------------------------------------------------- /.obsidian/themes/Minimal/theme.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.obsidian/themes/Minimal/theme.css -------------------------------------------------------------------------------- /.obsidian/workspace.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/.obsidian/workspace.json -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/README.md -------------------------------------------------------------------------------- /anki/anki.colpkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/anki/anki.colpkg -------------------------------------------------------------------------------- /anki/collection-2024-08-27@20-21-19.colpkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/anki/collection-2024-08-27@20-21-19.colpkg -------------------------------------------------------------------------------- /articles/proofs-arguments-and-zero-knowledge/attachments/2_polynomials.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/proofs-arguments-and-zero-knowledge/attachments/2_polynomials.png -------------------------------------------------------------------------------- /articles/proofs-arguments-and-zero-knowledge/attachments/LDE.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/proofs-arguments-and-zero-knowledge/attachments/LDE.png -------------------------------------------------------------------------------- /articles/proofs-arguments-and-zero-knowledge/attachments/proofs_args_and_zk.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/proofs-arguments-and-zero-knowledge/attachments/proofs_args_and_zk.pdf -------------------------------------------------------------------------------- /articles/proofs-arguments-and-zero-knowledge/attachments/reduce_verifying.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/proofs-arguments-and-zero-knowledge/attachments/reduce_verifying.png -------------------------------------------------------------------------------- /articles/proofs-arguments-and-zero-knowledge/attachments/taxonomy.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/proofs-arguments-and-zero-knowledge/attachments/taxonomy.png -------------------------------------------------------------------------------- /articles/proofs-arguments-and-zero-knowledge/chapter_12.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/proofs-arguments-and-zero-knowledge/chapter_12.md -------------------------------------------------------------------------------- /articles/proofs-arguments-and-zero-knowledge/chapter_19.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/proofs-arguments-and-zero-knowledge/chapter_19.md -------------------------------------------------------------------------------- /articles/proofs-arguments-and-zero-knowledge/chapter_2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/proofs-arguments-and-zero-knowledge/chapter_2.md -------------------------------------------------------------------------------- /articles/proofs-arguments-and-zero-knowledge/chapter_3.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/proofs-arguments-and-zero-knowledge/chapter_3.md -------------------------------------------------------------------------------- /articles/proofs-arguments-and-zero-knowledge/chapter_4.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/proofs-arguments-and-zero-knowledge/chapter_4.md -------------------------------------------------------------------------------- /articles/proofs-arguments-and-zero-knowledge/chapter_5.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/proofs-arguments-and-zero-knowledge/chapter_5.md -------------------------------------------------------------------------------- /articles/proofs-arguments-and-zero-knowledge/proofs_arguments_and_zero_knowledge.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/proofs-arguments-and-zero-knowledge/proofs_arguments_and_zero_knowledge.md -------------------------------------------------------------------------------- /articles/quadratic-arithmetic-programs-from-zero-to-hero/attachments/pipeline.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/quadratic-arithmetic-programs-from-zero-to-hero/attachments/pipeline.png -------------------------------------------------------------------------------- /articles/quadratic-arithmetic-programs-from-zero-to-hero/quadratic_arithmetic_programs_from_zero_to_hero.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/quadratic-arithmetic-programs-from-zero-to-hero/quadratic_arithmetic_programs_from_zero_to_hero.md -------------------------------------------------------------------------------- /articles/seminar-innovative-internet-technologies/attachments/NET-2022-07-1_08.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/seminar-innovative-internet-technologies/attachments/NET-2022-07-1_08.pdf -------------------------------------------------------------------------------- /articles/seminar-innovative-internet-technologies/seminar_innovative_internet_technologies.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/seminar-innovative-internet-technologies/seminar_innovative_internet_technologies.md -------------------------------------------------------------------------------- /articles/why-and-how-zk-snark-works/1_introduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/why-and-how-zk-snark-works/1_introduction.md -------------------------------------------------------------------------------- /articles/why-and-how-zk-snark-works/2_the_medium_of_a_proof.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/why-and-how-zk-snark-works/2_the_medium_of_a_proof.md -------------------------------------------------------------------------------- /articles/why-and-how-zk-snark-works/3_non_interactive_zero-knowledge_of_a_polynomial.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/why-and-how-zk-snark-works/3_non_interactive_zero-knowledge_of_a_polynomial.md -------------------------------------------------------------------------------- /articles/why-and-how-zk-snark-works/attachments/fg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/why-and-how-zk-snark-works/attachments/fg.png -------------------------------------------------------------------------------- /articles/why-and-how-zk-snark-works/attachments/fxg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/why-and-how-zk-snark-works/attachments/fxg.png -------------------------------------------------------------------------------- /articles/why-and-how-zk-snark-works/attachments/polynomial.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/why-and-how-zk-snark-works/attachments/polynomial.png -------------------------------------------------------------------------------- /articles/why-and-how-zk-snark-works/attachments/twocrosspoly.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/why-and-how-zk-snark-works/attachments/twocrosspoly.png -------------------------------------------------------------------------------- /articles/why-and-how-zk-snark-works/attachments/why_and_how_zk_snark_works.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/why-and-how-zk-snark-works/attachments/why_and_how_zk_snark_works.pdf -------------------------------------------------------------------------------- /articles/why-and-how-zk-snark-works/notes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/why-and-how-zk-snark-works/notes.md -------------------------------------------------------------------------------- /articles/zcash-protocol/attachments/merkle_tree.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/zcash-protocol/attachments/merkle_tree.png -------------------------------------------------------------------------------- /articles/zcash-protocol/attachments/shielded_payment_addresses.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/zcash-protocol/attachments/shielded_payment_addresses.png -------------------------------------------------------------------------------- /articles/zcash-protocol/attachments/zcash_protocol_specification.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/zcash-protocol/attachments/zcash_protocol_specification.pdf -------------------------------------------------------------------------------- /articles/zcash-protocol/chapter_1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/zcash-protocol/chapter_1.md -------------------------------------------------------------------------------- /articles/zcash-protocol/chapter_2.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/zcash-protocol/chapter_2.md -------------------------------------------------------------------------------- /articles/zcash-protocol/chapter_3.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/zcash-protocol/chapter_3.md -------------------------------------------------------------------------------- /articles/zk-snarks-under-the-hood/attachments/verification_steps.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/zk-snarks-under-the-hood/attachments/verification_steps.png -------------------------------------------------------------------------------- /articles/zk-snarks-under-the-hood/zk_snarks_under_the_hood.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/articles/zk-snarks-under-the-hood/zk_snarks_under_the_hood.md -------------------------------------------------------------------------------- /docs/annotation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/annotation.md -------------------------------------------------------------------------------- /docs/attachments/bootloader_tree.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/bootloader_tree.png -------------------------------------------------------------------------------- /docs/attachments/cairo_verifier_program.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/cairo_verifier_program.png -------------------------------------------------------------------------------- /docs/attachments/dark.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/dark.png -------------------------------------------------------------------------------- /docs/attachments/final_memory_output.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/final_memory_output.png -------------------------------------------------------------------------------- /docs/attachments/finite_state_automaton.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/finite_state_automaton.png -------------------------------------------------------------------------------- /docs/attachments/folding_scheme_for_r1cs.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/folding_scheme_for_r1cs.png -------------------------------------------------------------------------------- /docs/attachments/gas_fee.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/gas_fee.png -------------------------------------------------------------------------------- /docs/attachments/gates.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/gates.png -------------------------------------------------------------------------------- /docs/attachments/gsw_applications.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/gsw_applications.png -------------------------------------------------------------------------------- /docs/attachments/gsw_commitment.drawio: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/gsw_commitment.drawio -------------------------------------------------------------------------------- /docs/attachments/gsw_commitment.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/gsw_commitment.png -------------------------------------------------------------------------------- /docs/attachments/gsw_encryption_scheme.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/gsw_encryption_scheme.png -------------------------------------------------------------------------------- /docs/attachments/gsw_h_matrix.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/gsw_h_matrix.png -------------------------------------------------------------------------------- /docs/attachments/homomorphic_signatures.drawio: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/homomorphic_signatures.drawio -------------------------------------------------------------------------------- /docs/attachments/homomorphic_signatures.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/homomorphic_signatures.png -------------------------------------------------------------------------------- /docs/attachments/iteratively.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/iteratively.png -------------------------------------------------------------------------------- /docs/attachments/layout.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/layout.png -------------------------------------------------------------------------------- /docs/attachments/malicious.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/malicious.png -------------------------------------------------------------------------------- /docs/attachments/malicious_1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/malicious_1.png -------------------------------------------------------------------------------- /docs/attachments/memory_output.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/memory_output.png -------------------------------------------------------------------------------- /docs/attachments/merkle_tree.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/merkle_tree.png -------------------------------------------------------------------------------- /docs/attachments/monolith_native_performance.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/monolith_native_performance.png -------------------------------------------------------------------------------- /docs/attachments/monolith_proof_performance.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/monolith_proof_performance.png -------------------------------------------------------------------------------- /docs/attachments/monolith_single_round.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/monolith_single_round.png -------------------------------------------------------------------------------- /docs/attachments/non_native_field_arithmetic.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/non_native_field_arithmetic.png -------------------------------------------------------------------------------- /docs/attachments/output.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/output.png -------------------------------------------------------------------------------- /docs/attachments/plonk.drawio: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/plonk.drawio -------------------------------------------------------------------------------- /docs/attachments/plonk.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/plonk.png -------------------------------------------------------------------------------- /docs/attachments/plookup_visualization.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/plookup_visualization.png -------------------------------------------------------------------------------- /docs/attachments/reinforced_concrete.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/reinforced_concrete.png -------------------------------------------------------------------------------- /docs/attachments/simple_bootloader.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/simple_bootloader.png -------------------------------------------------------------------------------- /docs/attachments/stark_stage.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/stark_stage.png -------------------------------------------------------------------------------- /docs/attachments/stark_workflow.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/stark_workflow.png -------------------------------------------------------------------------------- /docs/attachments/state.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/state.png -------------------------------------------------------------------------------- /docs/attachments/trace.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/trace.png -------------------------------------------------------------------------------- /docs/attachments/vm_interaction.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/vm_interaction.png -------------------------------------------------------------------------------- /docs/attachments/von_neumann_arc.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/von_neumann_arc.png -------------------------------------------------------------------------------- /docs/attachments/zk_porter_scalability.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/zk_porter_scalability.png -------------------------------------------------------------------------------- /docs/attachments/zkrollup_state_1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/zkrollup_state_1.png -------------------------------------------------------------------------------- /docs/attachments/zkrollup_state_2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/attachments/zkrollup_state_2.png -------------------------------------------------------------------------------- /docs/bootloader.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/bootloader.md -------------------------------------------------------------------------------- /docs/cyclotomic_polynomial.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/cyclotomic_polynomial.md -------------------------------------------------------------------------------- /docs/dark.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/dark.md -------------------------------------------------------------------------------- /docs/fri.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/fri.md -------------------------------------------------------------------------------- /docs/gsw_fhe_scheme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/gsw_fhe_scheme.md -------------------------------------------------------------------------------- /docs/lattice_based_homomorphic_signatures.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/lattice_based_homomorphic_signatures.md -------------------------------------------------------------------------------- /docs/monolith-hash.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/monolith-hash.md -------------------------------------------------------------------------------- /docs/non_native_field_arithmetic.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/non_native_field_arithmetic.md -------------------------------------------------------------------------------- /docs/nova.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/nova.md -------------------------------------------------------------------------------- /docs/plonk.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/plonk.md -------------------------------------------------------------------------------- /docs/plookup.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/plookup.md -------------------------------------------------------------------------------- /docs/reed_solomon_fingerprinting.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/reed_solomon_fingerprinting.md -------------------------------------------------------------------------------- /docs/reinforced-concrete-hash.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/reinforced-concrete-hash.md -------------------------------------------------------------------------------- /docs/stark_engine.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/stark_engine.md -------------------------------------------------------------------------------- /docs/stark_evm_adapter.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/stark_evm_adapter.md -------------------------------------------------------------------------------- /docs/stark_mechanics.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/stark_mechanics.md -------------------------------------------------------------------------------- /docs/zk_comparison.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/zk_comparison.md -------------------------------------------------------------------------------- /docs/zk_porter.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/zk_porter.md -------------------------------------------------------------------------------- /docs/zk_rollups_after_eip4844.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/zk_rollups_after_eip4844.md -------------------------------------------------------------------------------- /docs/zksync_era.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/docs/zksync_era.md -------------------------------------------------------------------------------- /english/pronunciation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/english/pronunciation.md -------------------------------------------------------------------------------- /index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/index.md -------------------------------------------------------------------------------- /pre-commit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/pre-commit -------------------------------------------------------------------------------- /presentations/dencun_upgrade_and_proto_danksharding.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/presentations/dencun_upgrade_and_proto_danksharding.pptx -------------------------------------------------------------------------------- /presentations/fri.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/presentations/fri.pptx -------------------------------------------------------------------------------- /presentations/fri_based_recursion_with_a_groth16_wrapper.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/presentations/fri_based_recursion_with_a_groth16_wrapper.pptx -------------------------------------------------------------------------------- /presentations/fri_implementation.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/presentations/fri_implementation.pptx -------------------------------------------------------------------------------- /presentations/gkr_protocol_depiction.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/presentations/gkr_protocol_depiction.png -------------------------------------------------------------------------------- /presentations/nova_folding_scheme.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/presentations/nova_folding_scheme.pptx -------------------------------------------------------------------------------- /presentations/nova_ivc.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/presentations/nova_ivc.pptx -------------------------------------------------------------------------------- /presentations/plonk_implementation.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/presentations/plonk_implementation.pptx -------------------------------------------------------------------------------- /presentations/snark_overall.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/presentations/snark_overall.pptx -------------------------------------------------------------------------------- /presentations/stark_cairo_workflows.canvas: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/presentations/stark_cairo_workflows.canvas -------------------------------------------------------------------------------- /presentations/stark_engine.canvas: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/presentations/stark_engine.canvas -------------------------------------------------------------------------------- /presentations/stark_engine.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/presentations/stark_engine.pptx -------------------------------------------------------------------------------- /presentations/stark_mechanic.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/presentations/stark_mechanic.pptx -------------------------------------------------------------------------------- /presentations/sumcheck_and_gkr_protocol.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/presentations/sumcheck_and_gkr_protocol.pptx -------------------------------------------------------------------------------- /presentations/zk_login.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/presentations/zk_login.pptx -------------------------------------------------------------------------------- /presentations/zk_machine_learning.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/presentations/zk_machine_learning.pptx -------------------------------------------------------------------------------- /presentations/zk_overall.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/presentations/zk_overall.pptx -------------------------------------------------------------------------------- /presentations/zk_snarks_under_the_hood.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/presentations/zk_snarks_under_the_hood.pdf -------------------------------------------------------------------------------- /presentations/zk_tech_overview.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/presentations/zk_tech_overview.pptx -------------------------------------------------------------------------------- /presentations/zkp_gaming.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/presentations/zkp_gaming.pptx -------------------------------------------------------------------------------- /terms/abelian.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/abelian.md -------------------------------------------------------------------------------- /terms/adleman_theorem.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/adleman_theorem.md -------------------------------------------------------------------------------- /terms/advice_column.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/advice_column.md -------------------------------------------------------------------------------- /terms/arguments.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/arguments.md -------------------------------------------------------------------------------- /terms/arithmetization.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/arithmetization.md -------------------------------------------------------------------------------- /terms/ate_pairing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/ate_pairing.md -------------------------------------------------------------------------------- /terms/attachments/boolean_circuit.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/attachments/boolean_circuit.png -------------------------------------------------------------------------------- /terms/attachments/boolean_formula.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/attachments/boolean_formula.png -------------------------------------------------------------------------------- /terms/attachments/compute_tilde_w.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/attachments/compute_tilde_w.png -------------------------------------------------------------------------------- /terms/attachments/confidentiality_for_computation.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/attachments/confidentiality_for_computation.png -------------------------------------------------------------------------------- /terms/attachments/dft_matrix.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/attachments/dft_matrix.png -------------------------------------------------------------------------------- /terms/attachments/elliptic_addition.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/attachments/elliptic_addition.png -------------------------------------------------------------------------------- /terms/attachments/elliptic_curve.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/attachments/elliptic_curve.png -------------------------------------------------------------------------------- /terms/attachments/elliptic_vertical.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/attachments/elliptic_vertical.png -------------------------------------------------------------------------------- /terms/attachments/fiat_shamir_depiction.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/attachments/fiat_shamir_depiction.png -------------------------------------------------------------------------------- /terms/attachments/fourier_transforms.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/attachments/fourier_transforms.png -------------------------------------------------------------------------------- /terms/attachments/gkr_circuit.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/attachments/gkr_circuit.png -------------------------------------------------------------------------------- /terms/attachments/hades_strategy.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/attachments/hades_strategy.png -------------------------------------------------------------------------------- /terms/attachments/instantiation_of_poseidon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/attachments/instantiation_of_poseidon.png -------------------------------------------------------------------------------- /terms/attachments/integrity_for_computations.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/attachments/integrity_for_computations.png -------------------------------------------------------------------------------- /terms/attachments/inverse_dft.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/attachments/inverse_dft.png -------------------------------------------------------------------------------- /terms/attachments/ivc_idea.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/attachments/ivc_idea.png -------------------------------------------------------------------------------- /terms/attachments/kintsugi_chunk.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/attachments/kintsugi_chunk.png -------------------------------------------------------------------------------- /terms/attachments/kintsugi_strategy.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/attachments/kintsugi_strategy.png -------------------------------------------------------------------------------- /terms/attachments/line_function.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/attachments/line_function.png -------------------------------------------------------------------------------- /terms/attachments/non_interactive_zkp.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/attachments/non_interactive_zkp.png -------------------------------------------------------------------------------- /terms/attachments/r1cs_example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/attachments/r1cs_example.png -------------------------------------------------------------------------------- /terms/attachments/sponge_example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/attachments/sponge_example.png -------------------------------------------------------------------------------- /terms/attachments/uniform_reference_string.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/attachments/uniform_reference_string.png -------------------------------------------------------------------------------- /terms/attachments/zkp.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/attachments/zkp.png -------------------------------------------------------------------------------- /terms/barycentric_equation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/barycentric_equation.md -------------------------------------------------------------------------------- /terms/base_field.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/base_field.md -------------------------------------------------------------------------------- /terms/bls12-381.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/bls12-381.md -------------------------------------------------------------------------------- /terms/boolean_circuit.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/boolean_circuit.md -------------------------------------------------------------------------------- /terms/boolean_formula.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/boolean_formula.md -------------------------------------------------------------------------------- /terms/boundary_constraints.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/boundary_constraints.md -------------------------------------------------------------------------------- /terms/characteristic.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/characteristic.md -------------------------------------------------------------------------------- /terms/chinese_remainder_theorem.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/chinese_remainder_theorem.md -------------------------------------------------------------------------------- /terms/chip.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/chip.md -------------------------------------------------------------------------------- /terms/circuit.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/circuit.md -------------------------------------------------------------------------------- /terms/codeword.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/codeword.md -------------------------------------------------------------------------------- /terms/commitment_scheme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/commitment_scheme.md -------------------------------------------------------------------------------- /terms/common_reference_string.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/common_reference_string.md -------------------------------------------------------------------------------- /terms/computation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/computation.md -------------------------------------------------------------------------------- /terms/computational_integrity.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/computational_integrity.md -------------------------------------------------------------------------------- /terms/coordinate_pair_accumulator.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/coordinate_pair_accumulator.md -------------------------------------------------------------------------------- /terms/correlation_intractability.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/correlation_intractability.md -------------------------------------------------------------------------------- /terms/diophantine_equation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/diophantine_equation.md -------------------------------------------------------------------------------- /terms/diophantine_set.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/diophantine_set.md -------------------------------------------------------------------------------- /terms/discrete_logarithm.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/discrete_logarithm.md -------------------------------------------------------------------------------- /terms/distributed_key_generation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/distributed_key_generation.md -------------------------------------------------------------------------------- /terms/divisor.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/divisor.md -------------------------------------------------------------------------------- /terms/doubly_efficient.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/doubly_efficient.md -------------------------------------------------------------------------------- /terms/elliptic_curve.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/elliptic_curve.md -------------------------------------------------------------------------------- /terms/elliptic_curve_group.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/elliptic_curve_group.md -------------------------------------------------------------------------------- /terms/elliptic_curve_pairings.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/elliptic_curve_pairings.md -------------------------------------------------------------------------------- /terms/embedding_degree.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/embedding_degree.md -------------------------------------------------------------------------------- /terms/extension.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/extension.md -------------------------------------------------------------------------------- /terms/extension_fields.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/extension_fields.md -------------------------------------------------------------------------------- /terms/fast_fourier_transforms.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/fast_fourier_transforms.md -------------------------------------------------------------------------------- /terms/fermat_little_theorem.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/fermat_little_theorem.md -------------------------------------------------------------------------------- /terms/fiat_shamir.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/fiat_shamir.md -------------------------------------------------------------------------------- /terms/folding_scheme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/folding_scheme.md -------------------------------------------------------------------------------- /terms/frost.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/frost.md -------------------------------------------------------------------------------- /terms/fundamental_theorem_of_algebra.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/fundamental_theorem_of_algebra.md -------------------------------------------------------------------------------- /terms/gadget_matrix.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/gadget_matrix.md -------------------------------------------------------------------------------- /terms/gate.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/gate.md -------------------------------------------------------------------------------- /terms/gkr_protocol.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/gkr_protocol.md -------------------------------------------------------------------------------- /terms/group.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/group.md -------------------------------------------------------------------------------- /terms/holography.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/holography.md -------------------------------------------------------------------------------- /terms/homogeneous_polynomial_or_projective_model.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/homogeneous_polynomial_or_projective_model.md -------------------------------------------------------------------------------- /terms/homomorphic_encryption.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/homomorphic_encryption.md -------------------------------------------------------------------------------- /terms/interactive.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/interactive.md -------------------------------------------------------------------------------- /terms/ip.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/ip.md -------------------------------------------------------------------------------- /terms/ivc.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/ivc.md -------------------------------------------------------------------------------- /terms/kintsugi-strategy.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/kintsugi-strategy.md -------------------------------------------------------------------------------- /terms/knowledge_of_exponent.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/knowledge_of_exponent.md -------------------------------------------------------------------------------- /terms/lagrange_interpolation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/lagrange_interpolation.md -------------------------------------------------------------------------------- /terms/language.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/language.md -------------------------------------------------------------------------------- /terms/lattice.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/lattice.md -------------------------------------------------------------------------------- /terms/learning_with_errors.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/learning_with_errors.md -------------------------------------------------------------------------------- /terms/low_degree.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/low_degree.md -------------------------------------------------------------------------------- /terms/low_degree_extension.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/low_degree_extension.md -------------------------------------------------------------------------------- /terms/miller_algorithm.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/miller_algorithm.md -------------------------------------------------------------------------------- /terms/modular_arithmetic.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/modular_arithmetic.md -------------------------------------------------------------------------------- /terms/montgomery_reduction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/montgomery_reduction.md -------------------------------------------------------------------------------- /terms/multilinear.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/multilinear.md -------------------------------------------------------------------------------- /terms/np.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/np.md -------------------------------------------------------------------------------- /terms/pairings_or_bilinear_map.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/pairings_or_bilinear_map.md -------------------------------------------------------------------------------- /terms/pinocchio.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/pinocchio.md -------------------------------------------------------------------------------- /terms/polynomial-commitment/000_polynomial_commitment.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/polynomial-commitment/000_polynomial_commitment.md -------------------------------------------------------------------------------- /terms/polynomial-commitment/100_kate_commitment.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/polynomial-commitment/100_kate_commitment.md -------------------------------------------------------------------------------- /terms/polynomial-commitment/200_dory_commitment.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/polynomial-commitment/200_dory_commitment.md -------------------------------------------------------------------------------- /terms/polynomial_time_computation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/polynomial_time_computation.md -------------------------------------------------------------------------------- /terms/poseidon_hash_function.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/poseidon_hash_function.md -------------------------------------------------------------------------------- /terms/preimage_sampling.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/preimage_sampling.md -------------------------------------------------------------------------------- /terms/prime_or_finite_fields.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/prime_or_finite_fields.md -------------------------------------------------------------------------------- /terms/quadratic_field.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/quadratic_field.md -------------------------------------------------------------------------------- /terms/r1cs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/r1cs.md -------------------------------------------------------------------------------- /terms/random_oracle_model.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/random_oracle_model.md -------------------------------------------------------------------------------- /terms/rational_function.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/rational_function.md -------------------------------------------------------------------------------- /terms/recursive_proof.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/recursive_proof.md -------------------------------------------------------------------------------- /terms/relation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/relation.md -------------------------------------------------------------------------------- /terms/restriction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/restriction.md -------------------------------------------------------------------------------- /terms/rollup.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/rollup.md -------------------------------------------------------------------------------- /terms/round_by_round_soundness.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/round_by_round_soundness.md -------------------------------------------------------------------------------- /terms/scalar_field.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/scalar_field.md -------------------------------------------------------------------------------- /terms/schnorr_signature.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/schnorr_signature.md -------------------------------------------------------------------------------- /terms/schwartz_zippel_lemma.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/schwartz_zippel_lemma.md -------------------------------------------------------------------------------- /terms/selector_function.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/selector_function.md -------------------------------------------------------------------------------- /terms/statement.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/statement.md -------------------------------------------------------------------------------- /terms/structured_reference_string.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/structured_reference_string.md -------------------------------------------------------------------------------- /terms/succinct.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/succinct.md -------------------------------------------------------------------------------- /terms/sumcheck_protocol.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/sumcheck_protocol.md -------------------------------------------------------------------------------- /terms/symbolic_evaluation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/symbolic_evaluation.md -------------------------------------------------------------------------------- /terms/tate_pairing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/tate_pairing.md -------------------------------------------------------------------------------- /terms/transition_constraints.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/transition_constraints.md -------------------------------------------------------------------------------- /terms/trapdoor.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/trapdoor.md -------------------------------------------------------------------------------- /terms/trapdoor_uniform_random_matrix.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/trapdoor_uniform_random_matrix.md -------------------------------------------------------------------------------- /terms/trusted_setup.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/trusted_setup.md -------------------------------------------------------------------------------- /terms/uniform_reference_string.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/uniform_reference_string.md -------------------------------------------------------------------------------- /terms/uniqueness_of_multilinear_extension.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/uniqueness_of_multilinear_extension.md -------------------------------------------------------------------------------- /terms/vector_commitment.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/vector_commitment.md -------------------------------------------------------------------------------- /terms/verifiable_secret_sharing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/verifiable_secret_sharing.md -------------------------------------------------------------------------------- /terms/witness.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/witness.md -------------------------------------------------------------------------------- /terms/zk-friendly-hash.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/zk-friendly-hash.md -------------------------------------------------------------------------------- /terms/zkSNARK.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/zkSNARK.md -------------------------------------------------------------------------------- /terms/zkSTARK.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/zkSTARK.md -------------------------------------------------------------------------------- /terms/zkp.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sota-zk-labs/zkp-documents/HEAD/terms/zkp.md --------------------------------------------------------------------------------