| File | Mode | Size |
|---|---|---|
| z3 | ||
| README.md | -rw-r--r-- | 776 bytes |
| 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-- | 44.9 KB |
| csir.ml | -rw-r--r-- | 13.8 KB |
| dune | -rw-r--r-- | 341 bytes |
| encoding.ml | -rw-r--r-- | 7.8 KB |
| gadget_anemoi.ml | -rw-r--r-- | 7.8 KB |
| gadget_blake2s.ml | -rw-r--r-- | 8.7 KB |
| gadget_edwards.ml | -rw-r--r-- | 7.0 KB |
| gadget_merkle.ml | -rw-r--r-- | 7.3 KB |
| gadget_merkle_narity.ml | -rw-r--r-- | 5.1 KB |
| gadget_poseidon.ml | -rw-r--r-- | 13.3 KB |
| gadget_schnorr.ml | -rw-r--r-- | 10.5 KB |
| gadget_weierstrass.ml | -rw-r--r-- | 6.7 KB |
| hash_sig.ml | -rw-r--r-- | 2.3 KB |
| lang_core.ml | -rw-r--r-- | 7.3 KB |
| lang_stdlib.ml | -rw-r--r-- | 12.6 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-- | 31.8 KB |
| optimizer_helpers.ml | -rw-r--r-- | 5.0 KB |
| plompiler.ml | -rw-r--r-- | 3.3 KB |
| result.ml | -rw-r--r-- | 13.0 KB |
| solver.ml | -rw-r--r-- | 13.5 KB |
| solver.mli | -rw-r--r-- | 4.3 KB |
| utils.ml | -rw-r--r-- | 6.0 KB |
| variants.ml | -rw-r--r-- | 1.9 KB |
