Module varbasemul 

This module implements short Weierstrass curve variable base scalar multiplication custom Plonk polynomials.

Acc := [2]T
for i = n-1 ... 0:
  Q := (r_i == 1) ? T : -T
  Acc := Acc + (Q + Acc)

See https://github.com/zcash/zcash/issues/3924 and 3.1 of https://arxiv.org/pdf/math/0208038.pdf for details.

Structs

Layout

Point 🔒

VarbaseMul

Implementation of the VarbaseMul gate

VarbaseMulResult

Traits

FromWitness 🔒

Functions

set 🔒

single_bit 🔒

single_bit_witness 🔒

v 🔒

witness

Apply the witness value.

Type Aliases

Variable 🔒