package tezos-protocol-environment
Interface layer between the protocols and the shell
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-17.3.tar.gz
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc
doc/tezos-protocol-environment.structs/Tezos_protocol_environment_structs/V7/Plonk/index.html
Module V7.Plonk
Source
include module type of struct include Plonk.Main_protocol end
include module type of struct include Plonk.Main_protocol_intf end
include sig ... end
Source
type circuit_prover_input =
Make(Plonk.Polynomial_protocol).circuit_prover_input =
{
witness : scalar array;
input_commitments : Input_commitment.t list;
}
Source
val input_commit :
?size:int ->
?shift:int ->
prover_public_parameters ->
scalar array ->
Input_commitment.t
Source
val setup :
zero_knowledge:bool ->
circuit_map ->
srs:
(Octez_bls12_381_polynomial.Bls12_381_polynomial.Srs.t
* Octez_bls12_381_polynomial.Bls12_381_polynomial.Srs.t) ->
prover_public_parameters * verifier_public_parameters
Source
val update_prover_public_parameters :
Bytes.t ->
prover_public_parameters ->
prover_public_parameters
Source
val update_verifier_public_parameters :
Bytes.t ->
verifier_public_parameters ->
verifier_public_parameters
Source
val public_parameters_encoding :
(verifier_public_parameters * Bytes.t) Data_encoding.encoding
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>