https://gitlab.com/tezos/tezos
Revision f9df9fefbf40630f214e88087904eddf1a76b169 authored by Albin Coquereau on 06 November 2023, 14:18:57 UTC, committed by Albin Coquereau on 06 November 2023, 14:18:57 UTC
1 parent 8667731
History
Tip revision: f9df9fefbf40630f214e88087904eddf1a76b169 authored by Albin Coquereau on 06 November 2023, 14:18:57 UTC
prevalidator: add a hashtable for operations already handled
Tip revision: f9df9fe
File Mode Size
z3
README.md -rw-r--r-- 776 bytes
affine_curve_intf.ml -rw-r--r-- 4.5 KB
ark_128.ml -rw-r--r-- 18.0 KB
ark_252.ml -rw-r--r-- 81.5 KB
ark_full.ml -rw-r--r-- 16.9 KB
bounded.ml -rw-r--r-- 7.0 KB
circuit.ml -rw-r--r-- 62.4 KB
csir.ml -rw-r--r-- 17.6 KB
dune -rw-r--r-- 361 bytes
gadget_anemoi.ml -rw-r--r-- 7.8 KB
gadget_blake2s.ml -rw-r--r-- 8.8 KB
gadget_ed25519.ml -rw-r--r-- 10.3 KB
gadget_edwards.ml -rw-r--r-- 5.9 KB
gadget_edwards25519.ml -rw-r--r-- 10.4 KB
gadget_merkle.ml -rw-r--r-- 7.3 KB
gadget_merkle_narity.ml -rw-r--r-- 5.1 KB
gadget_mod_arith.ml -rw-r--r-- 28.0 KB
gadget_poseidon.ml -rw-r--r-- 13.1 KB
gadget_schnorr.ml -rw-r--r-- 10.3 KB
gadget_sha2.ml -rw-r--r-- 12.3 KB
gadget_weierstrass.ml -rw-r--r-- 5.7 KB
hash_sig.ml -rw-r--r-- 2.3 KB
lang_core.ml -rw-r--r-- 20.9 KB
lang_stdlib.ml -rw-r--r-- 36.1 KB
linear_algebra.ml -rw-r--r-- 6.8 KB
mds_128.ml -rw-r--r-- 2.9 KB
mds_252.ml -rw-r--r-- 4.2 KB
mds_full.ml -rw-r--r-- 2.8 KB
optimizer.ml -rw-r--r-- 34.0 KB
optimizer_helpers.ml -rw-r--r-- 5.0 KB
plompiler.ml -rw-r--r-- 8.1 KB
range_checks.ml -rw-r--r-- 2.3 KB
range_checks.mli -rw-r--r-- 2.9 KB
result.ml -rw-r--r-- 17.3 KB
sha2_variants.ml -rw-r--r-- 7.5 KB
solver.ml -rw-r--r-- 21.6 KB
solver.mli -rw-r--r-- 6.1 KB
utils.ml -rw-r--r-- 12.7 KB

README.md

back to top