utils

Documentation

Index

• func NafDecomposition(a *big.Int, result []int8) int
• func PrecomputeLattice(r, lambda *big.Int, res *Lattice)
• func SplitScalar(s *big.Int, l *Lattice) [2]big.Int
• type Lattice

Functions

func NafDecomposition

func NafDecomposition(a *big.Int, result []int8) int

NafDecomposition gets the naf decomposition of a big number

func PrecomputeLattice

func PrecomputeLattice(r, lambda *big.Int, res *Lattice)

PrecomputeLattice res such that res.V1, res.V2 are short vectors satisfying v11+v12lambda=v21+v22lambda=0[r]. cf https://www.iacr.org/archive/crypto2001/21390189.pdf

func SplitScalar

func SplitScalar(s *big.Int, l *Lattice) [2]big.Int

SplitScalar outputs u,v such that u+vlambda=s[r]. The method is to view s as (s,0) in ZxZ, and find a close vector w of (s,0) in <l>, where l is a sub Z-module of ker((a,b)->a+blambda[r]): then (u,v)=w-(s,0), and u+vlambda=s[r]. cf https://www.iacr.org/archive/crypto2001/21390189.pdf

Types

type Lattice

type Lattice struct {
	V1, V2 [2]big.Int
	Det    big.Int
}

Lattice represents a Z module spanned by V1, V2. det is the associated determinant.