{ "name": "octez-mec", "version": "17.3", "files": [ "doc/octez-mec/Mec/Utils/LinearAlgebra/Make_VectorSpace/argument-1-Field/index.html", "doc/octez-mec/Mec/Utils/LinearAlgebra/Make_VectorSpace/index.html", "doc/octez-mec/Mec/Utils/LinearAlgebra/Make_Module/argument-1-Ring/index.html", "doc/octez-mec/Mec/Utils/LinearAlgebra/Make_Module/index.html", "doc/octez-mec/Mec/Utils/LinearAlgebra/module-type-VectorSpace_sig/index.html", "doc/octez-mec/Mec/Utils/LinearAlgebra/module-type-Module_sig/index.html", "doc/octez-mec/Mec/Utils/LinearAlgebra/module-type-Field_sig/index.html", "doc/octez-mec/Mec/Utils/LinearAlgebra/module-type-Ring_sig/index.html", "doc/octez-mec/Mec/Utils/LinearAlgebra/index.html", "doc/octez-mec/Mec/Utils/Iterator/Bit/index.html", "doc/octez-mec/Mec/Utils/Iterator/index.html", "doc/octez-mec/Mec/Utils/index.html", "doc/octez-mec/Mec/Digestif/Make_BLAKE2S/argument-1-D/index.html", "doc/octez-mec/Mec/Digestif/Make_BLAKE2S/index.html", "doc/octez-mec/Mec/Digestif/Make_BLAKE2B/argument-1-D/index.html", "doc/octez-mec/Mec/Digestif/Make_BLAKE2B/index.html", "doc/octez-mec/Mec/Digestif/BLAKE2S/index.html", "doc/octez-mec/Mec/Digestif/BLAKE2B/index.html", "doc/octez-mec/Mec/Digestif/module-type-S/index.html", "doc/octez-mec/Mec/Digestif/index.html", "doc/octez-mec/Mec/Protocol/Sapling/GroupHash/index.html", "doc/octez-mec/Mec/Protocol/Sapling/index.html", "doc/octez-mec/Mec/Protocol/index.html", "doc/octez-mec/Mec/Signature/RedJubjub/Make/argument-1-Param/index.html", "doc/octez-mec/Mec/Signature/RedJubjub/Make/index.html", "doc/octez-mec/Mec/Signature/RedJubjub/index.html", "doc/octez-mec/Mec/Signature/RedDSA/MakeRedDSA/argument-2-Param/index.html", "doc/octez-mec/Mec/Signature/RedDSA/MakeRedDSA/argument-1-Ec/Base/index.html", "doc/octez-mec/Mec/Signature/RedDSA/MakeRedDSA/argument-1-Ec/Scalar/index.html", "doc/octez-mec/Mec/Signature/RedDSA/MakeRedDSA/argument-1-Ec/index.html", "doc/octez-mec/Mec/Signature/RedDSA/MakeRedDSA/index.html", "doc/octez-mec/Mec/Signature/RedDSA/module-type-SIGNATURE_SCHEME/index.html", "doc/octez-mec/Mec/Signature/RedDSA/index.html", "doc/octez-mec/Mec/Signature/index.html", "doc/octez-mec/Mec/Permutation/HadesLinearOptimisation/Make/argument-2-Scalar/index.html", "doc/octez-mec/Mec/Permutation/HadesLinearOptimisation/Make/argument-1-Param/index.html", "doc/octez-mec/Mec/Permutation/HadesLinearOptimisation/Make/index.html", "doc/octez-mec/Mec/Permutation/HadesLinearOptimisation/module-type-PARAMETERS/index.html", "doc/octez-mec/Mec/Permutation/HadesLinearOptimisation/index.html", "doc/octez-mec/Mec/Permutation/Marvellous/Make/argument-2-Scalar/index.html", "doc/octez-mec/Mec/Permutation/Marvellous/Make/argument-1-Param/index.html", "doc/octez-mec/Mec/Permutation/Marvellous/Make/index.html", "doc/octez-mec/Mec/Permutation/Marvellous/module-type-PARAMETERS/index.html", "doc/octez-mec/Mec/Permutation/Marvellous/index.html", "doc/octez-mec/Mec/Permutation/Hades/Make/argument-2-Scalar/index.html", "doc/octez-mec/Mec/Permutation/Hades/Make/argument-1-Param/index.html", "doc/octez-mec/Mec/Permutation/Hades/Make/index.html", "doc/octez-mec/Mec/Permutation/Hades/module-type-PARAMETERS/index.html", "doc/octez-mec/Mec/Permutation/Hades/index.html", "doc/octez-mec/Mec/Permutation/index.html", "doc/octez-mec/Mec/Hash/Sinsemilla/Zcash/index.html", "doc/octez-mec/Mec/Hash/Sinsemilla/MakeSinsemilla/argument-1-Params/index.html", "doc/octez-mec/Mec/Hash/Sinsemilla/MakeSinsemilla/index.html", "doc/octez-mec/Mec/Hash/Sinsemilla/index.html", "doc/octez-mec/Mec/Hash/PedersenHash/Zcash/index.html", "doc/octez-mec/Mec/Hash/PedersenHash/MakePedersenHash/argument-2-Params/index.html", "doc/octez-mec/Mec/Hash/PedersenHash/MakePedersenHash/argument-1-Ec/Base/index.html", "doc/octez-mec/Mec/Hash/PedersenHash/MakePedersenHash/argument-1-Ec/Scalar/index.html", "doc/octez-mec/Mec/Hash/PedersenHash/MakePedersenHash/argument-1-Ec/index.html", "doc/octez-mec/Mec/Hash/PedersenHash/MakePedersenHash/index.html", "doc/octez-mec/Mec/Hash/PedersenHash/index.html", "doc/octez-mec/Mec/Hash/Neptunus/Make/Hash/index.html", "doc/octez-mec/Mec/Hash/Neptunus/Make/Strategy/index.html", "doc/octez-mec/Mec/Hash/Neptunus/Make/argument-1-Scalar/index.html", "doc/octez-mec/Mec/Hash/Neptunus/Make/index.html", "doc/octez-mec/Mec/Hash/Neptunus/Constant/index.html", "doc/octez-mec/Mec/Hash/Neptunus/index.html", "doc/octez-mec/Mec/Hash/Orchard/Make/Hash/index.html", "doc/octez-mec/Mec/Hash/Orchard/Make/Strategy/index.html", "doc/octez-mec/Mec/Hash/Orchard/Make/argument-1-Scalar/index.html", "doc/octez-mec/Mec/Hash/Orchard/Make/index.html", "doc/octez-mec/Mec/Hash/Orchard/Constant/index.html", "doc/octez-mec/Mec/Hash/Orchard/index.html", "doc/octez-mec/Mec/Hash/Poseidon128/Make/Hash/index.html", "doc/octez-mec/Mec/Hash/Poseidon128/Make/Strategy/index.html", "doc/octez-mec/Mec/Hash/Poseidon128/Make/argument-1-Scalar/index.html", "doc/octez-mec/Mec/Hash/Poseidon128/Make/index.html", "doc/octez-mec/Mec/Hash/Poseidon128/Constant/index.html", "doc/octez-mec/Mec/Hash/Poseidon128/index.html", "doc/octez-mec/Mec/Hash/Poseidon252/Make/Hash/index.html", "doc/octez-mec/Mec/Hash/Poseidon252/Make/Strategy/index.html", "doc/octez-mec/Mec/Hash/Poseidon252/Make/argument-1-Scalar/index.html", "doc/octez-mec/Mec/Hash/Poseidon252/Make/index.html", "doc/octez-mec/Mec/Hash/Poseidon252/Constant/index.html", "doc/octez-mec/Mec/Hash/Poseidon252/index.html", "doc/octez-mec/Mec/Hash/index.html", "doc/octez-mec/Mec/CurveSig/module-type-PAIRING/GT/index.html", "doc/octez-mec/Mec/CurveSig/module-type-PAIRING/G2/Base/index.html", "doc/octez-mec/Mec/CurveSig/module-type-PAIRING/G2/Scalar/index.html", "doc/octez-mec/Mec/CurveSig/module-type-PAIRING/G2/index.html", "doc/octez-mec/Mec/CurveSig/module-type-PAIRING/G1/Base/index.html", "doc/octez-mec/Mec/CurveSig/module-type-PAIRING/G1/Scalar/index.html", "doc/octez-mec/Mec/CurveSig/module-type-PAIRING/G1/index.html", "doc/octez-mec/Mec/CurveSig/module-type-PAIRING/index.html", "doc/octez-mec/Mec/CurveSig/module-type-AffineEdwardsT/Base/index.html", "doc/octez-mec/Mec/CurveSig/module-type-AffineEdwardsT/Scalar/index.html", "doc/octez-mec/Mec/CurveSig/module-type-AffineEdwardsT/index.html", "doc/octez-mec/Mec/CurveSig/module-type-AffineMontgomeryT/Base/index.html", "doc/octez-mec/Mec/CurveSig/module-type-AffineMontgomeryT/Scalar/index.html", "doc/octez-mec/Mec/CurveSig/module-type-AffineMontgomeryT/index.html", "doc/octez-mec/Mec/CurveSig/module-type-MontgomeryT/Base/index.html", "doc/octez-mec/Mec/CurveSig/module-type-MontgomeryT/Scalar/index.html", "doc/octez-mec/Mec/CurveSig/module-type-MontgomeryT/index.html", "doc/octez-mec/Mec/CurveSig/module-type-JacobianWeierstrassT/Base/index.html", "doc/octez-mec/Mec/CurveSig/module-type-JacobianWeierstrassT/Scalar/index.html", "doc/octez-mec/Mec/CurveSig/module-type-JacobianWeierstrassT/index.html", "doc/octez-mec/Mec/CurveSig/module-type-ProjectiveWeierstrassT/Base/index.html", "doc/octez-mec/Mec/CurveSig/module-type-ProjectiveWeierstrassT/Scalar/index.html", "doc/octez-mec/Mec/CurveSig/module-type-ProjectiveWeierstrassT/index.html", "doc/octez-mec/Mec/CurveSig/module-type-AffineWeierstrassT/Base/index.html", "doc/octez-mec/Mec/CurveSig/module-type-AffineWeierstrassT/Scalar/index.html", "doc/octez-mec/Mec/CurveSig/module-type-AffineWeierstrassT/index.html", "doc/octez-mec/Mec/CurveSig/module-type-WeierstrassT/Base/index.html", "doc/octez-mec/Mec/CurveSig/module-type-WeierstrassT/Scalar/index.html", "doc/octez-mec/Mec/CurveSig/module-type-WeierstrassT/index.html", "doc/octez-mec/Mec/CurveSig/module-type-BASE/Base/index.html", "doc/octez-mec/Mec/CurveSig/module-type-BASE/Scalar/index.html", "doc/octez-mec/Mec/CurveSig/module-type-BASE/index.html", "doc/octez-mec/Mec/CurveSig/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineEdwardsToAffineMontgomery/argument-1-E/Base/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineEdwardsToAffineMontgomery/argument-1-E/Scalar/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineEdwardsToAffineMontgomery/argument-1-E/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineEdwardsToAffineMontgomery/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineEdwards/Base/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineEdwards/Scalar/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineEdwards/argument-3-Params/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineEdwards/argument-2-Scalar/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineEdwards/argument-1-Base/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineEdwards/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineMontgomery/Base/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineMontgomery/Scalar/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineMontgomery/argument-3-Params/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineMontgomery/argument-2-Fp/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineMontgomery/argument-1-Fq/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineMontgomery/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeProjectiveWeierstrass/Base/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeProjectiveWeierstrass/Scalar/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeProjectiveWeierstrass/argument-3-Params/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeProjectiveWeierstrass/argument-2-Fp/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeProjectiveWeierstrass/argument-1-Fq/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeProjectiveWeierstrass/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineWeierstrass/Base/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineWeierstrass/Scalar/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineWeierstrass/argument-3-Params/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineWeierstrass/argument-2-Fp/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineWeierstrass/argument-1-Fq/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineWeierstrass/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeJacobianWeierstrass/Base/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeJacobianWeierstrass/Scalar/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeJacobianWeierstrass/argument-3-Params/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeJacobianWeierstrass/argument-2-Fp/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeJacobianWeierstrass/argument-1-Fq/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/MakeJacobianWeierstrass/index.html", "doc/octez-mec/Mec/Curve/Utils/Functor/index.html", "doc/octez-mec/Mec/Curve/Utils/PBT/MakeCompressedSerialisationAffine/argument-1-G/Base/index.html", "doc/octez-mec/Mec/Curve/Utils/PBT/MakeCompressedSerialisationAffine/argument-1-G/Scalar/index.html", "doc/octez-mec/Mec/Curve/Utils/PBT/MakeCompressedSerialisationAffine/argument-1-G/index.html", "doc/octez-mec/Mec/Curve/Utils/PBT/MakeCompressedSerialisationAffine/index.html", "doc/octez-mec/Mec/Curve/Utils/PBT/MakeSerialisationProperties/argument-1-G/Base/index.html", "doc/octez-mec/Mec/Curve/Utils/PBT/MakeSerialisationProperties/argument-1-G/Scalar/index.html", "doc/octez-mec/Mec/Curve/Utils/PBT/MakeSerialisationProperties/argument-1-G/index.html", "doc/octez-mec/Mec/Curve/Utils/PBT/MakeSerialisationProperties/index.html", "doc/octez-mec/Mec/Curve/Utils/PBT/MakeEdwardsCurveProperties/argument-1-G/Base/index.html", "doc/octez-mec/Mec/Curve/Utils/PBT/MakeEdwardsCurveProperties/argument-1-G/Scalar/index.html", "doc/octez-mec/Mec/Curve/Utils/PBT/MakeEdwardsCurveProperties/argument-1-G/index.html", "doc/octez-mec/Mec/Curve/Utils/PBT/MakeEdwardsCurveProperties/index.html", "doc/octez-mec/Mec/Curve/Utils/PBT/MakeECProperties/argument-1-G/Base/index.html", "doc/octez-mec/Mec/Curve/Utils/PBT/MakeECProperties/argument-1-G/Scalar/index.html", "doc/octez-mec/Mec/Curve/Utils/PBT/MakeECProperties/argument-1-G/index.html", "doc/octez-mec/Mec/Curve/Utils/PBT/MakeECProperties/index.html", "doc/octez-mec/Mec/Curve/Utils/PBT/MakeIsZero/argument-1-G/Base/index.html", "doc/octez-mec/Mec/Curve/Utils/PBT/MakeIsZero/argument-1-G/Scalar/index.html", "doc/octez-mec/Mec/Curve/Utils/PBT/MakeIsZero/argument-1-G/index.html", "doc/octez-mec/Mec/Curve/Utils/PBT/MakeIsZero/index.html", "doc/octez-mec/Mec/Curve/Utils/PBT/MakeValueGeneration/argument-1-G/Base/index.html", "doc/octez-mec/Mec/Curve/Utils/PBT/MakeValueGeneration/argument-1-G/Scalar/index.html", "doc/octez-mec/Mec/Curve/Utils/PBT/MakeValueGeneration/argument-1-G/index.html", "doc/octez-mec/Mec/Curve/Utils/PBT/MakeValueGeneration/index.html", "doc/octez-mec/Mec/Curve/Utils/PBT/MakeEquality/argument-1-G/Base/index.html", "doc/octez-mec/Mec/Curve/Utils/PBT/MakeEquality/argument-1-G/Scalar/index.html", "doc/octez-mec/Mec/Curve/Utils/PBT/MakeEquality/argument-1-G/index.html", "doc/octez-mec/Mec/Curve/Utils/PBT/MakeEquality/index.html", "doc/octez-mec/Mec/Curve/Utils/PBT/index.html", "doc/octez-mec/Mec/Curve/Utils/index.html", "doc/octez-mec/Mec/Curve/Vesta/Jacobian/Base/index.html", "doc/octez-mec/Mec/Curve/Vesta/Jacobian/Scalar/index.html", "doc/octez-mec/Mec/Curve/Vesta/Jacobian/index.html", "doc/octez-mec/Mec/Curve/Vesta/Affine/Base/index.html", "doc/octez-mec/Mec/Curve/Vesta/Affine/Scalar/index.html", "doc/octez-mec/Mec/Curve/Vesta/Affine/index.html", "doc/octez-mec/Mec/Curve/Vesta/Projective/Base/index.html", "doc/octez-mec/Mec/Curve/Vesta/Projective/Scalar/index.html", "doc/octez-mec/Mec/Curve/Vesta/Projective/index.html", "doc/octez-mec/Mec/Curve/Vesta/index.html", "doc/octez-mec/Mec/Curve/Tweedledum/Jacobian/Base/index.html", "doc/octez-mec/Mec/Curve/Tweedledum/Jacobian/Scalar/index.html", "doc/octez-mec/Mec/Curve/Tweedledum/Jacobian/index.html", "doc/octez-mec/Mec/Curve/Tweedledum/Affine/Base/index.html", "doc/octez-mec/Mec/Curve/Tweedledum/Affine/Scalar/index.html", "doc/octez-mec/Mec/Curve/Tweedledum/Affine/index.html", "doc/octez-mec/Mec/Curve/Tweedledum/Projective/Base/index.html", "doc/octez-mec/Mec/Curve/Tweedledum/Projective/Scalar/index.html", "doc/octez-mec/Mec/Curve/Tweedledum/Projective/index.html", "doc/octez-mec/Mec/Curve/Tweedledum/index.html", "doc/octez-mec/Mec/Curve/Tweedledee/Jacobian/Base/index.html", "doc/octez-mec/Mec/Curve/Tweedledee/Jacobian/Scalar/index.html", "doc/octez-mec/Mec/Curve/Tweedledee/Jacobian/index.html", "doc/octez-mec/Mec/Curve/Tweedledee/Affine/Base/index.html", "doc/octez-mec/Mec/Curve/Tweedledee/Affine/Scalar/index.html", "doc/octez-mec/Mec/Curve/Tweedledee/Affine/index.html", "doc/octez-mec/Mec/Curve/Tweedledee/Projective/Base/index.html", "doc/octez-mec/Mec/Curve/Tweedledee/Projective/Scalar/index.html", "doc/octez-mec/Mec/Curve/Tweedledee/Projective/index.html", "doc/octez-mec/Mec/Curve/Tweedledee/index.html", "doc/octez-mec/Mec/Curve/Secp256r1/Affine/Base/index.html", "doc/octez-mec/Mec/Curve/Secp256r1/Affine/Scalar/index.html", "doc/octez-mec/Mec/Curve/Secp256r1/Affine/index.html", "doc/octez-mec/Mec/Curve/Secp256r1/Jacobian/Base/index.html", "doc/octez-mec/Mec/Curve/Secp256r1/Jacobian/Scalar/index.html", "doc/octez-mec/Mec/Curve/Secp256r1/Jacobian/index.html", "doc/octez-mec/Mec/Curve/Secp256r1/Projective/Base/index.html", "doc/octez-mec/Mec/Curve/Secp256r1/Projective/Scalar/index.html", "doc/octez-mec/Mec/Curve/Secp256r1/Projective/index.html", "doc/octez-mec/Mec/Curve/Secp256r1/index.html", "doc/octez-mec/Mec/Curve/Secp256k1/Jacobian/Base/index.html", "doc/octez-mec/Mec/Curve/Secp256k1/Jacobian/Scalar/index.html", "doc/octez-mec/Mec/Curve/Secp256k1/Jacobian/index.html", "doc/octez-mec/Mec/Curve/Secp256k1/Affine/Base/index.html", "doc/octez-mec/Mec/Curve/Secp256k1/Affine/Scalar/index.html", "doc/octez-mec/Mec/Curve/Secp256k1/Affine/index.html", "doc/octez-mec/Mec/Curve/Secp256k1/Projective/Base/index.html", "doc/octez-mec/Mec/Curve/Secp256k1/Projective/Scalar/index.html", "doc/octez-mec/Mec/Curve/Secp256k1/Projective/index.html", "doc/octez-mec/Mec/Curve/Secp256k1/index.html", "doc/octez-mec/Mec/Curve/Pallas/Iso/Affine/Base/index.html", "doc/octez-mec/Mec/Curve/Pallas/Iso/Affine/Scalar/index.html", "doc/octez-mec/Mec/Curve/Pallas/Iso/Affine/index.html", "doc/octez-mec/Mec/Curve/Pallas/Iso/index.html", "doc/octez-mec/Mec/Curve/Pallas/Jacobian/Base/index.html", "doc/octez-mec/Mec/Curve/Pallas/Jacobian/Scalar/index.html", "doc/octez-mec/Mec/Curve/Pallas/Jacobian/index.html", "doc/octez-mec/Mec/Curve/Pallas/Affine/Base/index.html", "doc/octez-mec/Mec/Curve/Pallas/Affine/Scalar/index.html", "doc/octez-mec/Mec/Curve/Pallas/Affine/index.html", "doc/octez-mec/Mec/Curve/Pallas/Projective/Base/index.html", "doc/octez-mec/Mec/Curve/Pallas/Projective/Scalar/index.html", "doc/octez-mec/Mec/Curve/Pallas/Projective/index.html", "doc/octez-mec/Mec/Curve/Pallas/index.html", "doc/octez-mec/Mec/Curve/Jubjub/AffineMontgomery/Base/index.html", "doc/octez-mec/Mec/Curve/Jubjub/AffineMontgomery/Scalar/index.html", "doc/octez-mec/Mec/Curve/Jubjub/AffineMontgomery/index.html", "doc/octez-mec/Mec/Curve/Jubjub/AffineWeierstrass/Base/index.html", "doc/octez-mec/Mec/Curve/Jubjub/AffineWeierstrass/Scalar/index.html", "doc/octez-mec/Mec/Curve/Jubjub/AffineWeierstrass/index.html", "doc/octez-mec/Mec/Curve/Jubjub/AffineEdwards/Base/index.html", "doc/octez-mec/Mec/Curve/Jubjub/AffineEdwards/Scalar/index.html", "doc/octez-mec/Mec/Curve/Jubjub/AffineEdwards/index.html", "doc/octez-mec/Mec/Curve/Jubjub/index.html", "doc/octez-mec/Mec/Curve/Curve448/Affine/Base/index.html", "doc/octez-mec/Mec/Curve/Curve448/Affine/Scalar/index.html", "doc/octez-mec/Mec/Curve/Curve448/Affine/index.html", "doc/octez-mec/Mec/Curve/Curve448/index.html", "doc/octez-mec/Mec/Curve/Curve25519/AffineMontgomery/Base/index.html", "doc/octez-mec/Mec/Curve/Curve25519/AffineMontgomery/Scalar/index.html", "doc/octez-mec/Mec/Curve/Curve25519/AffineMontgomery/index.html", "doc/octez-mec/Mec/Curve/Curve25519/AffineEdwards/Base/index.html", "doc/octez-mec/Mec/Curve/Curve25519/AffineEdwards/Scalar/index.html", "doc/octez-mec/Mec/Curve/Curve25519/AffineEdwards/index.html", "doc/octez-mec/Mec/Curve/Curve25519/index.html", "doc/octez-mec/Mec/Curve/BLS12_381/G1/Affine/Base/index.html", "doc/octez-mec/Mec/Curve/BLS12_381/G1/Affine/Scalar/index.html", "doc/octez-mec/Mec/Curve/BLS12_381/G1/Affine/index.html", "doc/octez-mec/Mec/Curve/BLS12_381/G1/Projective/Base/index.html", "doc/octez-mec/Mec/Curve/BLS12_381/G1/Projective/Scalar/index.html", "doc/octez-mec/Mec/Curve/BLS12_381/G1/Projective/index.html", "doc/octez-mec/Mec/Curve/BLS12_381/G1/index.html", "doc/octez-mec/Mec/Curve/BLS12_381/index.html", "doc/octez-mec/Mec/Curve/BN254/Jacobian/Base/index.html", "doc/octez-mec/Mec/Curve/BN254/Jacobian/Scalar/index.html", "doc/octez-mec/Mec/Curve/BN254/Jacobian/index.html", "doc/octez-mec/Mec/Curve/BN254/Affine/Base/index.html", "doc/octez-mec/Mec/Curve/BN254/Affine/Scalar/index.html", "doc/octez-mec/Mec/Curve/BN254/Affine/index.html", "doc/octez-mec/Mec/Curve/BN254/Projective/Base/index.html", "doc/octez-mec/Mec/Curve/BN254/Projective/Scalar/index.html", "doc/octez-mec/Mec/Curve/BN254/Projective/index.html", "doc/octez-mec/Mec/Curve/BN254/index.html", "doc/octez-mec/Mec/Curve/Bandersnatch/AffineMontgomery/Base/index.html", "doc/octez-mec/Mec/Curve/Bandersnatch/AffineMontgomery/Scalar/index.html", "doc/octez-mec/Mec/Curve/Bandersnatch/AffineMontgomery/index.html", "doc/octez-mec/Mec/Curve/Bandersnatch/AffineWeierstrass/Base/index.html", "doc/octez-mec/Mec/Curve/Bandersnatch/AffineWeierstrass/Scalar/index.html", "doc/octez-mec/Mec/Curve/Bandersnatch/AffineWeierstrass/index.html", "doc/octez-mec/Mec/Curve/Bandersnatch/AffineEdwards/Base/index.html", "doc/octez-mec/Mec/Curve/Bandersnatch/AffineEdwards/Scalar/index.html", "doc/octez-mec/Mec/Curve/Bandersnatch/AffineEdwards/index.html", "doc/octez-mec/Mec/Curve/Bandersnatch/index.html", "doc/octez-mec/Mec/Curve/BabyJubjubReduced/Affine/Base/index.html", "doc/octez-mec/Mec/Curve/BabyJubjubReduced/Affine/Scalar/index.html", "doc/octez-mec/Mec/Curve/BabyJubjubReduced/Affine/index.html", "doc/octez-mec/Mec/Curve/BabyJubjubReduced/index.html", "doc/octez-mec/Mec/Curve/BabyJubjub/Affine/Base/index.html", "doc/octez-mec/Mec/Curve/BabyJubjub/Affine/Scalar/index.html", "doc/octez-mec/Mec/Curve/BabyJubjub/Affine/index.html", "doc/octez-mec/Mec/Curve/BabyJubjub/index.html", "doc/octez-mec/Mec/Curve/index.html", "doc/octez-mec/Mec/Ff/MakeFp2/argument-2-Intf/index.html", "doc/octez-mec/Mec/Ff/MakeFp2/argument-1-Fp/index.html", "doc/octez-mec/Mec/Ff/MakeFp2/index.html", "doc/octez-mec/Mec/Ff/MakeFp/argument-1-S/index.html", "doc/octez-mec/Mec/Ff/MakeFp/index.html", "doc/octez-mec/Mec/Ff/index.html", "doc/octez-mec/Mec/index.html", "doc/octez-mec/index.html", "doc/src/octez-mec/mec.ml.html", "doc/src/octez-mec/ark_orchard.ml.html", "doc/src/octez-mec/ark_poseidon128.ml.html", "doc/src/octez-mec/mec__.ml.html", "doc/src/octez-mec/babyjubjub_reduced.ml.html", "doc/src/octez-mec/ark_neptunus.ml.html", "doc/src/octez-mec/bls12_381_ref.ml.html", "doc/src/octez-mec/bandersnatch.ml.html", "doc/src/octez-mec/babyjubjub.ml.html", "doc/src/octez-mec/ark_poseidon252.ml.html", "doc/src/octez-mec/digestif_eq.ml.html", "doc/src/octez-mec/baijiu_blake2s.ml.html", "doc/src/octez-mec/group_hash.ml.html", "doc/src/octez-mec/curve448.ml.html", "doc/src/octez-mec/baijiu_blake2b.ml.html", "doc/src/octez-mec/mec_curve_utils.ml.html", "doc/src/octez-mec/hades.ml.html", "doc/src/octez-mec/marvellous.ml.html", "doc/src/octez-mec/digestif_conv.ml.html", "doc/src/octez-mec/mds_poseidon252.ml.html", "doc/src/octez-mec/curve25519.ml.html", "doc/src/octez-mec/mds_poseidon128.ml.html", "doc/src/octez-mec/bn254.ml.html", "doc/src/octez-mec/iterator.ml.html", "doc/src/octez-mec/digestif_by.ml.html", "doc/src/octez-mec/mds_orchard.ml.html", "doc/src/octez-mec/ec_pbt.ml.html", "doc/src/octez-mec/ec_sig.ml.html", "doc/src/octez-mec/ff.ml.html", "doc/src/octez-mec/orchard.ml.html", "doc/src/octez-mec/neptunus.ml.html", "doc/src/octez-mec/pedersen_hash.ml.html", "doc/src/octez-mec/linear_algebra.ml.html", "doc/src/octez-mec/jubjub.ml.html", "doc/src/octez-mec/poseidon252.ml.html", "doc/src/octez-mec/secp256k1.ml.html", "doc/src/octez-mec/poseidon128.ml.html", "doc/src/octez-mec/pallas.ml.html", "doc/src/octez-mec/mec_digestif.ml.html", "doc/src/octez-mec/digestif_bi.ml.html", "doc/src/octez-mec/redjubjub.ml.html", "doc/src/octez-mec/hades_linear_optimisation.ml.html", "doc/src/octez-mec/reddsa.ml.html", "doc/src/octez-mec/tweedledum.ml.html", "doc/src/octez-mec/poseidon_core.ml.html", "doc/src/octez-mec/secp256r1.ml.html", "doc/src/octez-mec/tweedledee.ml.html", "doc/src/octez-mec/xor.ml.html", "doc/src/octez-mec/sinsemilla.ml.html", "doc/src/octez-mec/vesta.ml.html", "doc/src/octez-mec/ec.ml.html", "doc/src/octez-mec/sinsemilla_zcash_generators.ml.html", "doc/src/index.html", "doc/index.html", "doc/README.html" ], "failed": false, "redirections": [ { "old_path": "doc/Mec/Curve/Vesta/Projective/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Vesta/Projective/Base/index.html" }, { "old_path": "doc/Mec/Hash/PedersenHash/MakePedersenHash/argument-1-Ec/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Hash/PedersenHash/MakePedersenHash/argument-1-Ec/Scalar/index.html" }, { "old_path": "doc/Mec/Digestif/Make_BLAKE2B/argument-1-D/index.html", "new_path": "doc/octez-mec/Mec/Digestif/Make_BLAKE2B/argument-1-D/index.html" }, { "old_path": "doc/Mec/Curve/Bandersnatch/AffineMontgomery/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Bandersnatch/AffineMontgomery/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Secp256r1/Jacobian/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Secp256r1/Jacobian/Base/index.html" }, { "old_path": "doc/Mec/Curve/Utils/PBT/MakeValueGeneration/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/PBT/MakeValueGeneration/index.html" }, { "old_path": "doc/Mec/Curve/Pallas/Affine/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Pallas/Affine/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeAffineEdwardsToAffineMontgomery/argument-1-E/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineEdwardsToAffineMontgomery/argument-1-E/index.html" }, { "old_path": "doc/Mec/Hash/Orchard/Constant/index.html", "new_path": "doc/octez-mec/Mec/Hash/Orchard/Constant/index.html" }, { "old_path": "doc/Mec/Hash/Orchard/Make/argument-1-Scalar/index.html", "new_path": "doc/octez-mec/Mec/Hash/Orchard/Make/argument-1-Scalar/index.html" }, { "old_path": "doc/Mec/Hash/Poseidon252/Make/argument-1-Scalar/index.html", "new_path": "doc/octez-mec/Mec/Hash/Poseidon252/Make/argument-1-Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Utils/PBT/MakeValueGeneration/argument-1-G/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/PBT/MakeValueGeneration/argument-1-G/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Pallas/Projective/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Pallas/Projective/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Bandersnatch/AffineEdwards/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Bandersnatch/AffineEdwards/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/BN254/Jacobian/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/BN254/Jacobian/Base/index.html" }, { "old_path": "doc/Mec/Curve/Curve25519/AffineEdwards/index.html", "new_path": "doc/octez-mec/Mec/Curve/Curve25519/AffineEdwards/index.html" }, { "old_path": "doc/Mec/Curve/Secp256r1/Projective/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Secp256r1/Projective/Base/index.html" }, { "old_path": "doc/Mec/Signature/RedDSA/MakeRedDSA/argument-1-Ec/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Signature/RedDSA/MakeRedDSA/argument-1-Ec/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Tweedledum/Affine/index.html", "new_path": "doc/octez-mec/Mec/Curve/Tweedledum/Affine/index.html" }, { "old_path": "doc/Mec/Curve/Utils/PBT/MakeCompressedSerialisationAffine/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/PBT/MakeCompressedSerialisationAffine/index.html" }, { "old_path": "doc/Mec/Permutation/Marvellous/Make/argument-2-Scalar/index.html", "new_path": "doc/octez-mec/Mec/Permutation/Marvellous/Make/argument-2-Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeAffineEdwardsToAffineMontgomery/argument-1-E/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineEdwardsToAffineMontgomery/argument-1-E/Base/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-PAIRING/G2/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-PAIRING/G2/index.html" }, { "old_path": "doc/Mec/Signature/index.html", "new_path": "doc/octez-mec/Mec/Signature/index.html" }, { "old_path": "doc/Mec/Curve/Secp256k1/index.html", "new_path": "doc/octez-mec/Mec/Curve/Secp256k1/index.html" }, { "old_path": "doc/Mec/Curve/Utils/PBT/MakeECProperties/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/PBT/MakeECProperties/index.html" }, { "old_path": "doc/Mec/Hash/PedersenHash/MakePedersenHash/index.html", "new_path": "doc/octez-mec/Mec/Hash/PedersenHash/MakePedersenHash/index.html" }, { "old_path": "doc/Mec/Permutation/HadesLinearOptimisation/Make/argument-1-Param/index.html", "new_path": "doc/octez-mec/Mec/Permutation/HadesLinearOptimisation/Make/argument-1-Param/index.html" }, { "old_path": "doc/Mec/Permutation/Hades/Make/argument-2-Scalar/index.html", "new_path": "doc/octez-mec/Mec/Permutation/Hades/Make/argument-2-Scalar/index.html" }, { "old_path": "doc/Mec/Utils/LinearAlgebra/Make_VectorSpace/index.html", "new_path": "doc/octez-mec/Mec/Utils/LinearAlgebra/Make_VectorSpace/index.html" }, { "old_path": "doc/Mec/Curve/Tweedledum/Projective/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Tweedledum/Projective/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Utils/PBT/MakeEdwardsCurveProperties/argument-1-G/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/PBT/MakeEdwardsCurveProperties/argument-1-G/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Bandersnatch/AffineMontgomery/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Bandersnatch/AffineMontgomery/Base/index.html" }, { "old_path": "doc/Mec/Ff/MakeFp2/argument-1-Fp/index.html", "new_path": "doc/octez-mec/Mec/Ff/MakeFp2/argument-1-Fp/index.html" }, { "old_path": "doc/Mec/Utils/LinearAlgebra/module-type-VectorSpace_sig/index.html", "new_path": "doc/octez-mec/Mec/Utils/LinearAlgebra/module-type-VectorSpace_sig/index.html" }, { "old_path": "doc/Mec/Curve/BLS12_381/G1/Projective/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/BLS12_381/G1/Projective/Base/index.html" }, { "old_path": "doc/Mec/Curve/Tweedledum/Affine/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Tweedledum/Affine/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Utils/PBT/MakeEdwardsCurveProperties/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/PBT/MakeEdwardsCurveProperties/index.html" }, { "old_path": "doc/Mec/Ff/index.html", "new_path": "doc/octez-mec/Mec/Ff/index.html" }, { "old_path": "doc/Mec/Curve/Jubjub/AffineMontgomery/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Jubjub/AffineMontgomery/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Tweedledee/Jacobian/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Tweedledee/Jacobian/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Vesta/Jacobian/index.html", "new_path": "doc/octez-mec/Mec/Curve/Vesta/Jacobian/index.html" }, { "old_path": "doc/Mec/Curve/index.html", "new_path": "doc/octez-mec/Mec/Curve/index.html" }, { "old_path": "doc/Mec/Curve/Tweedledum/Jacobian/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Tweedledum/Jacobian/Base/index.html" }, { "old_path": "doc/Mec/Curve/Curve25519/AffineMontgomery/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Curve25519/AffineMontgomery/Base/index.html" }, { "old_path": "doc/Mec/Utils/LinearAlgebra/module-type-Ring_sig/index.html", "new_path": "doc/octez-mec/Mec/Utils/LinearAlgebra/module-type-Ring_sig/index.html" }, { "old_path": "doc/Mec/Curve/Tweedledee/Projective/index.html", "new_path": "doc/octez-mec/Mec/Curve/Tweedledee/Projective/index.html" }, { "old_path": "doc/Mec/Curve/Vesta/Affine/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Vesta/Affine/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Jubjub/AffineMontgomery/index.html", "new_path": "doc/octez-mec/Mec/Curve/Jubjub/AffineMontgomery/index.html" }, { "old_path": "doc/Mec/Curve/Pallas/index.html", "new_path": "doc/octez-mec/Mec/Curve/Pallas/index.html" }, { "old_path": "doc/Mec/Curve/BN254/Jacobian/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/BN254/Jacobian/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Secp256k1/Projective/index.html", "new_path": "doc/octez-mec/Mec/Curve/Secp256k1/Projective/index.html" }, { "old_path": "doc/Mec/Curve/Bandersnatch/AffineEdwards/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Bandersnatch/AffineEdwards/Base/index.html" }, { "old_path": "doc/Mec/Utils/LinearAlgebra/module-type-Field_sig/index.html", "new_path": "doc/octez-mec/Mec/Utils/LinearAlgebra/module-type-Field_sig/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-AffineWeierstrassT/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-AffineWeierstrassT/index.html" }, { "old_path": "doc/Mec/Signature/RedDSA/MakeRedDSA/argument-1-Ec/index.html", "new_path": "doc/octez-mec/Mec/Signature/RedDSA/MakeRedDSA/argument-1-Ec/index.html" }, { "old_path": "doc/Mec/Curve/BN254/Projective/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/BN254/Projective/Base/index.html" }, { "old_path": "doc/Mec/Utils/LinearAlgebra/Make_VectorSpace/argument-1-Field/index.html", "new_path": "doc/octez-mec/Mec/Utils/LinearAlgebra/Make_VectorSpace/argument-1-Field/index.html" }, { "old_path": "doc/Mec/Curve/Pallas/Iso/Affine/index.html", "new_path": "doc/octez-mec/Mec/Curve/Pallas/Iso/Affine/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-AffineEdwardsT/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-AffineEdwardsT/index.html" }, { "old_path": "doc/Mec/Curve/Bandersnatch/AffineWeierstrass/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Bandersnatch/AffineWeierstrass/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Pallas/Iso/Affine/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Pallas/Iso/Affine/Base/index.html" }, { "old_path": "doc/Mec/Curve/BN254/Projective/index.html", "new_path": "doc/octez-mec/Mec/Curve/BN254/Projective/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-AffineEdwardsT/Scalar/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-AffineEdwardsT/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Jubjub/AffineEdwards/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Jubjub/AffineEdwards/Base/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeAffineEdwards/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineEdwards/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeAffineWeierstrass/argument-1-Fq/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineWeierstrass/argument-1-Fq/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-WeierstrassT/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-WeierstrassT/index.html" }, { "old_path": "doc/Mec/Hash/Neptunus/Make/index.html", "new_path": "doc/octez-mec/Mec/Hash/Neptunus/Make/index.html" }, { "old_path": "doc/Mec/Curve/BLS12_381/G1/Projective/index.html", "new_path": "doc/octez-mec/Mec/Curve/BLS12_381/G1/Projective/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeAffineWeierstrass/argument-3-Params/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineWeierstrass/argument-3-Params/index.html" }, { "old_path": "doc/Mec/Permutation/Hades/Make/index.html", "new_path": "doc/octez-mec/Mec/Permutation/Hades/Make/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeAffineEdwardsToAffineMontgomery/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineEdwardsToAffineMontgomery/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-AffineWeierstrassT/Scalar/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-AffineWeierstrassT/Scalar/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-MontgomeryT/Scalar/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-MontgomeryT/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Utils/PBT/MakeECProperties/argument-1-G/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/PBT/MakeECProperties/argument-1-G/Scalar/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-BASE/Base/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-BASE/Base/index.html" }, { "old_path": "doc/Mec/Protocol/Sapling/GroupHash/index.html", "new_path": "doc/octez-mec/Mec/Protocol/Sapling/GroupHash/index.html" }, { "old_path": "doc/Mec/Curve/Pallas/Affine/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Pallas/Affine/Base/index.html" }, { "old_path": "doc/Mec/Curve/Utils/PBT/MakeIsZero/argument-1-G/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/PBT/MakeIsZero/argument-1-G/Base/index.html" }, { "old_path": "doc/Mec/index.html", "new_path": "doc/octez-mec/Mec/index.html" }, { "old_path": "doc/Mec/Hash/Poseidon128/Make/argument-1-Scalar/index.html", "new_path": "doc/octez-mec/Mec/Hash/Poseidon128/Make/argument-1-Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Utils/PBT/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/PBT/index.html" }, { "old_path": "doc/Mec/Hash/Sinsemilla/index.html", "new_path": "doc/octez-mec/Mec/Hash/Sinsemilla/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-JacobianWeierstrassT/Scalar/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-JacobianWeierstrassT/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeProjectiveWeierstrass/argument-2-Fp/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeProjectiveWeierstrass/argument-2-Fp/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeAffineMontgomery/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineMontgomery/index.html" }, { "old_path": "doc/Mec/Hash/Neptunus/Make/argument-1-Scalar/index.html", "new_path": "doc/octez-mec/Mec/Hash/Neptunus/Make/argument-1-Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Tweedledee/Projective/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Tweedledee/Projective/Base/index.html" }, { "old_path": "doc/Mec/Curve/Utils/PBT/MakeIsZero/argument-1-G/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/PBT/MakeIsZero/argument-1-G/index.html" }, { "old_path": "doc/Mec/Signature/RedJubjub/Make/index.html", "new_path": "doc/octez-mec/Mec/Signature/RedJubjub/Make/index.html" }, { "old_path": "doc/Mec/Curve/Jubjub/AffineMontgomery/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Jubjub/AffineMontgomery/Base/index.html" }, { "old_path": "doc/Mec/Hash/Poseidon252/Constant/index.html", "new_path": "doc/octez-mec/Mec/Hash/Poseidon252/Constant/index.html" }, { "old_path": "doc/Mec/Curve/Curve25519/AffineEdwards/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Curve25519/AffineEdwards/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Vesta/Projective/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Vesta/Projective/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Tweedledee/Affine/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Tweedledee/Affine/Base/index.html" }, { "old_path": "doc/Mec/Curve/Pallas/Jacobian/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Pallas/Jacobian/Base/index.html" }, { "old_path": "doc/Mec/Curve/Pallas/Projective/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Pallas/Projective/Base/index.html" }, { "old_path": "doc/Mec/Curve/Secp256k1/Projective/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Secp256k1/Projective/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Utils/PBT/MakeECProperties/argument-1-G/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/PBT/MakeECProperties/argument-1-G/index.html" }, { "old_path": "doc/Mec/Ff/MakeFp2/argument-2-Intf/index.html", "new_path": "doc/octez-mec/Mec/Ff/MakeFp2/argument-2-Intf/index.html" }, { "old_path": "doc/Mec/Curve/BLS12_381/index.html", "new_path": "doc/octez-mec/Mec/Curve/BLS12_381/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeAffineMontgomery/argument-2-Fp/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineMontgomery/argument-2-Fp/index.html" }, { "old_path": "doc/Mec/Curve/Curve25519/AffineMontgomery/index.html", "new_path": "doc/octez-mec/Mec/Curve/Curve25519/AffineMontgomery/index.html" }, { "old_path": "doc/Mec/Curve/Utils/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/index.html" }, { "old_path": "doc/Mec/Hash/PedersenHash/index.html", "new_path": "doc/octez-mec/Mec/Hash/PedersenHash/index.html" }, { "old_path": "doc/Mec/Curve/Curve25519/index.html", "new_path": "doc/octez-mec/Mec/Curve/Curve25519/index.html" }, { "old_path": "doc/Mec/Curve/Utils/PBT/MakeEquality/argument-1-G/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/PBT/MakeEquality/argument-1-G/Base/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeJacobianWeierstrass/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeJacobianWeierstrass/Scalar/index.html" }, { "old_path": "doc/Mec/Hash/Neptunus/index.html", "new_path": "doc/octez-mec/Mec/Hash/Neptunus/index.html" }, { "old_path": "doc/Mec/Curve/Bandersnatch/AffineWeierstrass/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Bandersnatch/AffineWeierstrass/Base/index.html" }, { "old_path": "doc/Mec/Permutation/HadesLinearOptimisation/module-type-PARAMETERS/index.html", "new_path": "doc/octez-mec/Mec/Permutation/HadesLinearOptimisation/module-type-PARAMETERS/index.html" }, { "old_path": "doc/Mec/Curve/Tweedledee/index.html", "new_path": "doc/octez-mec/Mec/Curve/Tweedledee/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeAffineWeierstrass/argument-2-Fp/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineWeierstrass/argument-2-Fp/index.html" }, { "old_path": "doc/Mec/Hash/Orchard/Make/index.html", "new_path": "doc/octez-mec/Mec/Hash/Orchard/Make/index.html" }, { "old_path": "doc/Mec/Utils/LinearAlgebra/Make_Module/argument-1-Ring/index.html", "new_path": "doc/octez-mec/Mec/Utils/LinearAlgebra/Make_Module/argument-1-Ring/index.html" }, { "old_path": "doc/Mec/Curve/Curve448/Affine/index.html", "new_path": "doc/octez-mec/Mec/Curve/Curve448/Affine/index.html" }, { "old_path": "doc/Mec/Ff/MakeFp/index.html", "new_path": "doc/octez-mec/Mec/Ff/MakeFp/index.html" }, { "old_path": "doc/Mec/Curve/Secp256r1/Projective/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Secp256r1/Projective/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Tweedledee/Affine/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Tweedledee/Affine/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeJacobianWeierstrass/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeJacobianWeierstrass/Base/index.html" }, { "old_path": "doc/Mec/Curve/Utils/PBT/MakeIsZero/argument-1-G/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/PBT/MakeIsZero/argument-1-G/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Tweedledum/Jacobian/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Tweedledum/Jacobian/Scalar/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-ProjectiveWeierstrassT/Scalar/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-ProjectiveWeierstrassT/Scalar/index.html" }, { "old_path": "doc/Mec/Hash/Poseidon128/Make/Hash/index.html", "new_path": "doc/octez-mec/Mec/Hash/Poseidon128/Make/Hash/index.html" }, { "old_path": "doc/Mec/Signature/RedDSA/MakeRedDSA/argument-2-Param/index.html", "new_path": "doc/octez-mec/Mec/Signature/RedDSA/MakeRedDSA/argument-2-Param/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeAffineEdwards/argument-3-Params/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineEdwards/argument-3-Params/index.html" }, { "old_path": "doc/Mec/Curve/Secp256r1/Affine/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Secp256r1/Affine/Scalar/index.html" }, { "old_path": "doc/Mec/Permutation/Marvellous/Make/index.html", "new_path": "doc/octez-mec/Mec/Permutation/Marvellous/Make/index.html" }, { "old_path": "doc/Mec/Curve/Tweedledum/Affine/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Tweedledum/Affine/Base/index.html" }, { "old_path": "doc/Mec/Curve/Utils/PBT/MakeSerialisationProperties/argument-1-G/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/PBT/MakeSerialisationProperties/argument-1-G/Scalar/index.html" }, { "old_path": "doc/Mec/Hash/PedersenHash/MakePedersenHash/argument-2-Params/index.html", "new_path": "doc/octez-mec/Mec/Hash/PedersenHash/MakePedersenHash/argument-2-Params/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeJacobianWeierstrass/argument-2-Fp/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeJacobianWeierstrass/argument-2-Fp/index.html" }, { "old_path": "doc/Mec/Curve/BN254/Affine/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/BN254/Affine/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Secp256k1/Jacobian/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Secp256k1/Jacobian/Base/index.html" }, { "old_path": "doc/Mec/Signature/RedDSA/index.html", "new_path": "doc/octez-mec/Mec/Signature/RedDSA/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-ProjectiveWeierstrassT/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-ProjectiveWeierstrassT/index.html" }, { "old_path": "doc/Mec/Curve/Pallas/Jacobian/index.html", "new_path": "doc/octez-mec/Mec/Curve/Pallas/Jacobian/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeAffineWeierstrass/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineWeierstrass/Scalar/index.html" }, { "old_path": "doc/Mec/Digestif/Make_BLAKE2B/index.html", "new_path": "doc/octez-mec/Mec/Digestif/Make_BLAKE2B/index.html" }, { "old_path": "doc/Mec/Curve/BabyJubjubReduced/Affine/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/BabyJubjubReduced/Affine/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Tweedledee/Jacobian/index.html", "new_path": "doc/octez-mec/Mec/Curve/Tweedledee/Jacobian/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeProjectiveWeierstrass/argument-3-Params/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeProjectiveWeierstrass/argument-3-Params/index.html" }, { "old_path": "doc/Mec/Curve/Vesta/Affine/index.html", "new_path": "doc/octez-mec/Mec/Curve/Vesta/Affine/index.html" }, { "old_path": "doc/Mec/Hash/PedersenHash/MakePedersenHash/argument-1-Ec/index.html", "new_path": "doc/octez-mec/Mec/Hash/PedersenHash/MakePedersenHash/argument-1-Ec/index.html" }, { "old_path": "doc/Mec/Utils/LinearAlgebra/index.html", "new_path": "doc/octez-mec/Mec/Utils/LinearAlgebra/index.html" }, { "old_path": "doc/Mec/Curve/Utils/PBT/MakeIsZero/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/PBT/MakeIsZero/index.html" }, { "old_path": "doc/Mec/Permutation/HadesLinearOptimisation/Make/argument-2-Scalar/index.html", "new_path": "doc/octez-mec/Mec/Permutation/HadesLinearOptimisation/Make/argument-2-Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Secp256r1/Affine/index.html", "new_path": "doc/octez-mec/Mec/Curve/Secp256r1/Affine/index.html" }, { "old_path": "doc/Mec/Curve/Vesta/Jacobian/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Vesta/Jacobian/Base/index.html" }, { "old_path": "doc/Mec/Digestif/BLAKE2S/index.html", "new_path": "doc/octez-mec/Mec/Digestif/BLAKE2S/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeAffineMontgomery/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineMontgomery/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeJacobianWeierstrass/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeJacobianWeierstrass/index.html" }, { "old_path": "doc/Mec/Curve/BN254/Jacobian/index.html", "new_path": "doc/octez-mec/Mec/Curve/BN254/Jacobian/index.html" }, { "old_path": "doc/Mec/Curve/Utils/PBT/MakeValueGeneration/argument-1-G/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/PBT/MakeValueGeneration/argument-1-G/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-PAIRING/GT/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-PAIRING/GT/index.html" }, { "old_path": "doc/Mec/Curve/Jubjub/AffineWeierstrass/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Jubjub/AffineWeierstrass/Base/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-AffineWeierstrassT/Base/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-AffineWeierstrassT/Base/index.html" }, { "old_path": "doc/Mec/Curve/BLS12_381/G1/index.html", "new_path": "doc/octez-mec/Mec/Curve/BLS12_381/G1/index.html" }, { "old_path": "doc/Mec/Curve/Curve25519/AffineEdwards/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Curve25519/AffineEdwards/Base/index.html" }, { "old_path": "doc/Mec/Curve/Tweedledum/index.html", "new_path": "doc/octez-mec/Mec/Curve/Tweedledum/index.html" }, { "old_path": "doc/Mec/Curve/Pallas/Projective/index.html", "new_path": "doc/octez-mec/Mec/Curve/Pallas/Projective/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeJacobianWeierstrass/argument-3-Params/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeJacobianWeierstrass/argument-3-Params/index.html" }, { "old_path": "doc/Mec/Ff/MakeFp2/index.html", "new_path": "doc/octez-mec/Mec/Ff/MakeFp2/index.html" }, { "old_path": "doc/Mec/Curve/BabyJubjub/index.html", "new_path": "doc/octez-mec/Mec/Curve/BabyJubjub/index.html" }, { "old_path": "doc/Mec/Hash/Poseidon128/Constant/index.html", "new_path": "doc/octez-mec/Mec/Hash/Poseidon128/Constant/index.html" }, { "old_path": "doc/Mec/Curve/Jubjub/AffineWeierstrass/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Jubjub/AffineWeierstrass/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Pallas/Jacobian/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Pallas/Jacobian/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Utils/PBT/MakeEquality/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/PBT/MakeEquality/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeProjectiveWeierstrass/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeProjectiveWeierstrass/index.html" }, { "old_path": "doc/Mec/Curve/Utils/PBT/MakeSerialisationProperties/argument-1-G/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/PBT/MakeSerialisationProperties/argument-1-G/Base/index.html" }, { "old_path": "doc/Mec/Curve/BLS12_381/G1/Affine/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/BLS12_381/G1/Affine/Scalar/index.html" }, { "old_path": "doc/Mec/Signature/RedDSA/MakeRedDSA/argument-1-Ec/Base/index.html", "new_path": "doc/octez-mec/Mec/Signature/RedDSA/MakeRedDSA/argument-1-Ec/Base/index.html" }, { "old_path": "doc/Mec/Curve/Secp256r1/Projective/index.html", "new_path": "doc/octez-mec/Mec/Curve/Secp256r1/Projective/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-MontgomeryT/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-MontgomeryT/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-PAIRING/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-PAIRING/index.html" }, { "old_path": "doc/Mec/Permutation/Hades/index.html", "new_path": "doc/octez-mec/Mec/Permutation/Hades/index.html" }, { "old_path": "doc/Mec/Hash/index.html", "new_path": "doc/octez-mec/Mec/Hash/index.html" }, { "old_path": "doc/Mec/Hash/Sinsemilla/MakeSinsemilla/index.html", "new_path": "doc/octez-mec/Mec/Hash/Sinsemilla/MakeSinsemilla/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-PAIRING/G1/Scalar/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-PAIRING/G1/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/BN254/Projective/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/BN254/Projective/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/BN254/Affine/index.html", "new_path": "doc/octez-mec/Mec/Curve/BN254/Affine/index.html" }, { "old_path": "doc/Mec/Curve/Curve448/Affine/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Curve448/Affine/Base/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeProjectiveWeierstrass/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeProjectiveWeierstrass/Scalar/index.html" }, { "old_path": "doc/Mec/Hash/Poseidon128/index.html", "new_path": "doc/octez-mec/Mec/Hash/Poseidon128/index.html" }, { "old_path": "doc/Mec/Curve/Tweedledee/Projective/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Tweedledee/Projective/Scalar/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-ProjectiveWeierstrassT/Base/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-ProjectiveWeierstrassT/Base/index.html" }, { "old_path": "doc/Mec/Curve/Secp256r1/Jacobian/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Secp256r1/Jacobian/Scalar/index.html" }, { "old_path": "doc/Mec/Digestif/module-type-S/index.html", "new_path": "doc/octez-mec/Mec/Digestif/module-type-S/index.html" }, { "old_path": "doc/Mec/Curve/Utils/PBT/MakeEdwardsCurveProperties/argument-1-G/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/PBT/MakeEdwardsCurveProperties/argument-1-G/Base/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeAffineWeierstrass/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineWeierstrass/index.html" }, { "old_path": "doc/Mec/Permutation/Marvellous/module-type-PARAMETERS/index.html", "new_path": "doc/octez-mec/Mec/Permutation/Marvellous/module-type-PARAMETERS/index.html" }, { "old_path": "doc/Mec/Curve/BabyJubjubReduced/Affine/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/BabyJubjubReduced/Affine/Base/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeAffineMontgomery/argument-3-Params/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineMontgomery/argument-3-Params/index.html" }, { "old_path": "doc/Mec/Hash/Poseidon252/index.html", "new_path": "doc/octez-mec/Mec/Hash/Poseidon252/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeAffineEdwards/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineEdwards/Base/index.html" }, { "old_path": "doc/Mec/Curve/Curve448/index.html", "new_path": "doc/octez-mec/Mec/Curve/Curve448/index.html" }, { "old_path": "doc/Mec/Hash/Sinsemilla/MakeSinsemilla/argument-1-Params/index.html", "new_path": "doc/octez-mec/Mec/Hash/Sinsemilla/MakeSinsemilla/argument-1-Params/index.html" }, { "old_path": "doc/Mec/Curve/Vesta/index.html", "new_path": "doc/octez-mec/Mec/Curve/Vesta/index.html" }, { "old_path": "doc/Mec/Curve/Vesta/Jacobian/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Vesta/Jacobian/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Tweedledee/Affine/index.html", "new_path": "doc/octez-mec/Mec/Curve/Tweedledee/Affine/index.html" }, { "old_path": "doc/Mec/Curve/Utils/PBT/MakeEquality/argument-1-G/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/PBT/MakeEquality/argument-1-G/index.html" }, { "old_path": "doc/Mec/Ff/MakeFp/argument-1-S/index.html", "new_path": "doc/octez-mec/Mec/Ff/MakeFp/argument-1-S/index.html" }, { "old_path": "doc/Mec/Curve/Bandersnatch/AffineMontgomery/index.html", "new_path": "doc/octez-mec/Mec/Curve/Bandersnatch/AffineMontgomery/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeAffineMontgomery/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineMontgomery/Base/index.html" }, { "old_path": "doc/Mec/Hash/Neptunus/Make/Hash/index.html", "new_path": "doc/octez-mec/Mec/Hash/Neptunus/Make/Hash/index.html" }, { "old_path": "doc/Mec/Signature/RedDSA/MakeRedDSA/index.html", "new_path": "doc/octez-mec/Mec/Signature/RedDSA/MakeRedDSA/index.html" }, { "old_path": "doc/Mec/Signature/RedJubjub/Make/argument-1-Param/index.html", "new_path": "doc/octez-mec/Mec/Signature/RedJubjub/Make/argument-1-Param/index.html" }, { "old_path": "doc/Mec/Curve/Tweedledum/Jacobian/index.html", "new_path": "doc/octez-mec/Mec/Curve/Tweedledum/Jacobian/index.html" }, { "old_path": "doc/Mec/Curve/Tweedledee/Jacobian/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Tweedledee/Jacobian/Base/index.html" }, { "old_path": "doc/Mec/Hash/Neptunus/Make/Strategy/index.html", "new_path": "doc/octez-mec/Mec/Hash/Neptunus/Make/Strategy/index.html" }, { "old_path": "doc/Mec/Curve/Jubjub/index.html", "new_path": "doc/octez-mec/Mec/Curve/Jubjub/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-AffineMontgomeryT/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-AffineMontgomeryT/index.html" }, { "old_path": "doc/Mec/Utils/LinearAlgebra/module-type-Module_sig/index.html", "new_path": "doc/octez-mec/Mec/Utils/LinearAlgebra/module-type-Module_sig/index.html" }, { "old_path": "doc/Mec/Curve/Secp256k1/Affine/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Secp256k1/Affine/Base/index.html" }, { "old_path": "doc/Mec/CurveSig/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-JacobianWeierstrassT/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-JacobianWeierstrassT/index.html" }, { "old_path": "doc/Mec/Curve/Secp256k1/Affine/index.html", "new_path": "doc/octez-mec/Mec/Curve/Secp256k1/Affine/index.html" }, { "old_path": "doc/Mec/Signature/RedDSA/module-type-SIGNATURE_SCHEME/index.html", "new_path": "doc/octez-mec/Mec/Signature/RedDSA/module-type-SIGNATURE_SCHEME/index.html" }, { "old_path": "doc/Mec/Curve/BLS12_381/G1/Affine/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/BLS12_381/G1/Affine/Base/index.html" }, { "old_path": "doc/Mec/Curve/BabyJubjub/Affine/index.html", "new_path": "doc/octez-mec/Mec/Curve/BabyJubjub/Affine/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-JacobianWeierstrassT/Base/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-JacobianWeierstrassT/Base/index.html" }, { "old_path": "doc/Mec/Curve/BN254/index.html", "new_path": "doc/octez-mec/Mec/Curve/BN254/index.html" }, { "old_path": "doc/Mec/Curve/Utils/PBT/MakeCompressedSerialisationAffine/argument-1-G/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/PBT/MakeCompressedSerialisationAffine/argument-1-G/Base/index.html" }, { "old_path": "doc/Mec/Curve/Tweedledum/Projective/index.html", "new_path": "doc/octez-mec/Mec/Curve/Tweedledum/Projective/index.html" }, { "old_path": "doc/Mec/Permutation/Marvellous/Make/argument-1-Param/index.html", "new_path": "doc/octez-mec/Mec/Permutation/Marvellous/Make/argument-1-Param/index.html" }, { "old_path": "doc/Mec/Hash/Orchard/Make/Hash/index.html", "new_path": "doc/octez-mec/Mec/Hash/Orchard/Make/Hash/index.html" }, { "old_path": "doc/Mec/Curve/Secp256r1/Affine/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Secp256r1/Affine/Base/index.html" }, { "old_path": "doc/Mec/Curve/Tweedledum/Projective/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Tweedledum/Projective/Base/index.html" }, { "old_path": "doc/Mec/Digestif/index.html", "new_path": "doc/octez-mec/Mec/Digestif/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-PAIRING/G1/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-PAIRING/G1/index.html" }, { "old_path": "doc/Mec/Curve/Utils/PBT/MakeValueGeneration/argument-1-G/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/PBT/MakeValueGeneration/argument-1-G/Base/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-PAIRING/G1/Base/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-PAIRING/G1/Base/index.html" }, { "old_path": "doc/Mec/Curve/BabyJubjubReduced/Affine/index.html", "new_path": "doc/octez-mec/Mec/Curve/BabyJubjubReduced/Affine/index.html" }, { "old_path": "doc/Mec/Curve/BabyJubjubReduced/index.html", "new_path": "doc/octez-mec/Mec/Curve/BabyJubjubReduced/index.html" }, { "old_path": "doc/Mec/Curve/Curve448/Affine/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Curve448/Affine/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Pallas/Iso/Affine/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Pallas/Iso/Affine/Scalar/index.html" }, { "old_path": "doc/Mec/Permutation/HadesLinearOptimisation/index.html", "new_path": "doc/octez-mec/Mec/Permutation/HadesLinearOptimisation/index.html" }, { "old_path": "doc/Mec/Permutation/index.html", "new_path": "doc/octez-mec/Mec/Permutation/index.html" }, { "old_path": "doc/Mec/Hash/Neptunus/Constant/index.html", "new_path": "doc/octez-mec/Mec/Hash/Neptunus/Constant/index.html" }, { "old_path": "doc/Mec/Curve/Jubjub/AffineEdwards/index.html", "new_path": "doc/octez-mec/Mec/Curve/Jubjub/AffineEdwards/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeAffineEdwards/argument-1-Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineEdwards/argument-1-Base/index.html" }, { "old_path": "doc/Mec/Curve/Curve25519/AffineMontgomery/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Curve25519/AffineMontgomery/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Secp256r1/index.html", "new_path": "doc/octez-mec/Mec/Curve/Secp256r1/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-MontgomeryT/Base/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-MontgomeryT/Base/index.html" }, { "old_path": "doc/Mec/Curve/BN254/Affine/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/BN254/Affine/Base/index.html" }, { "old_path": "doc/Mec/Curve/Vesta/Affine/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Vesta/Affine/Base/index.html" }, { "old_path": "doc/Mec/Utils/Iterator/Bit/index.html", "new_path": "doc/octez-mec/Mec/Utils/Iterator/Bit/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeProjectiveWeierstrass/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeProjectiveWeierstrass/Base/index.html" }, { "old_path": "doc/Mec/Curve/Pallas/Iso/index.html", "new_path": "doc/octez-mec/Mec/Curve/Pallas/Iso/index.html" }, { "old_path": "doc/Mec/Curve/Secp256r1/Jacobian/index.html", "new_path": "doc/octez-mec/Mec/Curve/Secp256r1/Jacobian/index.html" }, { "old_path": "doc/Mec/Permutation/HadesLinearOptimisation/Make/index.html", "new_path": "doc/octez-mec/Mec/Permutation/HadesLinearOptimisation/Make/index.html" }, { "old_path": "doc/Mec/Curve/Secp256k1/Jacobian/index.html", "new_path": "doc/octez-mec/Mec/Curve/Secp256k1/Jacobian/index.html" }, { "old_path": "doc/Mec/Hash/Poseidon128/Make/index.html", "new_path": "doc/octez-mec/Mec/Hash/Poseidon128/Make/index.html" }, { "old_path": "doc/Mec/Digestif/Make_BLAKE2S/index.html", "new_path": "doc/octez-mec/Mec/Digestif/Make_BLAKE2S/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-PAIRING/G2/Scalar/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-PAIRING/G2/Scalar/index.html" }, { "old_path": "doc/Mec/Signature/RedJubjub/index.html", "new_path": "doc/octez-mec/Mec/Signature/RedJubjub/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-AffineMontgomeryT/Base/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-AffineMontgomeryT/Base/index.html" }, { "old_path": "doc/Mec/Utils/index.html", "new_path": "doc/octez-mec/Mec/Utils/index.html" }, { "old_path": "doc/Mec/Hash/PedersenHash/MakePedersenHash/argument-1-Ec/Base/index.html", "new_path": "doc/octez-mec/Mec/Hash/PedersenHash/MakePedersenHash/argument-1-Ec/Base/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-WeierstrassT/Scalar/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-WeierstrassT/Scalar/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-AffineEdwardsT/Base/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-AffineEdwardsT/Base/index.html" }, { "old_path": "doc/Mec/Curve/Utils/PBT/MakeCompressedSerialisationAffine/argument-1-G/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/PBT/MakeCompressedSerialisationAffine/argument-1-G/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeAffineWeierstrass/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineWeierstrass/Base/index.html" }, { "old_path": "doc/Mec/Curve/Utils/PBT/MakeECProperties/argument-1-G/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/PBT/MakeECProperties/argument-1-G/Base/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeAffineEdwardsToAffineMontgomery/argument-1-E/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineEdwardsToAffineMontgomery/argument-1-E/Scalar/index.html" }, { "old_path": "doc/Mec/Hash/Sinsemilla/Zcash/index.html", "new_path": "doc/octez-mec/Mec/Hash/Sinsemilla/Zcash/index.html" }, { "old_path": "doc/Mec/Curve/Secp256k1/Jacobian/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Secp256k1/Jacobian/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeAffineEdwards/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineEdwards/index.html" }, { "old_path": "doc/Mec/Permutation/Hades/module-type-PARAMETERS/index.html", "new_path": "doc/octez-mec/Mec/Permutation/Hades/module-type-PARAMETERS/index.html" }, { "old_path": "doc/Mec/Curve/BabyJubjub/Affine/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/BabyJubjub/Affine/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Pallas/Affine/index.html", "new_path": "doc/octez-mec/Mec/Curve/Pallas/Affine/index.html" }, { "old_path": "doc/Mec/Curve/Utils/PBT/MakeCompressedSerialisationAffine/argument-1-G/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/PBT/MakeCompressedSerialisationAffine/argument-1-G/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeJacobianWeierstrass/argument-1-Fq/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeJacobianWeierstrass/argument-1-Fq/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeProjectiveWeierstrass/argument-1-Fq/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeProjectiveWeierstrass/argument-1-Fq/index.html" }, { "old_path": "doc/Mec/Hash/Poseidon128/Make/Strategy/index.html", "new_path": "doc/octez-mec/Mec/Hash/Poseidon128/Make/Strategy/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-BASE/Scalar/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-BASE/Scalar/index.html" }, { "old_path": "doc/Mec/Utils/LinearAlgebra/Make_Module/index.html", "new_path": "doc/octez-mec/Mec/Utils/LinearAlgebra/Make_Module/index.html" }, { "old_path": "doc/Mec/Curve/Vesta/Projective/index.html", "new_path": "doc/octez-mec/Mec/Curve/Vesta/Projective/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeAffineEdwards/argument-2-Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineEdwards/argument-2-Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Utils/PBT/MakeSerialisationProperties/argument-1-G/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/PBT/MakeSerialisationProperties/argument-1-G/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-PAIRING/G2/Base/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-PAIRING/G2/Base/index.html" }, { "old_path": "doc/Mec/Protocol/Sapling/index.html", "new_path": "doc/octez-mec/Mec/Protocol/Sapling/index.html" }, { "old_path": "doc/Mec/Curve/Bandersnatch/AffineWeierstrass/index.html", "new_path": "doc/octez-mec/Mec/Curve/Bandersnatch/AffineWeierstrass/index.html" }, { "old_path": "doc/Mec/Permutation/Hades/Make/argument-1-Param/index.html", "new_path": "doc/octez-mec/Mec/Permutation/Hades/Make/argument-1-Param/index.html" }, { "old_path": "doc/Mec/Utils/Iterator/index.html", "new_path": "doc/octez-mec/Mec/Utils/Iterator/index.html" }, { "old_path": "doc/Mec/Curve/Bandersnatch/index.html", "new_path": "doc/octez-mec/Mec/Curve/Bandersnatch/index.html" }, { "old_path": "doc/Mec/Curve/Secp256k1/Affine/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Secp256k1/Affine/Scalar/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-BASE/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-BASE/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-WeierstrassT/Base/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-WeierstrassT/Base/index.html" }, { "old_path": "doc/Mec/Curve/Secp256k1/Projective/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/Secp256k1/Projective/Base/index.html" }, { "old_path": "doc/Mec/Curve/BabyJubjub/Affine/Base/index.html", "new_path": "doc/octez-mec/Mec/Curve/BabyJubjub/Affine/Base/index.html" }, { "old_path": "doc/Mec/Digestif/Make_BLAKE2S/argument-1-D/index.html", "new_path": "doc/octez-mec/Mec/Digestif/Make_BLAKE2S/argument-1-D/index.html" }, { "old_path": "doc/Mec/Curve/Utils/PBT/MakeSerialisationProperties/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/PBT/MakeSerialisationProperties/index.html" }, { "old_path": "doc/Mec/Hash/Poseidon252/Make/index.html", "new_path": "doc/octez-mec/Mec/Hash/Poseidon252/Make/index.html" }, { "old_path": "doc/Mec/Hash/Poseidon252/Make/Hash/index.html", "new_path": "doc/octez-mec/Mec/Hash/Poseidon252/Make/Hash/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/index.html" }, { "old_path": "doc/Mec/Curve/Utils/PBT/MakeEquality/argument-1-G/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/PBT/MakeEquality/argument-1-G/Scalar/index.html" }, { "old_path": "doc/Mec/Hash/Orchard/Make/Strategy/index.html", "new_path": "doc/octez-mec/Mec/Hash/Orchard/Make/Strategy/index.html" }, { "old_path": "doc/Mec/Hash/PedersenHash/Zcash/index.html", "new_path": "doc/octez-mec/Mec/Hash/PedersenHash/Zcash/index.html" }, { "old_path": "doc/Mec/Permutation/Marvellous/index.html", "new_path": "doc/octez-mec/Mec/Permutation/Marvellous/index.html" }, { "old_path": "doc/Mec/Curve/BLS12_381/G1/Affine/index.html", "new_path": "doc/octez-mec/Mec/Curve/BLS12_381/G1/Affine/index.html" }, { "old_path": "doc/Mec/Curve/Bandersnatch/AffineEdwards/index.html", "new_path": "doc/octez-mec/Mec/Curve/Bandersnatch/AffineEdwards/index.html" }, { "old_path": "doc/Mec/Curve/Utils/PBT/MakeEdwardsCurveProperties/argument-1-G/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/PBT/MakeEdwardsCurveProperties/argument-1-G/index.html" }, { "old_path": "doc/Mec/CurveSig/module-type-AffineMontgomeryT/Scalar/index.html", "new_path": "doc/octez-mec/Mec/CurveSig/module-type-AffineMontgomeryT/Scalar/index.html" }, { "old_path": "doc/Mec/Hash/Poseidon252/Make/Strategy/index.html", "new_path": "doc/octez-mec/Mec/Hash/Poseidon252/Make/Strategy/index.html" }, { "old_path": "doc/Mec/Digestif/BLAKE2B/index.html", "new_path": "doc/octez-mec/Mec/Digestif/BLAKE2B/index.html" }, { "old_path": "doc/Mec/Curve/Jubjub/AffineEdwards/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/Jubjub/AffineEdwards/Scalar/index.html" }, { "old_path": "doc/Mec/Curve/Utils/Functor/MakeAffineMontgomery/argument-1-Fq/index.html", "new_path": "doc/octez-mec/Mec/Curve/Utils/Functor/MakeAffineMontgomery/argument-1-Fq/index.html" }, { "old_path": "doc/Mec/Curve/BLS12_381/G1/Projective/Scalar/index.html", "new_path": "doc/octez-mec/Mec/Curve/BLS12_381/G1/Projective/Scalar/index.html" }, { "old_path": "doc/Mec/Hash/Orchard/index.html", "new_path": "doc/octez-mec/Mec/Hash/Orchard/index.html" }, { "old_path": "doc/Mec/Curve/Jubjub/AffineWeierstrass/index.html", "new_path": "doc/octez-mec/Mec/Curve/Jubjub/AffineWeierstrass/index.html" }, { "old_path": "doc/Mec/Protocol/index.html", "new_path": "doc/octez-mec/Mec/Protocol/index.html" } ] }