Skip to main content

Browse the archive

swh:1:snp:505c374fd75bb208ae4e9a54e64bb310bc49295e
History
Tip revision: ba0ea4833dadc3a907cb00cee4c32a20a4ede7ba authored by martoon on 24 October 2023, 08:11:46 UTC
MIR: fixup! MIR: Add a log function for debug purposes
Tip revision: ba0ea48
File Mode Size
test
ark_neptunus.ml -rw-r--r-- 15.0 KB
ark_orchard.ml -rw-r--r-- 16.4 KB
ark_poseidon128.ml -rw-r--r-- 16.1 KB
ark_poseidon252.ml -rw-r--r-- 79.6 KB
babyjubjub.ml -rw-r--r-- 1.6 KB
babyjubjub.mli -rw-r--r-- 38 bytes
babyjubjub_reduced.ml -rw-r--r-- 1.5 KB
babyjubjub_reduced.mli -rw-r--r-- 38 bytes
baijiu_blake2b.ml -rw-r--r-- 12.5 KB
baijiu_blake2s.ml -rw-r--r-- 11.0 KB
bandersnatch.ml -rw-r--r-- 4.5 KB
bandersnatch.mli -rw-r--r-- 541 bytes
bls12_381_ref.ml -rw-r--r-- 7.3 KB
bls12_381_ref.mli -rw-r--r-- 117 bytes
bn254.ml -rw-r--r-- 3.3 KB
bn254.mli -rw-r--r-- 460 bytes
curve25519.ml -rw-r--r-- 3.4 KB
curve25519.mli -rw-r--r-- 287 bytes
curve448.ml -rw-r--r-- 1.8 KB
curve448.mli -rw-r--r-- 38 bytes
digestif_bi.ml -rw-r--r-- 2.4 KB
digestif_by.ml -rw-r--r-- 2.0 KB
digestif_conv.ml -rw-r--r-- 3.0 KB
digestif_eq.ml -rw-r--r-- 168 bytes
dune -rw-r--r-- 246 bytes
ec.ml -rw-r--r-- 47.5 KB
ec_pbt.ml -rw-r--r-- 18.7 KB
ec_sig.ml -rw-r--r-- 10.4 KB
ff.ml -rw-r--r-- 9.6 KB
group_hash.ml -rw-r--r-- 3.0 KB
group_hash.mli -rw-r--r-- 1.9 KB
hades.ml -rw-r--r-- 3.1 KB
hades.mli -rw-r--r-- 1.6 KB
hades_linear_optimisation.ml -rw-r--r-- 17.7 KB
hades_linear_optimisation.mli -rw-r--r-- 982 bytes
iterator.ml -rw-r--r-- 1.5 KB
iterator.mli -rw-r--r-- 235 bytes
jubjub.ml -rw-r--r-- 6.5 KB
jubjub.mli -rw-r--r-- 682 bytes
linear_algebra.ml -rw-r--r-- 5.1 KB
marvellous.ml -rw-r--r-- 2.5 KB
marvellous.mli -rw-r--r-- 893 bytes
mds_orchard.ml -rw-r--r-- 844 bytes
mds_poseidon128.ml -rw-r--r-- 1.0 KB
mds_poseidon252.ml -rw-r--r-- 2.3 KB
mec.ml -rw-r--r-- 1.3 KB
mec_curve_utils.ml -rw-r--r-- 78 bytes
mec_digestif.ml -rw-r--r-- 9.3 KB
mec_digestif.mli -rw-r--r-- 6.6 KB
neptunus.ml -rw-r--r-- 380 bytes
neptunus.mli -rw-r--r-- 235 bytes
orchard.ml -rw-r--r-- 325 bytes
orchard.mli -rw-r--r-- 235 bytes
pallas.ml -rw-r--r-- 7.4 KB
pallas.mli -rw-r--r-- 639 bytes
pedersen_hash.ml -rw-r--r-- 3.3 KB
pedersen_hash.mli -rw-r--r-- 275 bytes
poseidon128.ml -rw-r--r-- 333 bytes
poseidon128.mli -rw-r--r-- 235 bytes
poseidon252.ml -rw-r--r-- 333 bytes
poseidon252.mli -rw-r--r-- 235 bytes
poseidon_core.ml -rw-r--r-- 4.7 KB
poseidon_core.mli -rw-r--r-- 1.6 KB
reddsa.ml -rw-r--r-- 5.4 KB
reddsa.mli -rw-r--r-- 2.4 KB
redjubjub.ml -rw-r--r-- 2.6 KB
redjubjub.mli -rw-r--r-- 2.0 KB
secp256k1.ml -rw-r--r-- 4.1 KB
secp256k1.mli -rw-r--r-- 460 bytes
secp256r1.ml -rw-r--r-- 4.5 KB
secp256r1.mli -rw-r--r-- 460 bytes
sinsemilla.ml -rw-r--r-- 1.5 KB
sinsemilla.mli -rw-r--r-- 746 bytes
sinsemilla_zcash_generators.ml -rw-r--r-- 226.2 KB
tweedledee.ml -rw-r--r-- 2.8 KB
tweedledee.mli -rw-r--r-- 460 bytes
tweedledum.ml -rw-r--r-- 2.8 KB
tweedledum.mli -rw-r--r-- 460 bytes
vesta.ml -rw-r--r-- 2.9 KB
vesta.mli -rw-r--r-- 460 bytes
xor.ml -rw-r--r-- 1.5 KB
back to top