StarkEx Deep Dive 🐬

Important Links

Pedersen Hash Function

$H$

is a Pedersen hash on two field elements, $(a, b)$

represented as $252$

-bit integers, defined as follows:$H(a, b) = [P_0 + a_{\text{low}} \cdot P_1 + a_{\text{high}} \cdot P_2 + b_{\text{low}} \cdot P_3 + b_{\text{high}} \cdot P_4]_x$

where

$a_{\text{low}}$

is the $248$

low bits of $a$

, $a_{\text{high}}$

is the $4$

high bits of $a$

(and similarly for $b$

). $[P]_x$

denotes the $x$

-coordinate of an elliptic-curve point $P$

. $P_0, P_1, P_2, P_3, P_4$

are constant points on the elliptic curve, derived from the decimal digits of $\pi$

. The shift point $P_0$

was added for technical reasons to make sure the point at infinity on the elliptic curve does not appear during the computation.
You can check the python and javascript reference implementation of this function.Constant Points

Last modified 4mo ago

Copy link

Contents

Constant Points