package octez-libs
A package that contains multiple base libraries used by the Octez suite
Install
dune-project
Dependency
Authors
Maintainers
Sources
tezos-18.1.tar.gz
sha256=aa2f5bc99cc4ca2217c52a1af2a2cdfd3b383208cb859ca2e79ca0903396ca1d
sha512=d68bb3eb615e3dcccc845fddfc9901c95b3c6dc8e105e39522ce97637b1308a7fa7aa1d271351d5933febd7476b2819e1694f31198f1f0919681f1f9cc97cb3a
doc/octez-libs.plonk/Plonk/Arithmetic_gates/X5C/index.html
Module Arithmetic_gates.X5CSource
Source
val equations :
q:Plonk.Bls.Scalar.t ->
wires:Plonk.Bls.Scalar.t array ->
wires_g:Plonk.Bls.Scalar.t array ->
?precomputed_advice:Plonk.Bls.Scalar.t SMap.t ->
unit ->
Plonk.Bls.Scalar.t listSource
val prover_identities :
prefix_common:(string -> string) ->
prefix:(string -> string) ->
public:Gates_common.public ->
domain:Plonk.Bls.Domain.t ->
Identities.prover_identitiesSource
val verifier_identities :
prefix_common:(string -> string) ->
prefix:(string -> string) ->
public:Gates_common.public ->
generator:Plonk.Bls.Scalar.t ->
size_domain:int ->
Identities.verifier_identitiesSource
val cs :
q:Plonk.Gates_common.L.scalar Plonk.Gates_common.L.repr ->
wires:Plonk.Gates_common.L.scalar Plonk.Gates_common.L.repr array ->
wires_g:Plonk.Gates_common.L.scalar Plonk.Gates_common.L.repr array ->
?precomputed_advice:
Plonk.Gates_common.L.scalar Plonk.Gates_common.L.repr SMap.t ->
unit ->
Plonk.Gates_common.L.scalar Plonk.Gates_common.L.repr list
Plonk.Gates_common.L.t