├── .github └── workflows │ └── ci.yml ├── .gitignore ├── CHANGELOG.md ├── CONTRIBUTING.md ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── README.md ├── docs ├── .lock ├── COPYRIGHT.txt ├── FiraSans-LICENSE.txt ├── FiraSans-Medium.woff2 ├── FiraSans-Regular.woff2 ├── LICENSE-APACHE.txt ├── LICENSE-MIT.txt ├── NanumBarunGothic-LICENSE.txt ├── NanumBarunGothic.ttf.woff2 ├── SourceCodePro-It.ttf.woff2 ├── SourceCodePro-LICENSE.txt ├── SourceCodePro-Regular.ttf.woff2 ├── SourceCodePro-Semibold.ttf.woff2 ├── SourceSerif4-Bold.ttf.woff2 ├── SourceSerif4-It.ttf.woff2 ├── SourceSerif4-LICENSE.md ├── SourceSerif4-Regular.ttf.woff2 ├── ayu.css ├── clipboard.svg ├── crates.js ├── dark.css ├── down-arrow.svg ├── favicon.svg ├── halo2_base │ ├── all.html │ ├── constant.SKIP_FIRST_PASS.html │ ├── enum.QuantumCell.html │ ├── gates │ │ ├── builder │ │ │ ├── enum.CircuitBuilderStage.html │ │ │ ├── fn.assign_threads_in.html │ │ │ ├── fn.parallelize_in.html │ │ │ ├── index.html │ │ │ ├── parallelize │ │ │ │ └── fn.parallelize_in.html │ │ │ ├── sidebar-items.js │ │ │ ├── struct.FlexGateConfigParams.html │ │ │ ├── struct.GateCircuitBuilder.html │ │ │ ├── struct.GateThreadBuilder.html │ │ │ ├── struct.KeygenAssignments.html │ │ │ ├── struct.RangeCircuitBuilder.html │ │ │ ├── struct.RangeWithInstanceCircuitBuilder.html │ │ │ ├── struct.RangeWithInstanceConfig.html │ │ │ ├── type.MultiPhaseThreadBreakPoints.html │ │ │ └── type.ThreadBreakPoints.html │ │ ├── flex_gate │ │ │ ├── constant.MAX_PHASE.html │ │ │ ├── enum.GateStrategy.html │ │ │ ├── index.html │ │ │ ├── sidebar-items.js │ │ │ ├── struct.BasicGateConfig.html │ │ │ ├── struct.FlexGateConfig.html │ │ │ ├── struct.GateChip.html │ │ │ └── trait.GateInstructions.html │ │ ├── index.html │ │ ├── range │ │ │ ├── enum.RangeStrategy.html │ │ │ ├── index.html │ │ │ ├── sidebar-items.js │ │ │ ├── struct.RangeChip.html │ │ │ ├── struct.RangeConfig.html │ │ │ └── trait.RangeInstructions.html │ │ └── sidebar-items.js │ ├── index.html │ ├── safe_types │ │ ├── index.html │ │ ├── sidebar-items.js │ │ ├── struct.SafeType.html │ │ ├── struct.SafeTypeChip.html │ │ ├── type.SafeBool.html │ │ ├── type.SafeBytes32.html │ │ ├── type.SafeUint128.html │ │ ├── type.SafeUint16.html │ │ ├── type.SafeUint256.html │ │ ├── type.SafeUint32.html │ │ ├── type.SafeUint64.html │ │ └── type.SafeUint8.html │ ├── sidebar-items.js │ ├── struct.AssignedValue.html │ ├── struct.Context.html │ ├── struct.ContextCell.html │ └── utils │ │ ├── fn.bigint_to_fe.html │ │ ├── fn.biguint_to_fe.html │ │ ├── fn.bit_length.html │ │ ├── fn.compose.html │ │ ├── fn.decompose.html │ │ ├── fn.decompose_bigint.html │ │ ├── fn.decompose_bigint_option.html │ │ ├── fn.decompose_biguint.html │ │ ├── fn.decompose_fe_to_u64_limbs.html │ │ ├── fn.fe_to_bigint.html │ │ ├── fn.fe_to_biguint.html │ │ ├── fn.log2_ceil.html │ │ ├── fn.modulus.html │ │ ├── fn.power_of_two.html │ │ ├── fn.value_to_option.html │ │ ├── fs │ │ ├── fn.gen_srs.html │ │ ├── fn.read_or_create_srs.html │ │ ├── fn.read_params.html │ │ ├── index.html │ │ └── sidebar-items.js │ │ ├── index.html │ │ ├── sidebar-items.js │ │ ├── testing │ │ ├── fn.check_proof.html │ │ ├── fn.gen_proof.html │ │ ├── index.html │ │ └── sidebar-items.js │ │ ├── trait.CurveAffineExt.html │ │ ├── trait.ScalarField.html │ │ └── traitalias.BigPrimeField.html ├── halo2_ecc │ ├── all.html │ ├── bigint │ │ ├── add_no_carry │ │ │ ├── fn.assign.html │ │ │ ├── fn.crt.html │ │ │ ├── index.html │ │ │ └── sidebar-items.js │ │ ├── big_is_equal │ │ │ ├── fn.assign.html │ │ │ ├── index.html │ │ │ └── sidebar-items.js │ │ ├── big_is_zero │ │ │ ├── fn.assign.html │ │ │ ├── fn.crt.html │ │ │ ├── fn.positive.html │ │ │ ├── index.html │ │ │ └── sidebar-items.js │ │ ├── big_less_than │ │ │ ├── fn.assign.html │ │ │ ├── index.html │ │ │ └── sidebar-items.js │ │ ├── carry_mod │ │ │ ├── fn.crt.html │ │ │ ├── index.html │ │ │ └── sidebar-items.js │ │ ├── check_carry_mod_to_zero │ │ │ ├── fn.crt.html │ │ │ ├── index.html │ │ │ └── sidebar-items.js │ │ ├── check_carry_to_zero │ │ │ ├── fn.truncate.html │ │ │ ├── index.html │ │ │ └── sidebar-items.js │ │ ├── enum.BigIntStrategy.html │ │ ├── index.html │ │ ├── mul_no_carry │ │ │ ├── fn.crt.html │ │ │ ├── fn.truncate.html │ │ │ ├── index.html │ │ │ └── sidebar-items.js │ │ ├── negative │ │ │ ├── fn.assign.html │ │ │ ├── index.html │ │ │ └── sidebar-items.js │ │ ├── scalar_mul_and_add_no_carry │ │ │ ├── fn.assign.html │ │ │ ├── fn.crt.html │ │ │ ├── index.html │ │ │ └── sidebar-items.js │ │ ├── scalar_mul_no_carry │ │ │ ├── fn.assign.html │ │ │ ├── fn.crt.html │ │ │ ├── index.html │ │ │ └── sidebar-items.js │ │ ├── select │ │ │ ├── fn.assign.html │ │ │ ├── fn.crt.html │ │ │ ├── index.html │ │ │ └── sidebar-items.js │ │ ├── select_by_indicator │ │ │ ├── fn.assign.html │ │ │ ├── fn.crt.html │ │ │ ├── index.html │ │ │ └── sidebar-items.js │ │ ├── sidebar-items.js │ │ ├── struct.CRTInteger.html │ │ ├── struct.FixedCRTInteger.html │ │ ├── struct.FixedOverflowInteger.html │ │ ├── struct.OverflowInteger.html │ │ ├── struct.ProperCrtUint.html │ │ ├── struct.ProperUint.html │ │ ├── sub │ │ │ ├── fn.assign.html │ │ │ ├── fn.crt.html │ │ │ ├── index.html │ │ │ └── sidebar-items.js │ │ └── sub_no_carry │ │ │ ├── fn.assign.html │ │ │ ├── fn.crt.html │ │ │ ├── index.html │ │ │ └── sidebar-items.js │ ├── bn254 │ │ ├── final_exp │ │ │ ├── index.html │ │ │ └── sidebar-items.js │ │ ├── index.html │ │ ├── pairing │ │ │ ├── fn.fp12_multiply_with_line_equal.html │ │ │ ├── fn.fp12_multiply_with_line_unequal.html │ │ │ ├── fn.miller_loop_BN.html │ │ │ ├── fn.multi_miller_loop_BN.html │ │ │ ├── fn.neg_twisted_frobenius.html │ │ │ ├── fn.sparse_fp12_multiply.html │ │ │ ├── fn.sparse_line_function_equal.html │ │ │ ├── fn.sparse_line_function_unequal.html │ │ │ ├── fn.twisted_frobenius.html │ │ │ ├── index.html │ │ │ ├── sidebar-items.js │ │ │ └── struct.PairingChip.html │ │ ├── sidebar-items.js │ │ ├── type.Fp12Chip.html │ │ ├── type.Fp2Chip.html │ │ ├── type.FpChip.html │ │ ├── type.FpPoint.html │ │ └── type.FqPoint.html │ ├── ecc │ │ ├── ecdsa │ │ │ ├── fn.ecdsa_verify_no_pubkey_check.html │ │ │ ├── index.html │ │ │ └── sidebar-items.js │ │ ├── enum.ComparableEcPoint.html │ │ ├── fixed_base │ │ │ ├── fn.msm_par.html │ │ │ ├── fn.scalar_multiply.html │ │ │ ├── index.html │ │ │ └── sidebar-items.js │ │ ├── fn.check_is_on_curve.html │ │ ├── fn.ec_add_unequal.html │ │ ├── fn.ec_double.html │ │ ├── fn.ec_double_and_add_unequal.html │ │ ├── fn.ec_select.html │ │ ├── fn.ec_select_by_indicator.html │ │ ├── fn.ec_select_from_bits.html │ │ ├── fn.ec_sub_strict.html │ │ ├── fn.ec_sub_unequal.html │ │ ├── fn.get_naf.html │ │ ├── fn.into_strict_point.html │ │ ├── fn.load_random_point.html │ │ ├── fn.multi_scalar_multiply.html │ │ ├── fn.scalar_multiply.html │ │ ├── fn.strict_ec_select_from_bits.html │ │ ├── index.html │ │ ├── pippenger │ │ │ ├── fn.multi_exp_par.html │ │ │ ├── index.html │ │ │ └── sidebar-items.js │ │ ├── sidebar-items.js │ │ ├── struct.EcPoint.html │ │ ├── struct.EccChip.html │ │ ├── struct.StrictEcPoint.html │ │ └── type.BaseFieldEccChip.html │ ├── fields │ │ ├── enum.FpStrategy.html │ │ ├── fp │ │ │ ├── index.html │ │ │ ├── sidebar-items.js │ │ │ ├── struct.FpChip.html │ │ │ ├── struct.Reduced.html │ │ │ ├── type.BaseFieldChip.html │ │ │ └── type.FpConfig.html │ │ ├── fp12 │ │ │ ├── fn.mul_no_carry_w6.html │ │ │ ├── index.html │ │ │ ├── sidebar-items.js │ │ │ └── struct.Fp12Chip.html │ │ ├── fp2 │ │ │ ├── index.html │ │ │ ├── sidebar-items.js │ │ │ └── struct.Fp2Chip.html │ │ ├── index.html │ │ ├── sidebar-items.js │ │ ├── trait.FieldChip.html │ │ ├── trait.FieldExtConstructor.html │ │ ├── trait.PrimeFieldChip.html │ │ ├── trait.Selectable.html │ │ ├── traitalias.PrimeField.html │ │ └── vector │ │ │ ├── index.html │ │ │ ├── sidebar-items.js │ │ │ ├── struct.FieldVector.html │ │ │ └── struct.FieldVectorChip.html │ ├── index.html │ ├── macro.impl_field_ext_chip_common!.html │ ├── macro.impl_field_ext_chip_common.html │ ├── secp256k1 │ │ ├── constant.SECP_B.html │ │ ├── index.html │ │ ├── sidebar-items.js │ │ ├── type.FpChip.html │ │ ├── type.FqChip.html │ │ └── type.Secp256k1Chip.html │ └── sidebar-items.js ├── help.html ├── implementors │ ├── core │ │ ├── clone │ │ │ └── trait.Clone.js │ │ ├── cmp │ │ │ ├── trait.Eq.js │ │ │ └── trait.PartialEq.js │ │ ├── convert │ │ │ ├── trait.AsRef.js │ │ │ └── trait.From.js │ │ ├── default │ │ │ └── trait.Default.js │ │ ├── fmt │ │ │ └── trait.Debug.js │ │ ├── iter │ │ │ └── traits │ │ │ │ └── collect │ │ │ │ └── trait.IntoIterator.js │ │ ├── marker │ │ │ ├── trait.Copy.js │ │ │ ├── trait.Freeze.js │ │ │ ├── trait.Send.js │ │ │ ├── trait.StructuralEq.js │ │ │ ├── trait.StructuralPartialEq.js │ │ │ ├── trait.Sync.js │ │ │ └── trait.Unpin.js │ │ ├── ops │ │ │ └── index │ │ │ │ ├── trait.Index.js │ │ │ │ └── trait.IndexMut.js │ │ └── panic │ │ │ └── unwind_safe │ │ │ ├── trait.RefUnwindSafe.js │ │ │ └── trait.UnwindSafe.js │ ├── halo2_base │ │ ├── gates │ │ │ ├── flex_gate │ │ │ │ └── trait.GateInstructions.js │ │ │ └── range │ │ │ │ └── trait.RangeInstructions.js │ │ └── utils │ │ │ └── trait.ScalarField.js │ ├── halo2_ecc │ │ └── fields │ │ │ ├── trait.FieldChip.js │ │ │ ├── trait.FieldExtConstructor.js │ │ │ ├── trait.PrimeFieldChip.js │ │ │ └── trait.Selectable.js │ ├── halo2_proofs │ │ └── plonk │ │ │ └── circuit │ │ │ └── trait.Circuit.js │ ├── halo2curves │ │ └── arithmetic │ │ │ └── trait.CurveAffineExt.js │ ├── serde │ │ ├── de │ │ │ └── trait.Deserialize.js │ │ └── ser │ │ │ └── trait.Serialize.js │ └── zkevm_keccak │ │ └── util │ │ ├── eth_types │ │ ├── trait.Field.js │ │ ├── trait.ToAddress.js │ │ ├── trait.ToBigEndian.js │ │ ├── trait.ToLittleEndian.js │ │ ├── trait.ToScalar.js │ │ └── trait.ToWord.js │ │ └── expression │ │ └── trait.Expr.js ├── index.html ├── light.css ├── main.js ├── normalize.css ├── noscript.css ├── poseidon │ ├── all.html │ ├── index.html │ ├── sidebar-items.js │ └── struct.PoseidonChip.html ├── rust-logo.svg ├── rustdoc.css ├── search-index.js ├── search.js ├── settings.css ├── settings.html ├── settings.js ├── source-files.js ├── source-script.js ├── src │ ├── halo2_base │ │ ├── gates │ │ │ ├── builder.rs.html │ │ │ ├── builder │ │ │ │ └── parallelize.rs.html │ │ │ ├── flex_gate.rs.html │ │ │ ├── mod.rs.html │ │ │ └── range.rs.html │ │ ├── lib.rs.html │ │ ├── safe_types │ │ │ └── mod.rs.html │ │ └── utils.rs.html │ ├── halo2_ecc │ │ ├── bigint │ │ │ ├── add_no_carry.rs.html │ │ │ ├── big_is_equal.rs.html │ │ │ ├── big_is_zero.rs.html │ │ │ ├── big_less_than.rs.html │ │ │ ├── carry_mod.rs.html │ │ │ ├── check_carry_mod_to_zero.rs.html │ │ │ ├── check_carry_to_zero.rs.html │ │ │ ├── mod.rs.html │ │ │ ├── mul_no_carry.rs.html │ │ │ ├── negative.rs.html │ │ │ ├── scalar_mul_and_add_no_carry.rs.html │ │ │ ├── scalar_mul_no_carry.rs.html │ │ │ ├── select.rs.html │ │ │ ├── select_by_indicator.rs.html │ │ │ ├── sub.rs.html │ │ │ └── sub_no_carry.rs.html │ │ ├── bn254 │ │ │ ├── final_exp.rs.html │ │ │ ├── mod.rs.html │ │ │ └── pairing.rs.html │ │ ├── ecc │ │ │ ├── ecdsa.rs.html │ │ │ ├── fixed_base.rs.html │ │ │ ├── mod.rs.html │ │ │ └── pippenger.rs.html │ │ ├── fields │ │ │ ├── fp.rs.html │ │ │ ├── fp12.rs.html │ │ │ ├── fp2.rs.html │ │ │ ├── mod.rs.html │ │ │ └── vector.rs.html │ │ ├── lib.rs.html │ │ └── secp256k1 │ │ │ └── mod.rs.html │ ├── poseidon │ │ └── lib.rs.html │ └── zkevm_keccak │ │ ├── keccak_packed_multi.rs.html │ │ ├── lib.rs.html │ │ ├── util.rs.html │ │ └── util │ │ ├── constraint_builder.rs.html │ │ ├── eth_types.rs.html │ │ └── expression.rs.html ├── storage.js ├── toggle-minus.svg ├── toggle-plus.svg ├── wheel.svg └── zkevm_keccak │ ├── all.html │ ├── index.html │ ├── keccak_packed_multi │ ├── fn.assign_advice_custom.html │ ├── fn.assign_fixed_custom.html │ ├── fn.get_keccak_capacity.html │ ├── fn.get_num_keccak_f.html │ ├── fn.get_num_rows_per_round.html │ ├── fn.keccak_phase0.html │ ├── fn.keccak_phase1.html │ ├── fn.multi_keccak_phase0.html │ ├── fn.multi_keccak_phase1.html │ ├── index.html │ ├── sidebar-items.js │ ├── struct.KeccakCircuitConfig.html │ ├── struct.KeccakRow.html │ └── struct.KeccakTable.html │ ├── macro.address!.html │ ├── macro.address.html │ ├── macro.impl_expr!.html │ ├── macro.impl_expr.html │ ├── macro.word!.html │ ├── macro.word.html │ ├── macro.word_map!.html │ ├── macro.word_map.html │ ├── sidebar-items.js │ └── util │ ├── constant.ABSORB_WIDTH_PER_ROW.html │ ├── constant.ABSORB_WIDTH_PER_ROW_BYTES.html │ ├── constant.BIT_COUNT.html │ ├── constant.BIT_SIZE.html │ ├── constant.KECCAK_WIDTH.html │ ├── constant.KECCAK_WIDTH_IN_BITS.html │ ├── constant.NUM_BITS_PER_BYTE.html │ ├── constant.NUM_BITS_PER_WORD.html │ ├── constant.NUM_BYTES_PER_WORD.html │ ├── constant.NUM_BYTES_TO_ABSORB.html │ ├── constant.NUM_BYTES_TO_SQUEEZE.html │ ├── constant.NUM_ROUNDS.html │ ├── constant.NUM_WORDS_TO_ABSORB.html │ ├── constant.NUM_WORDS_TO_SQUEEZE.html │ ├── constant.RATE.html │ ├── constant.RATE_IN_BITS.html │ ├── constraint_builder │ ├── index.html │ ├── sidebar-items.js │ └── struct.BaseConstraintBuilder.html │ ├── eth_types │ ├── index.html │ ├── sidebar-items.js │ ├── struct.AccessList.html │ ├── struct.Block.html │ ├── struct.Bytes.html │ ├── struct.H160.html │ ├── struct.H256.html │ ├── struct.H64.html │ ├── struct.Signature.html │ ├── struct.Transaction.html │ ├── struct.U256.html │ ├── struct.U64.html │ ├── trait.Field.html │ ├── trait.ToAddress.html │ ├── trait.ToBigEndian.html │ ├── trait.ToLittleEndian.html │ ├── trait.ToScalar.html │ ├── trait.ToWord.html │ ├── type.Address.html │ ├── type.Hash.html │ └── type.Word.html │ ├── expression │ ├── and │ │ ├── fn.expr.html │ │ ├── fn.value.html │ │ ├── index.html │ │ └── sidebar-items.js │ ├── fn.expr_from_bytes.html │ ├── fn.pow_of_two.html │ ├── index.html │ ├── not │ │ ├── fn.expr.html │ │ ├── fn.value.html │ │ ├── index.html │ │ └── sidebar-items.js │ ├── or │ │ ├── fn.expr.html │ │ ├── fn.value.html │ │ ├── index.html │ │ └── sidebar-items.js │ ├── select │ │ ├── fn.expr.html │ │ ├── fn.value.html │ │ ├── fn.value_word.html │ │ ├── index.html │ │ └── sidebar-items.js │ ├── sidebar-items.js │ ├── sum │ │ ├── fn.expr.html │ │ ├── fn.value.html │ │ ├── index.html │ │ └── sidebar-items.js │ ├── trait.Expr.html │ └── xor │ │ ├── fn.expr.html │ │ ├── fn.value.html │ │ ├── index.html │ │ └── sidebar-items.js │ ├── fn.field_xor.html │ ├── fn.get_absorb_positions.html │ ├── fn.get_degree.html │ ├── fn.get_num_bits_per_lookup.html │ ├── fn.get_rotate_count.html │ ├── fn.into_bits.html │ ├── fn.pack.html │ ├── fn.pack_part.html │ ├── fn.pack_u64.html │ ├── fn.pack_with_base.html │ ├── fn.rotate.html │ ├── fn.rotate_left.html │ ├── fn.rotate_rev.html │ ├── fn.target_part_sizes.html │ ├── fn.unpack.html │ ├── index.html │ ├── scatter │ ├── index.html │ └── sidebar-items.js │ ├── sidebar-items.js │ ├── struct.PartInfo.html │ ├── struct.WordParts.html │ └── to_bytes │ ├── index.html │ └── sidebar-items.js ├── halo2-base ├── Cargo.toml ├── README.md ├── benches │ ├── inner_product.rs │ └── mul.rs ├── examples │ └── inner_product.rs ├── proptest-regressions │ └── gates │ │ └── tests │ │ └── prop_test.txt └── src │ ├── gates │ ├── circuit │ │ ├── builder.rs │ │ └── mod.rs │ ├── flex_gate │ │ ├── mod.rs │ │ └── threads │ │ │ ├── mod.rs │ │ │ ├── multi_phase.rs │ │ │ ├── parallelize.rs │ │ │ └── single_phase.rs │ ├── mod.rs │ ├── range │ │ └── mod.rs │ └── tests │ │ ├── bitwise_rotate.rs │ │ ├── flex_gate.rs │ │ ├── general.rs │ │ ├── idx_to_indicator.rs │ │ ├── mod.rs │ │ ├── neg_prop.rs │ │ ├── pos_prop.rs │ │ ├── range.rs │ │ └── utils.rs │ ├── lib.rs │ ├── poseidon │ ├── hasher │ │ ├── mds.rs │ │ ├── mod.rs │ │ ├── spec.rs │ │ ├── state.rs │ │ └── tests │ │ │ ├── compatibility.rs │ │ │ ├── hasher.rs │ │ │ ├── mod.rs │ │ │ └── state.rs │ └── mod.rs │ ├── safe_types │ ├── bytes.rs │ ├── mod.rs │ ├── primitives.rs │ └── tests │ │ ├── bytes.rs │ │ ├── mod.rs │ │ └── safe_type.rs │ ├── utils │ ├── halo2.rs │ ├── mod.rs │ └── testing.rs │ └── virtual_region │ ├── copy_constraints.rs │ ├── lookups.rs │ ├── lookups │ └── basic.rs │ ├── manager.rs │ ├── mod.rs │ └── tests │ ├── lookups │ ├── memory.rs │ └── mod.rs │ └── mod.rs ├── halo2-ecc ├── Cargo.toml ├── benches │ ├── README.md │ ├── fixed_base_msm.rs │ ├── fp_mul.rs │ └── msm.rs ├── configs │ ├── bn254 │ │ ├── bench_bls_signature.config │ │ ├── bench_ec_add.config │ │ ├── bench_fixed_msm.config │ │ ├── bench_fixed_msm.t.config │ │ ├── bench_msm.config │ │ ├── bench_msm.t.config │ │ ├── bench_pairing.config │ │ ├── bench_pairing.t.config │ │ ├── bls_signature_circuit.config │ │ ├── ec_add_circuit.config │ │ ├── fixed_msm_circuit.config │ │ ├── msm_circuit.config │ │ └── pairing_circuit.config │ └── secp256k1 │ │ ├── bench_ecdsa.config │ │ ├── bench_ecdsa.t.config │ │ ├── bench_schnorr.config │ │ ├── ecdsa_circuit.config │ │ ├── scalar_multiplication.config │ │ └── schnorr_circuit.config └── src │ ├── bigint │ ├── add_no_carry.rs │ ├── big_is_equal.rs │ ├── big_is_even.rs │ ├── big_is_zero.rs │ ├── big_less_than.rs │ ├── carry_mod.rs │ ├── check_carry_mod_to_zero.rs │ ├── check_carry_to_zero.rs │ ├── mod.rs │ ├── mul_no_carry.rs │ ├── negative.rs │ ├── scalar_mul_and_add_no_carry.rs │ ├── scalar_mul_no_carry.rs │ ├── select.rs │ ├── select_by_indicator.rs │ ├── sub.rs │ └── sub_no_carry.rs │ ├── bn254 │ ├── bls_signature.rs │ ├── final_exp.rs │ ├── mod.rs │ ├── pairing.rs │ └── tests │ │ ├── bls_signature.rs │ │ ├── ec_add.rs │ │ ├── fixed_base_msm.rs │ │ ├── mod.rs │ │ ├── msm.rs │ │ ├── msm_sum_infinity.rs │ │ ├── msm_sum_infinity_fixed_base.rs │ │ └── pairing.rs │ ├── ecc │ ├── ecdsa.rs │ ├── fixed_base.rs │ ├── fixed_base_pippenger.rs │ ├── mod.rs │ ├── pippenger.rs │ ├── schnorr_signature.rs │ └── tests.rs │ ├── fields │ ├── fp.rs │ ├── fp12.rs │ ├── fp2.rs │ ├── mod.rs │ ├── native_fp.rs │ ├── tests │ │ ├── fp │ │ │ ├── assert_eq.rs │ │ │ └── mod.rs │ │ ├── fp12 │ │ │ └── mod.rs │ │ └── mod.rs │ └── vector.rs │ ├── grumpkin │ ├── mod.rs │ └── tests │ │ └── mod.rs │ ├── lib.rs │ └── secp256k1 │ ├── mod.rs │ └── tests │ ├── ecdsa.rs │ ├── ecdsa_tests.rs │ ├── mod.rs │ ├── schnorr_signature.rs │ ├── schnorr_signature_tests.rs │ └── sm_unsafe_scalars.rs ├── make_docs.sh ├── rust-toolchain └── rustfmt.toml /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/README.md -------------------------------------------------------------------------------- /docs/.lock: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/COPYRIGHT.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/COPYRIGHT.txt -------------------------------------------------------------------------------- /docs/FiraSans-LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/FiraSans-LICENSE.txt -------------------------------------------------------------------------------- /docs/FiraSans-Medium.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/FiraSans-Medium.woff2 -------------------------------------------------------------------------------- /docs/FiraSans-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/FiraSans-Regular.woff2 -------------------------------------------------------------------------------- /docs/LICENSE-APACHE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/LICENSE-APACHE.txt -------------------------------------------------------------------------------- /docs/LICENSE-MIT.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/LICENSE-MIT.txt -------------------------------------------------------------------------------- /docs/NanumBarunGothic-LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/NanumBarunGothic-LICENSE.txt -------------------------------------------------------------------------------- /docs/NanumBarunGothic.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/NanumBarunGothic.ttf.woff2 -------------------------------------------------------------------------------- /docs/SourceCodePro-It.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/SourceCodePro-It.ttf.woff2 -------------------------------------------------------------------------------- /docs/SourceCodePro-LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/SourceCodePro-LICENSE.txt -------------------------------------------------------------------------------- /docs/SourceCodePro-Regular.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/SourceCodePro-Regular.ttf.woff2 -------------------------------------------------------------------------------- /docs/SourceCodePro-Semibold.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/SourceCodePro-Semibold.ttf.woff2 -------------------------------------------------------------------------------- /docs/SourceSerif4-Bold.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/SourceSerif4-Bold.ttf.woff2 -------------------------------------------------------------------------------- /docs/SourceSerif4-It.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/SourceSerif4-It.ttf.woff2 -------------------------------------------------------------------------------- /docs/SourceSerif4-LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/SourceSerif4-LICENSE.md -------------------------------------------------------------------------------- /docs/SourceSerif4-Regular.ttf.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/SourceSerif4-Regular.ttf.woff2 -------------------------------------------------------------------------------- /docs/ayu.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/ayu.css -------------------------------------------------------------------------------- /docs/clipboard.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/clipboard.svg -------------------------------------------------------------------------------- /docs/crates.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/crates.js -------------------------------------------------------------------------------- /docs/dark.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/dark.css -------------------------------------------------------------------------------- /docs/down-arrow.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/down-arrow.svg -------------------------------------------------------------------------------- /docs/favicon.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/favicon.svg -------------------------------------------------------------------------------- /docs/halo2_base/all.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/all.html -------------------------------------------------------------------------------- /docs/halo2_base/constant.SKIP_FIRST_PASS.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/constant.SKIP_FIRST_PASS.html -------------------------------------------------------------------------------- /docs/halo2_base/enum.QuantumCell.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/enum.QuantumCell.html -------------------------------------------------------------------------------- /docs/halo2_base/gates/builder/enum.CircuitBuilderStage.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/builder/enum.CircuitBuilderStage.html -------------------------------------------------------------------------------- /docs/halo2_base/gates/builder/fn.assign_threads_in.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/builder/fn.assign_threads_in.html -------------------------------------------------------------------------------- /docs/halo2_base/gates/builder/fn.parallelize_in.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/builder/fn.parallelize_in.html -------------------------------------------------------------------------------- /docs/halo2_base/gates/builder/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/builder/index.html -------------------------------------------------------------------------------- /docs/halo2_base/gates/builder/parallelize/fn.parallelize_in.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/builder/parallelize/fn.parallelize_in.html -------------------------------------------------------------------------------- /docs/halo2_base/gates/builder/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/builder/sidebar-items.js -------------------------------------------------------------------------------- /docs/halo2_base/gates/builder/struct.FlexGateConfigParams.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/builder/struct.FlexGateConfigParams.html -------------------------------------------------------------------------------- /docs/halo2_base/gates/builder/struct.GateCircuitBuilder.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/builder/struct.GateCircuitBuilder.html -------------------------------------------------------------------------------- /docs/halo2_base/gates/builder/struct.GateThreadBuilder.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/builder/struct.GateThreadBuilder.html -------------------------------------------------------------------------------- /docs/halo2_base/gates/builder/struct.KeygenAssignments.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/builder/struct.KeygenAssignments.html -------------------------------------------------------------------------------- /docs/halo2_base/gates/builder/struct.RangeCircuitBuilder.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/builder/struct.RangeCircuitBuilder.html -------------------------------------------------------------------------------- /docs/halo2_base/gates/builder/struct.RangeWithInstanceCircuitBuilder.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/builder/struct.RangeWithInstanceCircuitBuilder.html -------------------------------------------------------------------------------- /docs/halo2_base/gates/builder/struct.RangeWithInstanceConfig.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/builder/struct.RangeWithInstanceConfig.html -------------------------------------------------------------------------------- /docs/halo2_base/gates/builder/type.MultiPhaseThreadBreakPoints.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/builder/type.MultiPhaseThreadBreakPoints.html -------------------------------------------------------------------------------- /docs/halo2_base/gates/builder/type.ThreadBreakPoints.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/builder/type.ThreadBreakPoints.html -------------------------------------------------------------------------------- /docs/halo2_base/gates/flex_gate/constant.MAX_PHASE.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/flex_gate/constant.MAX_PHASE.html -------------------------------------------------------------------------------- /docs/halo2_base/gates/flex_gate/enum.GateStrategy.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/flex_gate/enum.GateStrategy.html -------------------------------------------------------------------------------- /docs/halo2_base/gates/flex_gate/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/flex_gate/index.html -------------------------------------------------------------------------------- /docs/halo2_base/gates/flex_gate/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/flex_gate/sidebar-items.js -------------------------------------------------------------------------------- /docs/halo2_base/gates/flex_gate/struct.BasicGateConfig.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/flex_gate/struct.BasicGateConfig.html -------------------------------------------------------------------------------- /docs/halo2_base/gates/flex_gate/struct.FlexGateConfig.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/flex_gate/struct.FlexGateConfig.html -------------------------------------------------------------------------------- /docs/halo2_base/gates/flex_gate/struct.GateChip.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/flex_gate/struct.GateChip.html -------------------------------------------------------------------------------- /docs/halo2_base/gates/flex_gate/trait.GateInstructions.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/flex_gate/trait.GateInstructions.html -------------------------------------------------------------------------------- /docs/halo2_base/gates/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/index.html -------------------------------------------------------------------------------- /docs/halo2_base/gates/range/enum.RangeStrategy.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/range/enum.RangeStrategy.html -------------------------------------------------------------------------------- /docs/halo2_base/gates/range/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/range/index.html -------------------------------------------------------------------------------- /docs/halo2_base/gates/range/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/range/sidebar-items.js -------------------------------------------------------------------------------- /docs/halo2_base/gates/range/struct.RangeChip.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/range/struct.RangeChip.html -------------------------------------------------------------------------------- /docs/halo2_base/gates/range/struct.RangeConfig.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/range/struct.RangeConfig.html -------------------------------------------------------------------------------- /docs/halo2_base/gates/range/trait.RangeInstructions.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/range/trait.RangeInstructions.html -------------------------------------------------------------------------------- /docs/halo2_base/gates/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/gates/sidebar-items.js -------------------------------------------------------------------------------- /docs/halo2_base/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/index.html -------------------------------------------------------------------------------- /docs/halo2_base/safe_types/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/safe_types/index.html -------------------------------------------------------------------------------- /docs/halo2_base/safe_types/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/safe_types/sidebar-items.js -------------------------------------------------------------------------------- /docs/halo2_base/safe_types/struct.SafeType.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/safe_types/struct.SafeType.html -------------------------------------------------------------------------------- /docs/halo2_base/safe_types/struct.SafeTypeChip.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/safe_types/struct.SafeTypeChip.html -------------------------------------------------------------------------------- /docs/halo2_base/safe_types/type.SafeBool.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/safe_types/type.SafeBool.html -------------------------------------------------------------------------------- /docs/halo2_base/safe_types/type.SafeBytes32.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/safe_types/type.SafeBytes32.html -------------------------------------------------------------------------------- /docs/halo2_base/safe_types/type.SafeUint128.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/safe_types/type.SafeUint128.html -------------------------------------------------------------------------------- /docs/halo2_base/safe_types/type.SafeUint16.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/safe_types/type.SafeUint16.html -------------------------------------------------------------------------------- /docs/halo2_base/safe_types/type.SafeUint256.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/safe_types/type.SafeUint256.html -------------------------------------------------------------------------------- /docs/halo2_base/safe_types/type.SafeUint32.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/safe_types/type.SafeUint32.html -------------------------------------------------------------------------------- /docs/halo2_base/safe_types/type.SafeUint64.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/safe_types/type.SafeUint64.html -------------------------------------------------------------------------------- /docs/halo2_base/safe_types/type.SafeUint8.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/safe_types/type.SafeUint8.html -------------------------------------------------------------------------------- /docs/halo2_base/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/sidebar-items.js -------------------------------------------------------------------------------- /docs/halo2_base/struct.AssignedValue.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/struct.AssignedValue.html -------------------------------------------------------------------------------- /docs/halo2_base/struct.Context.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/struct.Context.html -------------------------------------------------------------------------------- /docs/halo2_base/struct.ContextCell.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/struct.ContextCell.html -------------------------------------------------------------------------------- /docs/halo2_base/utils/fn.bigint_to_fe.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/utils/fn.bigint_to_fe.html -------------------------------------------------------------------------------- /docs/halo2_base/utils/fn.biguint_to_fe.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/utils/fn.biguint_to_fe.html -------------------------------------------------------------------------------- /docs/halo2_base/utils/fn.bit_length.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/utils/fn.bit_length.html -------------------------------------------------------------------------------- /docs/halo2_base/utils/fn.compose.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/utils/fn.compose.html -------------------------------------------------------------------------------- /docs/halo2_base/utils/fn.decompose.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/utils/fn.decompose.html -------------------------------------------------------------------------------- /docs/halo2_base/utils/fn.decompose_bigint.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/utils/fn.decompose_bigint.html -------------------------------------------------------------------------------- /docs/halo2_base/utils/fn.decompose_bigint_option.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/utils/fn.decompose_bigint_option.html -------------------------------------------------------------------------------- /docs/halo2_base/utils/fn.decompose_biguint.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/utils/fn.decompose_biguint.html -------------------------------------------------------------------------------- /docs/halo2_base/utils/fn.decompose_fe_to_u64_limbs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/utils/fn.decompose_fe_to_u64_limbs.html -------------------------------------------------------------------------------- /docs/halo2_base/utils/fn.fe_to_bigint.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/utils/fn.fe_to_bigint.html -------------------------------------------------------------------------------- /docs/halo2_base/utils/fn.fe_to_biguint.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/utils/fn.fe_to_biguint.html -------------------------------------------------------------------------------- /docs/halo2_base/utils/fn.log2_ceil.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/utils/fn.log2_ceil.html -------------------------------------------------------------------------------- /docs/halo2_base/utils/fn.modulus.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/utils/fn.modulus.html -------------------------------------------------------------------------------- /docs/halo2_base/utils/fn.power_of_two.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/utils/fn.power_of_two.html -------------------------------------------------------------------------------- /docs/halo2_base/utils/fn.value_to_option.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/utils/fn.value_to_option.html -------------------------------------------------------------------------------- /docs/halo2_base/utils/fs/fn.gen_srs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/utils/fs/fn.gen_srs.html -------------------------------------------------------------------------------- /docs/halo2_base/utils/fs/fn.read_or_create_srs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/utils/fs/fn.read_or_create_srs.html -------------------------------------------------------------------------------- /docs/halo2_base/utils/fs/fn.read_params.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/utils/fs/fn.read_params.html -------------------------------------------------------------------------------- /docs/halo2_base/utils/fs/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/utils/fs/index.html -------------------------------------------------------------------------------- /docs/halo2_base/utils/fs/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/utils/fs/sidebar-items.js -------------------------------------------------------------------------------- /docs/halo2_base/utils/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/utils/index.html -------------------------------------------------------------------------------- /docs/halo2_base/utils/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/utils/sidebar-items.js -------------------------------------------------------------------------------- /docs/halo2_base/utils/testing/fn.check_proof.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/utils/testing/fn.check_proof.html -------------------------------------------------------------------------------- /docs/halo2_base/utils/testing/fn.gen_proof.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/utils/testing/fn.gen_proof.html -------------------------------------------------------------------------------- /docs/halo2_base/utils/testing/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/utils/testing/index.html -------------------------------------------------------------------------------- /docs/halo2_base/utils/testing/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/utils/testing/sidebar-items.js -------------------------------------------------------------------------------- /docs/halo2_base/utils/trait.CurveAffineExt.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/utils/trait.CurveAffineExt.html -------------------------------------------------------------------------------- /docs/halo2_base/utils/trait.ScalarField.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/utils/trait.ScalarField.html -------------------------------------------------------------------------------- /docs/halo2_base/utils/traitalias.BigPrimeField.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_base/utils/traitalias.BigPrimeField.html -------------------------------------------------------------------------------- /docs/halo2_ecc/all.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/all.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/add_no_carry/fn.assign.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/add_no_carry/fn.assign.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/add_no_carry/fn.crt.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/add_no_carry/fn.crt.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/add_no_carry/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/add_no_carry/index.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/add_no_carry/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/add_no_carry/sidebar-items.js -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/big_is_equal/fn.assign.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/big_is_equal/fn.assign.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/big_is_equal/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/big_is_equal/index.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/big_is_equal/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/big_is_equal/sidebar-items.js -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/big_is_zero/fn.assign.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/big_is_zero/fn.assign.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/big_is_zero/fn.crt.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/big_is_zero/fn.crt.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/big_is_zero/fn.positive.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/big_is_zero/fn.positive.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/big_is_zero/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/big_is_zero/index.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/big_is_zero/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/big_is_zero/sidebar-items.js -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/big_less_than/fn.assign.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/big_less_than/fn.assign.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/big_less_than/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/big_less_than/index.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/big_less_than/sidebar-items.js: -------------------------------------------------------------------------------- 1 | window.SIDEBAR_ITEMS = {"fn":[["assign",""]]}; -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/carry_mod/fn.crt.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/carry_mod/fn.crt.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/carry_mod/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/carry_mod/index.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/carry_mod/sidebar-items.js: -------------------------------------------------------------------------------- 1 | window.SIDEBAR_ITEMS = {"fn":[["crt","Assumptions"]]}; -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/check_carry_mod_to_zero/fn.crt.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/check_carry_mod_to_zero/fn.crt.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/check_carry_mod_to_zero/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/check_carry_mod_to_zero/index.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/check_carry_mod_to_zero/sidebar-items.js: -------------------------------------------------------------------------------- 1 | window.SIDEBAR_ITEMS = {"fn":[["crt",""]]}; -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/check_carry_to_zero/fn.truncate.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/check_carry_to_zero/fn.truncate.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/check_carry_to_zero/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/check_carry_to_zero/index.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/check_carry_to_zero/sidebar-items.js: -------------------------------------------------------------------------------- 1 | window.SIDEBAR_ITEMS = {"fn":[["truncate",""]]}; -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/enum.BigIntStrategy.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/enum.BigIntStrategy.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/index.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/mul_no_carry/fn.crt.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/mul_no_carry/fn.crt.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/mul_no_carry/fn.truncate.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/mul_no_carry/fn.truncate.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/mul_no_carry/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/mul_no_carry/index.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/mul_no_carry/sidebar-items.js: -------------------------------------------------------------------------------- 1 | window.SIDEBAR_ITEMS = {"fn":[["crt",""],["truncate","Assumptions"]]}; -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/negative/fn.assign.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/negative/fn.assign.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/negative/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/negative/index.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/negative/sidebar-items.js: -------------------------------------------------------------------------------- 1 | window.SIDEBAR_ITEMS = {"fn":[["assign",""]]}; -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/scalar_mul_and_add_no_carry/fn.assign.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/scalar_mul_and_add_no_carry/fn.assign.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/scalar_mul_and_add_no_carry/fn.crt.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/scalar_mul_and_add_no_carry/fn.crt.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/scalar_mul_and_add_no_carry/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/scalar_mul_and_add_no_carry/index.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/scalar_mul_and_add_no_carry/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/scalar_mul_and_add_no_carry/sidebar-items.js -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/scalar_mul_no_carry/fn.assign.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/scalar_mul_no_carry/fn.assign.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/scalar_mul_no_carry/fn.crt.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/scalar_mul_no_carry/fn.crt.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/scalar_mul_no_carry/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/scalar_mul_no_carry/index.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/scalar_mul_no_carry/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/scalar_mul_no_carry/sidebar-items.js -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/select/fn.assign.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/select/fn.assign.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/select/fn.crt.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/select/fn.crt.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/select/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/select/index.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/select/sidebar-items.js: -------------------------------------------------------------------------------- 1 | window.SIDEBAR_ITEMS = {"fn":[["assign","Assumptions"],["crt",""]]}; -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/select_by_indicator/fn.assign.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/select_by_indicator/fn.assign.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/select_by_indicator/fn.crt.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/select_by_indicator/fn.crt.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/select_by_indicator/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/select_by_indicator/index.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/select_by_indicator/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/select_by_indicator/sidebar-items.js -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/sidebar-items.js -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/struct.CRTInteger.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/struct.CRTInteger.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/struct.FixedCRTInteger.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/struct.FixedCRTInteger.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/struct.FixedOverflowInteger.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/struct.FixedOverflowInteger.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/struct.OverflowInteger.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/struct.OverflowInteger.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/struct.ProperCrtUint.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/struct.ProperCrtUint.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/struct.ProperUint.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/struct.ProperUint.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/sub/fn.assign.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/sub/fn.assign.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/sub/fn.crt.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/sub/fn.crt.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/sub/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/sub/index.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/sub/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/sub/sidebar-items.js -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/sub_no_carry/fn.assign.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/sub_no_carry/fn.assign.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/sub_no_carry/fn.crt.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/sub_no_carry/fn.crt.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/sub_no_carry/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bigint/sub_no_carry/index.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bigint/sub_no_carry/sidebar-items.js: -------------------------------------------------------------------------------- 1 | window.SIDEBAR_ITEMS = {"fn":[["assign","Assumptions"],["crt",""]]}; -------------------------------------------------------------------------------- /docs/halo2_ecc/bn254/final_exp/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bn254/final_exp/index.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bn254/final_exp/sidebar-items.js: -------------------------------------------------------------------------------- 1 | window.SIDEBAR_ITEMS = {}; -------------------------------------------------------------------------------- /docs/halo2_ecc/bn254/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bn254/index.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bn254/pairing/fn.fp12_multiply_with_line_equal.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bn254/pairing/fn.fp12_multiply_with_line_equal.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bn254/pairing/fn.fp12_multiply_with_line_unequal.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bn254/pairing/fn.fp12_multiply_with_line_unequal.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bn254/pairing/fn.miller_loop_BN.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bn254/pairing/fn.miller_loop_BN.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bn254/pairing/fn.multi_miller_loop_BN.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bn254/pairing/fn.multi_miller_loop_BN.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bn254/pairing/fn.neg_twisted_frobenius.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bn254/pairing/fn.neg_twisted_frobenius.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bn254/pairing/fn.sparse_fp12_multiply.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bn254/pairing/fn.sparse_fp12_multiply.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bn254/pairing/fn.sparse_line_function_equal.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bn254/pairing/fn.sparse_line_function_equal.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bn254/pairing/fn.sparse_line_function_unequal.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bn254/pairing/fn.sparse_line_function_unequal.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bn254/pairing/fn.twisted_frobenius.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bn254/pairing/fn.twisted_frobenius.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bn254/pairing/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bn254/pairing/index.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bn254/pairing/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bn254/pairing/sidebar-items.js -------------------------------------------------------------------------------- /docs/halo2_ecc/bn254/pairing/struct.PairingChip.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bn254/pairing/struct.PairingChip.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bn254/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bn254/sidebar-items.js -------------------------------------------------------------------------------- /docs/halo2_ecc/bn254/type.Fp12Chip.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bn254/type.Fp12Chip.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bn254/type.Fp2Chip.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bn254/type.Fp2Chip.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bn254/type.FpChip.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bn254/type.FpChip.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bn254/type.FpPoint.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bn254/type.FpPoint.html -------------------------------------------------------------------------------- /docs/halo2_ecc/bn254/type.FqPoint.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/bn254/type.FqPoint.html -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/ecdsa/fn.ecdsa_verify_no_pubkey_check.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/ecdsa/fn.ecdsa_verify_no_pubkey_check.html -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/ecdsa/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/ecdsa/index.html -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/ecdsa/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/ecdsa/sidebar-items.js -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/enum.ComparableEcPoint.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/enum.ComparableEcPoint.html -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/fixed_base/fn.msm_par.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/fixed_base/fn.msm_par.html -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/fixed_base/fn.scalar_multiply.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/fixed_base/fn.scalar_multiply.html -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/fixed_base/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/fixed_base/index.html -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/fixed_base/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/fixed_base/sidebar-items.js -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/fn.check_is_on_curve.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/fn.check_is_on_curve.html -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/fn.ec_add_unequal.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/fn.ec_add_unequal.html -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/fn.ec_double.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/fn.ec_double.html -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/fn.ec_double_and_add_unequal.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/fn.ec_double_and_add_unequal.html -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/fn.ec_select.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/fn.ec_select.html -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/fn.ec_select_by_indicator.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/fn.ec_select_by_indicator.html -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/fn.ec_select_from_bits.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/fn.ec_select_from_bits.html -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/fn.ec_sub_strict.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/fn.ec_sub_strict.html -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/fn.ec_sub_unequal.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/fn.ec_sub_unequal.html -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/fn.get_naf.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/fn.get_naf.html -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/fn.into_strict_point.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/fn.into_strict_point.html -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/fn.load_random_point.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/fn.load_random_point.html -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/fn.multi_scalar_multiply.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/fn.multi_scalar_multiply.html -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/fn.scalar_multiply.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/fn.scalar_multiply.html -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/fn.strict_ec_select_from_bits.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/fn.strict_ec_select_from_bits.html -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/index.html -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/pippenger/fn.multi_exp_par.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/pippenger/fn.multi_exp_par.html -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/pippenger/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/pippenger/index.html -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/pippenger/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/pippenger/sidebar-items.js -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/sidebar-items.js -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/struct.EcPoint.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/struct.EcPoint.html -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/struct.EccChip.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/struct.EccChip.html -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/struct.StrictEcPoint.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/struct.StrictEcPoint.html -------------------------------------------------------------------------------- /docs/halo2_ecc/ecc/type.BaseFieldEccChip.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/ecc/type.BaseFieldEccChip.html -------------------------------------------------------------------------------- /docs/halo2_ecc/fields/enum.FpStrategy.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/fields/enum.FpStrategy.html -------------------------------------------------------------------------------- /docs/halo2_ecc/fields/fp/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/fields/fp/index.html -------------------------------------------------------------------------------- /docs/halo2_ecc/fields/fp/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/fields/fp/sidebar-items.js -------------------------------------------------------------------------------- /docs/halo2_ecc/fields/fp/struct.FpChip.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/fields/fp/struct.FpChip.html -------------------------------------------------------------------------------- /docs/halo2_ecc/fields/fp/struct.Reduced.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/fields/fp/struct.Reduced.html -------------------------------------------------------------------------------- /docs/halo2_ecc/fields/fp/type.BaseFieldChip.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/fields/fp/type.BaseFieldChip.html -------------------------------------------------------------------------------- /docs/halo2_ecc/fields/fp/type.FpConfig.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/fields/fp/type.FpConfig.html -------------------------------------------------------------------------------- /docs/halo2_ecc/fields/fp12/fn.mul_no_carry_w6.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/fields/fp12/fn.mul_no_carry_w6.html -------------------------------------------------------------------------------- /docs/halo2_ecc/fields/fp12/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/fields/fp12/index.html -------------------------------------------------------------------------------- /docs/halo2_ecc/fields/fp12/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/fields/fp12/sidebar-items.js -------------------------------------------------------------------------------- /docs/halo2_ecc/fields/fp12/struct.Fp12Chip.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/fields/fp12/struct.Fp12Chip.html -------------------------------------------------------------------------------- /docs/halo2_ecc/fields/fp2/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/fields/fp2/index.html -------------------------------------------------------------------------------- /docs/halo2_ecc/fields/fp2/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/fields/fp2/sidebar-items.js -------------------------------------------------------------------------------- /docs/halo2_ecc/fields/fp2/struct.Fp2Chip.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/fields/fp2/struct.Fp2Chip.html -------------------------------------------------------------------------------- /docs/halo2_ecc/fields/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/fields/index.html -------------------------------------------------------------------------------- /docs/halo2_ecc/fields/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/fields/sidebar-items.js -------------------------------------------------------------------------------- /docs/halo2_ecc/fields/trait.FieldChip.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/fields/trait.FieldChip.html -------------------------------------------------------------------------------- /docs/halo2_ecc/fields/trait.FieldExtConstructor.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/fields/trait.FieldExtConstructor.html -------------------------------------------------------------------------------- /docs/halo2_ecc/fields/trait.PrimeFieldChip.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/fields/trait.PrimeFieldChip.html -------------------------------------------------------------------------------- /docs/halo2_ecc/fields/trait.Selectable.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/fields/trait.Selectable.html -------------------------------------------------------------------------------- /docs/halo2_ecc/fields/traitalias.PrimeField.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/fields/traitalias.PrimeField.html -------------------------------------------------------------------------------- /docs/halo2_ecc/fields/vector/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/fields/vector/index.html -------------------------------------------------------------------------------- /docs/halo2_ecc/fields/vector/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/fields/vector/sidebar-items.js -------------------------------------------------------------------------------- /docs/halo2_ecc/fields/vector/struct.FieldVector.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/fields/vector/struct.FieldVector.html -------------------------------------------------------------------------------- /docs/halo2_ecc/fields/vector/struct.FieldVectorChip.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/fields/vector/struct.FieldVectorChip.html -------------------------------------------------------------------------------- /docs/halo2_ecc/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/index.html -------------------------------------------------------------------------------- /docs/halo2_ecc/macro.impl_field_ext_chip_common!.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/macro.impl_field_ext_chip_common!.html -------------------------------------------------------------------------------- /docs/halo2_ecc/macro.impl_field_ext_chip_common.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/macro.impl_field_ext_chip_common.html -------------------------------------------------------------------------------- /docs/halo2_ecc/secp256k1/constant.SECP_B.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/secp256k1/constant.SECP_B.html -------------------------------------------------------------------------------- /docs/halo2_ecc/secp256k1/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/secp256k1/index.html -------------------------------------------------------------------------------- /docs/halo2_ecc/secp256k1/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/secp256k1/sidebar-items.js -------------------------------------------------------------------------------- /docs/halo2_ecc/secp256k1/type.FpChip.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/secp256k1/type.FpChip.html -------------------------------------------------------------------------------- /docs/halo2_ecc/secp256k1/type.FqChip.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/secp256k1/type.FqChip.html -------------------------------------------------------------------------------- /docs/halo2_ecc/secp256k1/type.Secp256k1Chip.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/secp256k1/type.Secp256k1Chip.html -------------------------------------------------------------------------------- /docs/halo2_ecc/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/halo2_ecc/sidebar-items.js -------------------------------------------------------------------------------- /docs/help.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/help.html -------------------------------------------------------------------------------- /docs/implementors/core/clone/trait.Clone.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/core/clone/trait.Clone.js -------------------------------------------------------------------------------- /docs/implementors/core/cmp/trait.Eq.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/core/cmp/trait.Eq.js -------------------------------------------------------------------------------- /docs/implementors/core/cmp/trait.PartialEq.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/core/cmp/trait.PartialEq.js -------------------------------------------------------------------------------- /docs/implementors/core/convert/trait.AsRef.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/core/convert/trait.AsRef.js -------------------------------------------------------------------------------- /docs/implementors/core/convert/trait.From.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/core/convert/trait.From.js -------------------------------------------------------------------------------- /docs/implementors/core/default/trait.Default.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/core/default/trait.Default.js -------------------------------------------------------------------------------- /docs/implementors/core/fmt/trait.Debug.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/core/fmt/trait.Debug.js -------------------------------------------------------------------------------- /docs/implementors/core/iter/traits/collect/trait.IntoIterator.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/core/iter/traits/collect/trait.IntoIterator.js -------------------------------------------------------------------------------- /docs/implementors/core/marker/trait.Copy.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/core/marker/trait.Copy.js -------------------------------------------------------------------------------- /docs/implementors/core/marker/trait.Freeze.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/core/marker/trait.Freeze.js -------------------------------------------------------------------------------- /docs/implementors/core/marker/trait.Send.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/core/marker/trait.Send.js -------------------------------------------------------------------------------- /docs/implementors/core/marker/trait.StructuralEq.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/core/marker/trait.StructuralEq.js -------------------------------------------------------------------------------- /docs/implementors/core/marker/trait.StructuralPartialEq.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/core/marker/trait.StructuralPartialEq.js -------------------------------------------------------------------------------- /docs/implementors/core/marker/trait.Sync.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/core/marker/trait.Sync.js -------------------------------------------------------------------------------- /docs/implementors/core/marker/trait.Unpin.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/core/marker/trait.Unpin.js -------------------------------------------------------------------------------- /docs/implementors/core/ops/index/trait.Index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/core/ops/index/trait.Index.js -------------------------------------------------------------------------------- /docs/implementors/core/ops/index/trait.IndexMut.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/core/ops/index/trait.IndexMut.js -------------------------------------------------------------------------------- /docs/implementors/core/panic/unwind_safe/trait.RefUnwindSafe.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/core/panic/unwind_safe/trait.RefUnwindSafe.js -------------------------------------------------------------------------------- /docs/implementors/core/panic/unwind_safe/trait.UnwindSafe.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/core/panic/unwind_safe/trait.UnwindSafe.js -------------------------------------------------------------------------------- /docs/implementors/halo2_base/gates/flex_gate/trait.GateInstructions.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/halo2_base/gates/flex_gate/trait.GateInstructions.js -------------------------------------------------------------------------------- /docs/implementors/halo2_base/gates/range/trait.RangeInstructions.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/halo2_base/gates/range/trait.RangeInstructions.js -------------------------------------------------------------------------------- /docs/implementors/halo2_base/utils/trait.ScalarField.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/halo2_base/utils/trait.ScalarField.js -------------------------------------------------------------------------------- /docs/implementors/halo2_ecc/fields/trait.FieldChip.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/halo2_ecc/fields/trait.FieldChip.js -------------------------------------------------------------------------------- /docs/implementors/halo2_ecc/fields/trait.FieldExtConstructor.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/halo2_ecc/fields/trait.FieldExtConstructor.js -------------------------------------------------------------------------------- /docs/implementors/halo2_ecc/fields/trait.PrimeFieldChip.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/halo2_ecc/fields/trait.PrimeFieldChip.js -------------------------------------------------------------------------------- /docs/implementors/halo2_ecc/fields/trait.Selectable.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/halo2_ecc/fields/trait.Selectable.js -------------------------------------------------------------------------------- /docs/implementors/halo2_proofs/plonk/circuit/trait.Circuit.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/halo2_proofs/plonk/circuit/trait.Circuit.js -------------------------------------------------------------------------------- /docs/implementors/halo2curves/arithmetic/trait.CurveAffineExt.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/halo2curves/arithmetic/trait.CurveAffineExt.js -------------------------------------------------------------------------------- /docs/implementors/serde/de/trait.Deserialize.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/serde/de/trait.Deserialize.js -------------------------------------------------------------------------------- /docs/implementors/serde/ser/trait.Serialize.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/serde/ser/trait.Serialize.js -------------------------------------------------------------------------------- /docs/implementors/zkevm_keccak/util/eth_types/trait.Field.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/zkevm_keccak/util/eth_types/trait.Field.js -------------------------------------------------------------------------------- /docs/implementors/zkevm_keccak/util/eth_types/trait.ToAddress.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/zkevm_keccak/util/eth_types/trait.ToAddress.js -------------------------------------------------------------------------------- /docs/implementors/zkevm_keccak/util/eth_types/trait.ToBigEndian.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/zkevm_keccak/util/eth_types/trait.ToBigEndian.js -------------------------------------------------------------------------------- /docs/implementors/zkevm_keccak/util/eth_types/trait.ToLittleEndian.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/zkevm_keccak/util/eth_types/trait.ToLittleEndian.js -------------------------------------------------------------------------------- /docs/implementors/zkevm_keccak/util/eth_types/trait.ToScalar.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/zkevm_keccak/util/eth_types/trait.ToScalar.js -------------------------------------------------------------------------------- /docs/implementors/zkevm_keccak/util/eth_types/trait.ToWord.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/zkevm_keccak/util/eth_types/trait.ToWord.js -------------------------------------------------------------------------------- /docs/implementors/zkevm_keccak/util/expression/trait.Expr.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/implementors/zkevm_keccak/util/expression/trait.Expr.js -------------------------------------------------------------------------------- /docs/index.html: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /docs/light.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/light.css -------------------------------------------------------------------------------- /docs/main.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/main.js -------------------------------------------------------------------------------- /docs/normalize.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/normalize.css -------------------------------------------------------------------------------- /docs/noscript.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/noscript.css -------------------------------------------------------------------------------- /docs/poseidon/all.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/poseidon/all.html -------------------------------------------------------------------------------- /docs/poseidon/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/poseidon/index.html -------------------------------------------------------------------------------- /docs/poseidon/sidebar-items.js: -------------------------------------------------------------------------------- 1 | window.SIDEBAR_ITEMS = {"struct":[["PoseidonChip",""]]}; -------------------------------------------------------------------------------- /docs/poseidon/struct.PoseidonChip.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/poseidon/struct.PoseidonChip.html -------------------------------------------------------------------------------- /docs/rust-logo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/rust-logo.svg -------------------------------------------------------------------------------- /docs/rustdoc.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/rustdoc.css -------------------------------------------------------------------------------- /docs/search-index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/search-index.js -------------------------------------------------------------------------------- /docs/search.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/search.js -------------------------------------------------------------------------------- /docs/settings.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/settings.css -------------------------------------------------------------------------------- /docs/settings.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/settings.html -------------------------------------------------------------------------------- /docs/settings.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/settings.js -------------------------------------------------------------------------------- /docs/source-files.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/source-files.js -------------------------------------------------------------------------------- /docs/source-script.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/source-script.js -------------------------------------------------------------------------------- /docs/src/halo2_base/gates/builder.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_base/gates/builder.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_base/gates/builder/parallelize.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_base/gates/builder/parallelize.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_base/gates/flex_gate.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_base/gates/flex_gate.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_base/gates/mod.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_base/gates/mod.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_base/gates/range.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_base/gates/range.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_base/lib.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_base/lib.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_base/safe_types/mod.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_base/safe_types/mod.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_base/utils.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_base/utils.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_ecc/bigint/add_no_carry.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_ecc/bigint/add_no_carry.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_ecc/bigint/big_is_equal.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_ecc/bigint/big_is_equal.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_ecc/bigint/big_is_zero.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_ecc/bigint/big_is_zero.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_ecc/bigint/big_less_than.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_ecc/bigint/big_less_than.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_ecc/bigint/carry_mod.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_ecc/bigint/carry_mod.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_ecc/bigint/check_carry_mod_to_zero.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_ecc/bigint/check_carry_mod_to_zero.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_ecc/bigint/check_carry_to_zero.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_ecc/bigint/check_carry_to_zero.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_ecc/bigint/mod.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_ecc/bigint/mod.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_ecc/bigint/mul_no_carry.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_ecc/bigint/mul_no_carry.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_ecc/bigint/negative.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_ecc/bigint/negative.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_ecc/bigint/scalar_mul_and_add_no_carry.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_ecc/bigint/scalar_mul_and_add_no_carry.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_ecc/bigint/scalar_mul_no_carry.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_ecc/bigint/scalar_mul_no_carry.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_ecc/bigint/select.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_ecc/bigint/select.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_ecc/bigint/select_by_indicator.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_ecc/bigint/select_by_indicator.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_ecc/bigint/sub.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_ecc/bigint/sub.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_ecc/bigint/sub_no_carry.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_ecc/bigint/sub_no_carry.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_ecc/bn254/final_exp.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_ecc/bn254/final_exp.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_ecc/bn254/mod.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_ecc/bn254/mod.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_ecc/bn254/pairing.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_ecc/bn254/pairing.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_ecc/ecc/ecdsa.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_ecc/ecc/ecdsa.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_ecc/ecc/fixed_base.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_ecc/ecc/fixed_base.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_ecc/ecc/mod.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_ecc/ecc/mod.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_ecc/ecc/pippenger.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_ecc/ecc/pippenger.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_ecc/fields/fp.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_ecc/fields/fp.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_ecc/fields/fp12.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_ecc/fields/fp12.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_ecc/fields/fp2.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_ecc/fields/fp2.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_ecc/fields/mod.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_ecc/fields/mod.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_ecc/fields/vector.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_ecc/fields/vector.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_ecc/lib.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_ecc/lib.rs.html -------------------------------------------------------------------------------- /docs/src/halo2_ecc/secp256k1/mod.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/halo2_ecc/secp256k1/mod.rs.html -------------------------------------------------------------------------------- /docs/src/poseidon/lib.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/poseidon/lib.rs.html -------------------------------------------------------------------------------- /docs/src/zkevm_keccak/keccak_packed_multi.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/zkevm_keccak/keccak_packed_multi.rs.html -------------------------------------------------------------------------------- /docs/src/zkevm_keccak/lib.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/zkevm_keccak/lib.rs.html -------------------------------------------------------------------------------- /docs/src/zkevm_keccak/util.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/zkevm_keccak/util.rs.html -------------------------------------------------------------------------------- /docs/src/zkevm_keccak/util/constraint_builder.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/zkevm_keccak/util/constraint_builder.rs.html -------------------------------------------------------------------------------- /docs/src/zkevm_keccak/util/eth_types.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/zkevm_keccak/util/eth_types.rs.html -------------------------------------------------------------------------------- /docs/src/zkevm_keccak/util/expression.rs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/src/zkevm_keccak/util/expression.rs.html -------------------------------------------------------------------------------- /docs/storage.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/storage.js -------------------------------------------------------------------------------- /docs/toggle-minus.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/toggle-minus.svg -------------------------------------------------------------------------------- /docs/toggle-plus.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/toggle-plus.svg -------------------------------------------------------------------------------- /docs/wheel.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/wheel.svg -------------------------------------------------------------------------------- /docs/zkevm_keccak/all.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/all.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/index.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/keccak_packed_multi/fn.assign_advice_custom.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/keccak_packed_multi/fn.assign_advice_custom.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/keccak_packed_multi/fn.assign_fixed_custom.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/keccak_packed_multi/fn.assign_fixed_custom.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/keccak_packed_multi/fn.get_keccak_capacity.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/keccak_packed_multi/fn.get_keccak_capacity.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/keccak_packed_multi/fn.get_num_keccak_f.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/keccak_packed_multi/fn.get_num_keccak_f.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/keccak_packed_multi/fn.get_num_rows_per_round.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/keccak_packed_multi/fn.get_num_rows_per_round.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/keccak_packed_multi/fn.keccak_phase0.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/keccak_packed_multi/fn.keccak_phase0.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/keccak_packed_multi/fn.keccak_phase1.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/keccak_packed_multi/fn.keccak_phase1.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/keccak_packed_multi/fn.multi_keccak_phase0.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/keccak_packed_multi/fn.multi_keccak_phase0.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/keccak_packed_multi/fn.multi_keccak_phase1.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/keccak_packed_multi/fn.multi_keccak_phase1.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/keccak_packed_multi/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/keccak_packed_multi/index.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/keccak_packed_multi/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/keccak_packed_multi/sidebar-items.js -------------------------------------------------------------------------------- /docs/zkevm_keccak/keccak_packed_multi/struct.KeccakCircuitConfig.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/keccak_packed_multi/struct.KeccakCircuitConfig.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/keccak_packed_multi/struct.KeccakRow.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/keccak_packed_multi/struct.KeccakRow.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/keccak_packed_multi/struct.KeccakTable.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/keccak_packed_multi/struct.KeccakTable.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/macro.address!.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/macro.address!.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/macro.address.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/macro.address.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/macro.impl_expr!.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/macro.impl_expr!.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/macro.impl_expr.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/macro.impl_expr.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/macro.word!.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/macro.word!.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/macro.word.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/macro.word.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/macro.word_map!.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/macro.word_map!.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/macro.word_map.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/macro.word_map.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/sidebar-items.js -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/constant.ABSORB_WIDTH_PER_ROW.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/constant.ABSORB_WIDTH_PER_ROW.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/constant.ABSORB_WIDTH_PER_ROW_BYTES.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/constant.ABSORB_WIDTH_PER_ROW_BYTES.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/constant.BIT_COUNT.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/constant.BIT_COUNT.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/constant.BIT_SIZE.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/constant.BIT_SIZE.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/constant.KECCAK_WIDTH.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/constant.KECCAK_WIDTH.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/constant.KECCAK_WIDTH_IN_BITS.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/constant.KECCAK_WIDTH_IN_BITS.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/constant.NUM_BITS_PER_BYTE.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/constant.NUM_BITS_PER_BYTE.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/constant.NUM_BITS_PER_WORD.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/constant.NUM_BITS_PER_WORD.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/constant.NUM_BYTES_PER_WORD.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/constant.NUM_BYTES_PER_WORD.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/constant.NUM_BYTES_TO_ABSORB.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/constant.NUM_BYTES_TO_ABSORB.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/constant.NUM_BYTES_TO_SQUEEZE.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/constant.NUM_BYTES_TO_SQUEEZE.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/constant.NUM_ROUNDS.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/constant.NUM_ROUNDS.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/constant.NUM_WORDS_TO_ABSORB.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/constant.NUM_WORDS_TO_ABSORB.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/constant.NUM_WORDS_TO_SQUEEZE.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/constant.NUM_WORDS_TO_SQUEEZE.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/constant.RATE.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/constant.RATE.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/constant.RATE_IN_BITS.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/constant.RATE_IN_BITS.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/constraint_builder/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/constraint_builder/index.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/constraint_builder/sidebar-items.js: -------------------------------------------------------------------------------- 1 | window.SIDEBAR_ITEMS = {"struct":[["BaseConstraintBuilder",""]]}; -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/constraint_builder/struct.BaseConstraintBuilder.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/constraint_builder/struct.BaseConstraintBuilder.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/eth_types/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/eth_types/index.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/eth_types/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/eth_types/sidebar-items.js -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/eth_types/struct.AccessList.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/eth_types/struct.AccessList.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/eth_types/struct.Block.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/eth_types/struct.Block.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/eth_types/struct.Bytes.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/eth_types/struct.Bytes.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/eth_types/struct.H160.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/eth_types/struct.H160.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/eth_types/struct.H256.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/eth_types/struct.H256.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/eth_types/struct.H64.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/eth_types/struct.H64.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/eth_types/struct.Signature.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/eth_types/struct.Signature.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/eth_types/struct.Transaction.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/eth_types/struct.Transaction.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/eth_types/struct.U256.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/eth_types/struct.U256.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/eth_types/struct.U64.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/eth_types/struct.U64.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/eth_types/trait.Field.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/eth_types/trait.Field.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/eth_types/trait.ToAddress.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/eth_types/trait.ToAddress.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/eth_types/trait.ToBigEndian.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/eth_types/trait.ToBigEndian.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/eth_types/trait.ToLittleEndian.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/eth_types/trait.ToLittleEndian.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/eth_types/trait.ToScalar.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/eth_types/trait.ToScalar.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/eth_types/trait.ToWord.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/eth_types/trait.ToWord.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/eth_types/type.Address.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/eth_types/type.Address.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/eth_types/type.Hash.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/eth_types/type.Hash.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/eth_types/type.Word.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/eth_types/type.Word.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/expression/and/fn.expr.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/expression/and/fn.expr.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/expression/and/fn.value.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/expression/and/fn.value.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/expression/and/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/expression/and/index.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/expression/and/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/expression/and/sidebar-items.js -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/expression/fn.expr_from_bytes.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/expression/fn.expr_from_bytes.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/expression/fn.pow_of_two.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/expression/fn.pow_of_two.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/expression/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/expression/index.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/expression/not/fn.expr.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/expression/not/fn.expr.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/expression/not/fn.value.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/expression/not/fn.value.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/expression/not/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/expression/not/index.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/expression/not/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/expression/not/sidebar-items.js -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/expression/or/fn.expr.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/expression/or/fn.expr.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/expression/or/fn.value.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/expression/or/fn.value.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/expression/or/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/expression/or/index.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/expression/or/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/expression/or/sidebar-items.js -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/expression/select/fn.expr.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/expression/select/fn.expr.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/expression/select/fn.value.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/expression/select/fn.value.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/expression/select/fn.value_word.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/expression/select/fn.value_word.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/expression/select/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/expression/select/index.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/expression/select/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/expression/select/sidebar-items.js -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/expression/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/expression/sidebar-items.js -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/expression/sum/fn.expr.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/expression/sum/fn.expr.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/expression/sum/fn.value.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/expression/sum/fn.value.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/expression/sum/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/expression/sum/index.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/expression/sum/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/expression/sum/sidebar-items.js -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/expression/trait.Expr.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/expression/trait.Expr.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/expression/xor/fn.expr.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/expression/xor/fn.expr.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/expression/xor/fn.value.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/expression/xor/fn.value.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/expression/xor/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/expression/xor/index.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/expression/xor/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/expression/xor/sidebar-items.js -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/fn.field_xor.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/fn.field_xor.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/fn.get_absorb_positions.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/fn.get_absorb_positions.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/fn.get_degree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/fn.get_degree.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/fn.get_num_bits_per_lookup.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/fn.get_num_bits_per_lookup.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/fn.get_rotate_count.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/fn.get_rotate_count.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/fn.into_bits.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/fn.into_bits.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/fn.pack.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/fn.pack.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/fn.pack_part.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/fn.pack_part.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/fn.pack_u64.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/fn.pack_u64.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/fn.pack_with_base.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/fn.pack_with_base.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/fn.rotate.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/fn.rotate.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/fn.rotate_left.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/fn.rotate_left.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/fn.rotate_rev.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/fn.rotate_rev.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/fn.target_part_sizes.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/fn.target_part_sizes.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/fn.unpack.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/fn.unpack.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/index.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/scatter/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/scatter/index.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/scatter/sidebar-items.js: -------------------------------------------------------------------------------- 1 | window.SIDEBAR_ITEMS = {}; -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/sidebar-items.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/sidebar-items.js -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/struct.PartInfo.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/struct.PartInfo.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/struct.WordParts.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/struct.WordParts.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/to_bytes/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/docs/zkevm_keccak/util/to_bytes/index.html -------------------------------------------------------------------------------- /docs/zkevm_keccak/util/to_bytes/sidebar-items.js: -------------------------------------------------------------------------------- 1 | window.SIDEBAR_ITEMS = {}; -------------------------------------------------------------------------------- /halo2-base/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/Cargo.toml -------------------------------------------------------------------------------- /halo2-base/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/README.md -------------------------------------------------------------------------------- /halo2-base/benches/inner_product.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/benches/inner_product.rs -------------------------------------------------------------------------------- /halo2-base/benches/mul.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/benches/mul.rs -------------------------------------------------------------------------------- /halo2-base/examples/inner_product.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/examples/inner_product.rs -------------------------------------------------------------------------------- /halo2-base/proptest-regressions/gates/tests/prop_test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/proptest-regressions/gates/tests/prop_test.txt -------------------------------------------------------------------------------- /halo2-base/src/gates/circuit/builder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/gates/circuit/builder.rs -------------------------------------------------------------------------------- /halo2-base/src/gates/circuit/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/gates/circuit/mod.rs -------------------------------------------------------------------------------- /halo2-base/src/gates/flex_gate/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/gates/flex_gate/mod.rs -------------------------------------------------------------------------------- /halo2-base/src/gates/flex_gate/threads/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/gates/flex_gate/threads/mod.rs -------------------------------------------------------------------------------- /halo2-base/src/gates/flex_gate/threads/multi_phase.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/gates/flex_gate/threads/multi_phase.rs -------------------------------------------------------------------------------- /halo2-base/src/gates/flex_gate/threads/parallelize.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/gates/flex_gate/threads/parallelize.rs -------------------------------------------------------------------------------- /halo2-base/src/gates/flex_gate/threads/single_phase.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/gates/flex_gate/threads/single_phase.rs -------------------------------------------------------------------------------- /halo2-base/src/gates/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/gates/mod.rs -------------------------------------------------------------------------------- /halo2-base/src/gates/range/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/gates/range/mod.rs -------------------------------------------------------------------------------- /halo2-base/src/gates/tests/bitwise_rotate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/gates/tests/bitwise_rotate.rs -------------------------------------------------------------------------------- /halo2-base/src/gates/tests/flex_gate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/gates/tests/flex_gate.rs -------------------------------------------------------------------------------- /halo2-base/src/gates/tests/general.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/gates/tests/general.rs -------------------------------------------------------------------------------- /halo2-base/src/gates/tests/idx_to_indicator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/gates/tests/idx_to_indicator.rs -------------------------------------------------------------------------------- /halo2-base/src/gates/tests/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/gates/tests/mod.rs -------------------------------------------------------------------------------- /halo2-base/src/gates/tests/neg_prop.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/gates/tests/neg_prop.rs -------------------------------------------------------------------------------- /halo2-base/src/gates/tests/pos_prop.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/gates/tests/pos_prop.rs -------------------------------------------------------------------------------- /halo2-base/src/gates/tests/range.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/gates/tests/range.rs -------------------------------------------------------------------------------- /halo2-base/src/gates/tests/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/gates/tests/utils.rs -------------------------------------------------------------------------------- /halo2-base/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/lib.rs -------------------------------------------------------------------------------- /halo2-base/src/poseidon/hasher/mds.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/poseidon/hasher/mds.rs -------------------------------------------------------------------------------- /halo2-base/src/poseidon/hasher/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/poseidon/hasher/mod.rs -------------------------------------------------------------------------------- /halo2-base/src/poseidon/hasher/spec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/poseidon/hasher/spec.rs -------------------------------------------------------------------------------- /halo2-base/src/poseidon/hasher/state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/poseidon/hasher/state.rs -------------------------------------------------------------------------------- /halo2-base/src/poseidon/hasher/tests/compatibility.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/poseidon/hasher/tests/compatibility.rs -------------------------------------------------------------------------------- /halo2-base/src/poseidon/hasher/tests/hasher.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/poseidon/hasher/tests/hasher.rs -------------------------------------------------------------------------------- /halo2-base/src/poseidon/hasher/tests/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/poseidon/hasher/tests/mod.rs -------------------------------------------------------------------------------- /halo2-base/src/poseidon/hasher/tests/state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/poseidon/hasher/tests/state.rs -------------------------------------------------------------------------------- /halo2-base/src/poseidon/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/poseidon/mod.rs -------------------------------------------------------------------------------- /halo2-base/src/safe_types/bytes.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/safe_types/bytes.rs -------------------------------------------------------------------------------- /halo2-base/src/safe_types/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/safe_types/mod.rs -------------------------------------------------------------------------------- /halo2-base/src/safe_types/primitives.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/safe_types/primitives.rs -------------------------------------------------------------------------------- /halo2-base/src/safe_types/tests/bytes.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/safe_types/tests/bytes.rs -------------------------------------------------------------------------------- /halo2-base/src/safe_types/tests/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/safe_types/tests/mod.rs -------------------------------------------------------------------------------- /halo2-base/src/safe_types/tests/safe_type.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/safe_types/tests/safe_type.rs -------------------------------------------------------------------------------- /halo2-base/src/utils/halo2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/utils/halo2.rs -------------------------------------------------------------------------------- /halo2-base/src/utils/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/utils/mod.rs -------------------------------------------------------------------------------- /halo2-base/src/utils/testing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/utils/testing.rs -------------------------------------------------------------------------------- /halo2-base/src/virtual_region/copy_constraints.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/virtual_region/copy_constraints.rs -------------------------------------------------------------------------------- /halo2-base/src/virtual_region/lookups.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/virtual_region/lookups.rs -------------------------------------------------------------------------------- /halo2-base/src/virtual_region/lookups/basic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/virtual_region/lookups/basic.rs -------------------------------------------------------------------------------- /halo2-base/src/virtual_region/manager.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/virtual_region/manager.rs -------------------------------------------------------------------------------- /halo2-base/src/virtual_region/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/virtual_region/mod.rs -------------------------------------------------------------------------------- /halo2-base/src/virtual_region/tests/lookups/memory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-base/src/virtual_region/tests/lookups/memory.rs -------------------------------------------------------------------------------- /halo2-base/src/virtual_region/tests/lookups/mod.rs: -------------------------------------------------------------------------------- 1 | mod memory; 2 | -------------------------------------------------------------------------------- /halo2-base/src/virtual_region/tests/mod.rs: -------------------------------------------------------------------------------- 1 | mod lookups; 2 | -------------------------------------------------------------------------------- /halo2-ecc/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/Cargo.toml -------------------------------------------------------------------------------- /halo2-ecc/benches/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/benches/README.md -------------------------------------------------------------------------------- /halo2-ecc/benches/fixed_base_msm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/benches/fixed_base_msm.rs -------------------------------------------------------------------------------- /halo2-ecc/benches/fp_mul.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/benches/fp_mul.rs -------------------------------------------------------------------------------- /halo2-ecc/benches/msm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/benches/msm.rs -------------------------------------------------------------------------------- /halo2-ecc/configs/bn254/bench_bls_signature.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/configs/bn254/bench_bls_signature.config -------------------------------------------------------------------------------- /halo2-ecc/configs/bn254/bench_ec_add.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/configs/bn254/bench_ec_add.config -------------------------------------------------------------------------------- /halo2-ecc/configs/bn254/bench_fixed_msm.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/configs/bn254/bench_fixed_msm.config -------------------------------------------------------------------------------- /halo2-ecc/configs/bn254/bench_fixed_msm.t.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/configs/bn254/bench_fixed_msm.t.config -------------------------------------------------------------------------------- /halo2-ecc/configs/bn254/bench_msm.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/configs/bn254/bench_msm.config -------------------------------------------------------------------------------- /halo2-ecc/configs/bn254/bench_msm.t.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/configs/bn254/bench_msm.t.config -------------------------------------------------------------------------------- /halo2-ecc/configs/bn254/bench_pairing.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/configs/bn254/bench_pairing.config -------------------------------------------------------------------------------- /halo2-ecc/configs/bn254/bench_pairing.t.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/configs/bn254/bench_pairing.t.config -------------------------------------------------------------------------------- /halo2-ecc/configs/bn254/bls_signature_circuit.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/configs/bn254/bls_signature_circuit.config -------------------------------------------------------------------------------- /halo2-ecc/configs/bn254/ec_add_circuit.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/configs/bn254/ec_add_circuit.config -------------------------------------------------------------------------------- /halo2-ecc/configs/bn254/fixed_msm_circuit.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/configs/bn254/fixed_msm_circuit.config -------------------------------------------------------------------------------- /halo2-ecc/configs/bn254/msm_circuit.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/configs/bn254/msm_circuit.config -------------------------------------------------------------------------------- /halo2-ecc/configs/bn254/pairing_circuit.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/configs/bn254/pairing_circuit.config -------------------------------------------------------------------------------- /halo2-ecc/configs/secp256k1/bench_ecdsa.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/configs/secp256k1/bench_ecdsa.config -------------------------------------------------------------------------------- /halo2-ecc/configs/secp256k1/bench_ecdsa.t.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/configs/secp256k1/bench_ecdsa.t.config -------------------------------------------------------------------------------- /halo2-ecc/configs/secp256k1/bench_schnorr.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/configs/secp256k1/bench_schnorr.config -------------------------------------------------------------------------------- /halo2-ecc/configs/secp256k1/ecdsa_circuit.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/configs/secp256k1/ecdsa_circuit.config -------------------------------------------------------------------------------- /halo2-ecc/configs/secp256k1/scalar_multiplication.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/configs/secp256k1/scalar_multiplication.config -------------------------------------------------------------------------------- /halo2-ecc/configs/secp256k1/schnorr_circuit.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/configs/secp256k1/schnorr_circuit.config -------------------------------------------------------------------------------- /halo2-ecc/src/bigint/add_no_carry.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/bigint/add_no_carry.rs -------------------------------------------------------------------------------- /halo2-ecc/src/bigint/big_is_equal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/bigint/big_is_equal.rs -------------------------------------------------------------------------------- /halo2-ecc/src/bigint/big_is_even.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/bigint/big_is_even.rs -------------------------------------------------------------------------------- /halo2-ecc/src/bigint/big_is_zero.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/bigint/big_is_zero.rs -------------------------------------------------------------------------------- /halo2-ecc/src/bigint/big_less_than.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/bigint/big_less_than.rs -------------------------------------------------------------------------------- /halo2-ecc/src/bigint/carry_mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/bigint/carry_mod.rs -------------------------------------------------------------------------------- /halo2-ecc/src/bigint/check_carry_mod_to_zero.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/bigint/check_carry_mod_to_zero.rs -------------------------------------------------------------------------------- /halo2-ecc/src/bigint/check_carry_to_zero.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/bigint/check_carry_to_zero.rs -------------------------------------------------------------------------------- /halo2-ecc/src/bigint/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/bigint/mod.rs -------------------------------------------------------------------------------- /halo2-ecc/src/bigint/mul_no_carry.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/bigint/mul_no_carry.rs -------------------------------------------------------------------------------- /halo2-ecc/src/bigint/negative.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/bigint/negative.rs -------------------------------------------------------------------------------- /halo2-ecc/src/bigint/scalar_mul_and_add_no_carry.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/bigint/scalar_mul_and_add_no_carry.rs -------------------------------------------------------------------------------- /halo2-ecc/src/bigint/scalar_mul_no_carry.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/bigint/scalar_mul_no_carry.rs -------------------------------------------------------------------------------- /halo2-ecc/src/bigint/select.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/bigint/select.rs -------------------------------------------------------------------------------- /halo2-ecc/src/bigint/select_by_indicator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/bigint/select_by_indicator.rs -------------------------------------------------------------------------------- /halo2-ecc/src/bigint/sub.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/bigint/sub.rs -------------------------------------------------------------------------------- /halo2-ecc/src/bigint/sub_no_carry.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/bigint/sub_no_carry.rs -------------------------------------------------------------------------------- /halo2-ecc/src/bn254/bls_signature.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/bn254/bls_signature.rs -------------------------------------------------------------------------------- /halo2-ecc/src/bn254/final_exp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/bn254/final_exp.rs -------------------------------------------------------------------------------- /halo2-ecc/src/bn254/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/bn254/mod.rs -------------------------------------------------------------------------------- /halo2-ecc/src/bn254/pairing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/bn254/pairing.rs -------------------------------------------------------------------------------- /halo2-ecc/src/bn254/tests/bls_signature.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/bn254/tests/bls_signature.rs -------------------------------------------------------------------------------- /halo2-ecc/src/bn254/tests/ec_add.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/bn254/tests/ec_add.rs -------------------------------------------------------------------------------- /halo2-ecc/src/bn254/tests/fixed_base_msm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/bn254/tests/fixed_base_msm.rs -------------------------------------------------------------------------------- /halo2-ecc/src/bn254/tests/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/bn254/tests/mod.rs -------------------------------------------------------------------------------- /halo2-ecc/src/bn254/tests/msm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/bn254/tests/msm.rs -------------------------------------------------------------------------------- /halo2-ecc/src/bn254/tests/msm_sum_infinity.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/bn254/tests/msm_sum_infinity.rs -------------------------------------------------------------------------------- /halo2-ecc/src/bn254/tests/msm_sum_infinity_fixed_base.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/bn254/tests/msm_sum_infinity_fixed_base.rs -------------------------------------------------------------------------------- /halo2-ecc/src/bn254/tests/pairing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/bn254/tests/pairing.rs -------------------------------------------------------------------------------- /halo2-ecc/src/ecc/ecdsa.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/ecc/ecdsa.rs -------------------------------------------------------------------------------- /halo2-ecc/src/ecc/fixed_base.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/ecc/fixed_base.rs -------------------------------------------------------------------------------- /halo2-ecc/src/ecc/fixed_base_pippenger.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/ecc/fixed_base_pippenger.rs -------------------------------------------------------------------------------- /halo2-ecc/src/ecc/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/ecc/mod.rs -------------------------------------------------------------------------------- /halo2-ecc/src/ecc/pippenger.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/ecc/pippenger.rs -------------------------------------------------------------------------------- /halo2-ecc/src/ecc/schnorr_signature.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/ecc/schnorr_signature.rs -------------------------------------------------------------------------------- /halo2-ecc/src/ecc/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/ecc/tests.rs -------------------------------------------------------------------------------- /halo2-ecc/src/fields/fp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/fields/fp.rs -------------------------------------------------------------------------------- /halo2-ecc/src/fields/fp12.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/fields/fp12.rs -------------------------------------------------------------------------------- /halo2-ecc/src/fields/fp2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/fields/fp2.rs -------------------------------------------------------------------------------- /halo2-ecc/src/fields/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/fields/mod.rs -------------------------------------------------------------------------------- /halo2-ecc/src/fields/native_fp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/fields/native_fp.rs -------------------------------------------------------------------------------- /halo2-ecc/src/fields/tests/fp/assert_eq.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/fields/tests/fp/assert_eq.rs -------------------------------------------------------------------------------- /halo2-ecc/src/fields/tests/fp/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/fields/tests/fp/mod.rs -------------------------------------------------------------------------------- /halo2-ecc/src/fields/tests/fp12/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/fields/tests/fp12/mod.rs -------------------------------------------------------------------------------- /halo2-ecc/src/fields/tests/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/fields/tests/mod.rs -------------------------------------------------------------------------------- /halo2-ecc/src/fields/vector.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/fields/vector.rs -------------------------------------------------------------------------------- /halo2-ecc/src/grumpkin/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/grumpkin/mod.rs -------------------------------------------------------------------------------- /halo2-ecc/src/grumpkin/tests/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/grumpkin/tests/mod.rs -------------------------------------------------------------------------------- /halo2-ecc/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/lib.rs -------------------------------------------------------------------------------- /halo2-ecc/src/secp256k1/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/secp256k1/mod.rs -------------------------------------------------------------------------------- /halo2-ecc/src/secp256k1/tests/ecdsa.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/secp256k1/tests/ecdsa.rs -------------------------------------------------------------------------------- /halo2-ecc/src/secp256k1/tests/ecdsa_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/secp256k1/tests/ecdsa_tests.rs -------------------------------------------------------------------------------- /halo2-ecc/src/secp256k1/tests/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/secp256k1/tests/mod.rs -------------------------------------------------------------------------------- /halo2-ecc/src/secp256k1/tests/schnorr_signature.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/secp256k1/tests/schnorr_signature.rs -------------------------------------------------------------------------------- /halo2-ecc/src/secp256k1/tests/schnorr_signature_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/secp256k1/tests/schnorr_signature_tests.rs -------------------------------------------------------------------------------- /halo2-ecc/src/secp256k1/tests/sm_unsafe_scalars.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/halo2-ecc/src/secp256k1/tests/sm_unsafe_scalars.rs -------------------------------------------------------------------------------- /make_docs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/axiom-crypto/halo2-lib/HEAD/make_docs.sh -------------------------------------------------------------------------------- /rust-toolchain: -------------------------------------------------------------------------------- 1 | nightly-2024-02-08 2 | -------------------------------------------------------------------------------- /rustfmt.toml: -------------------------------------------------------------------------------- 1 | max_width = 100 2 | use_small_heuristics = "Max" --------------------------------------------------------------------------------