zeroExtend

Functions
template<domain D :shared3p >
D xor_uint8	zeroExtend (D xor_uint8[[1]] s, uint n)

Detailed Description

Extend an input string with zeroes.

Note

D - shared3p protection domain

Supported types - xor_uint8

Parameters

s	- an input string
n	- minimum size that we want the resulting string to be

Returns

returns a vector that was created by zeroextending s

Postcondition

size (output vector) >= n

s is a prefix of the output vector

only zeroes have been added to the output vector

if size ( s ) >= n then the output vector == s

Leakage

None

Function Documentation

zeroExtend()

D xor_uint8 zeroExtend	(	D xor_uint8[[1]]	s,
		uint	n
	)