octez-libs.plompiler
Gadget.AnemoiJive_128_1
aggregation
bare_functor_outputs
bare_sigs
bare_structs
communication
distribution
octez-libs.aplonk
octez-libs.base
octez-libs.base-test-helpers
octez-libs.bls12-381-hash
octez-libs.bls12-381-polynomial
octez-libs.bls12-381-signature
octez-libs.clic
octez-libs.context
octez-libs.crypto
octez-libs.crypto-dal
octez-libs.distributed-plonk
octez-libs.epoxy-tx
octez-libs.error-monad
octez-libs.event-logging
octez-libs.event-logging-test-helpers
octez-libs.expect-helper
octez-libs.hacl
octez-libs.kzg
octez-libs.lazy-containers
octez-libs.lwt-result-stdlib
octez-libs.mec
octez-libs.micheline
octez-libs.plonk
octez-libs.polynomial
octez-libs.requester
octez-libs.rpc
octez-libs.rpc-http
octez-libs.rpc-http-client
octez-libs.rpc-http-client-unix
octez-libs.rpc-http-server
octez-libs.srs-extraction
octez-libs.stdlib
octez-libs.stdlib-unix
octez-libs.test-helpers
octez-libs.tezos-context
octez-libs.tezos-gossipsub
octez-libs.tezos-p2p-services
octez-libs.tezos-sapling
octez-libs.tezos-workers
octez-libs.tezt-wrapper
octez-libs.tree-encoding
octez-libs.version
plonk_test
tezos_base_p2p_identity_file
tezos_base_unix
tezos_clic_unix
tezos_context_disk
tezos_context_dump
tezos_context_encoding
tezos_context_helpers
tezos_context_memory
tezos_context_merkle_proof_encoding
tezos_context_sigs
tezos_crypto_dal_octez_dal_config
tezos_version_parser
traced_functor_outputs
traced_sigs
traced_structs
traces
module L : sig ... end
val parameters : Bls12_381_hash.Permutation.Anemoi.Parameters.t
val nb_rounds : int
val matrix : Bls12_381.Fr.t array array
val rc : Bls12_381.Fr.t array
val repeat : n:int -> ('a -> 'a L.t) -> 'a -> 'a L.t
val round : (L.scalar L.repr * L.scalar L.repr * int) -> (L.scalar L.repr * L.scalar L.repr * int) L.t
val init_state_for_rounds : L.Num.scalar L.Num.repr -> L.Num.scalar L.Num.repr -> (L.Num.scalar L.Num.repr * L.Num.scalar L.Num.repr) L.t
val compress : L.scalar L.repr -> L.scalar L.repr -> L.scalar L.repr L.t
val double_round : (L.scalar L.repr * L.scalar L.repr * int) -> (L.scalar L.repr * L.scalar L.repr * int) L.t
val compress_two : L.scalar L.repr -> L.scalar L.repr -> L.scalar L.repr L.t
val custom_round : (L.scalar L.repr * L.scalar L.repr * int) -> (L.scalar L.repr * L.scalar L.repr * int) L.t
val compress_custom : L.scalar L.repr -> L.scalar L.repr -> L.scalar L.repr L.t
val compress_19_5 : L.scalar L.repr -> L.scalar L.repr -> L.scalar L.repr L.t
val digest : ?input_length:int -> L.scalar list L.repr -> L.scalar L.repr L.t