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 |