def pass_fin

bend-collections-laws-crypto@1.0.0.0 · src/crypto/curve25519/field.bend:114

import bend-collections-laws-crypto@1.0.0.0/src/crypto/curve25519/field.bend as Field

import Base

114# carry, then fold the carry out back in: 2^256 == 38 (mod p)
115def pass_fin(r: Cr) -> List<&2, U32>:
116  match r:
117    case Cr{a, c}:
118      add0(a, U32.mul(38, c))

Uses (5)

Used by (6)