Revision a6a40d62517655a8f72002ab395e1e63b6251886 authored by Marge Bot on 06 February 2024, 08:47:30 UTC, committed by Marge Bot on 06 February 2024, 08:47:30 UTC
Co-authored-by: Alain Mebsout <alain.mebsout@functori.com> Approved-by: Sylvain R. <sylvain.ribstein@nomadic-labs.com> Approved-by: Nic Volanschi <nic.volanschi@nomadic-labs.com> Approved-by: Killian Delarue <killian.delarue@nomadic-labs.com> Approved-by: Victor Allombert <victor.allombert@nomadic-labs.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/11829
| File | Mode | Size |
|---|---|---|
| test | ||
| test_plompiler | ||
| README.md | -rw-r--r-- | 445 bytes |
| arithmetic_gates.ml | -rw-r--r-- | 15.1 KB |
| boolean_gates.ml | -rw-r--r-- | 7.5 KB |
| circuit.ml | -rw-r--r-- | 16.6 KB |
| cq.ml | -rw-r--r-- | 24.4 KB |
| custom_gates.ml | -rw-r--r-- | 12.9 KB |
| dune | -rw-r--r-- | 318 bytes |
| ecc_gates.ml | -rw-r--r-- | 26.2 KB |
| evaluations_map.ml | -rw-r--r-- | 6.0 KB |
| gates_common.ml | -rw-r--r-- | 5.2 KB |
| hash_gates.ml | -rw-r--r-- | 10.7 KB |
| identities.ml | -rw-r--r-- | 3.5 KB |
| input_commitment.ml | -rw-r--r-- | 1.9 KB |
| list.ml | -rw-r--r-- | 5.9 KB |
| main_protocol.ml | -rw-r--r-- | 53.7 KB |
| main_protocol_intf.ml | -rw-r--r-- | 7.7 KB |
| mod_arith_gates.ml | -rw-r--r-- | 18.6 KB |
| permutation_gate.ml | -rw-r--r-- | 27.6 KB |
| plookup_gate.ml | -rw-r--r-- | 21.6 KB |
| polynomial_protocol.ml | -rw-r--r-- | 12.2 KB |
| range_check_gate.ml | -rw-r--r-- | 21.0 KB |
Computing file changes ...
