package octez-libs

  1. Overview
  2. Docs
A package that contains multiple base libraries used by the Octez suite

Install

Dune Dependency

Authors

Maintainers

Sources

tezos-18.0.tar.gz
sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c
sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a

doc/octez-libs.plompiler/Plompiler/Gadget/Ed25519/V/argument-1-L/Ecc/index.html

Module L.Ecc

Addition on ECC curves.

val weierstrass_add : (scalar * scalar) repr -> (scalar * scalar) repr -> (scalar * scalar) repr t

weierstrass_add (px, py) (qx, qy) returns a pair (rx, ry) representing point addition over the Jubjub curve in Weierstrass coordinates of the given input points. Namely, it enforces constraints rx = λ² - (px + qx) and ry = λ * (px - rx) - py, where λ := (qy - py) / (qx - px).

val edwards_add : (scalar * scalar) repr -> (scalar * scalar) repr -> (scalar * scalar) repr t

edwards_add (px, py) (qx, qy) returns a pair (rx, ry) representing point addition over the Jubjub curve in Edwards coordinates of the given input points. Namely, it enforces constraints rx = (px * qy + qx * py) / (1 + d * px * py * qx * qy) and ry = (py * qy - a * px * qx) / (1 - d * px * py * qx * qy) where a := -1 and d are fixed parameters of the Jubjub curve in this representation. See Lib_plonk.Ecc_gates.

val edwards_cond_add : (scalar * scalar) repr -> (scalar * scalar) repr -> bool repr -> (scalar * scalar) repr t

edwards_cond_add p q b returns edwards_add p q if b is true and p otherwise.

OCaml

Innovation. Community. Security.