package octez-libs
A package that contains multiple base libraries used by the Octez suite
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-octez-v20.1.tag.bz2
sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61
sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65
doc/octez-libs.aplonk/Aplonk/Pi_parameters/Rollup_example/index.html
Module Pi_parameters.Rollup_exampleSource
number of public inputs in an individual inner proof
total number of public inputs that are public for aPlonK
Source
val check :
switches:bool L.repr list ->
outer:L.scalar L.repr list ->
inner:L.scalar L.repr list list ->
bool L.repr L.tpredicate (in circuit form) on all of PI of the inner proofs and outer PI. giving the argument [x_1;x_2];[y_1;y_2] means that x_1 ; x_2 are resp. the fst and second PI of the first inner proof and y_1;y_2 the fst and snd PI of the snd inner proof
create outer from inner PI; note that the existence of this function restricts the outer PI to be computable from the inner PI.