8 lines
321 B
Plaintext
8 lines
321 B
Plaintext
|
from "EMBED" import unpack;
|
||
|
|
|
||
|
|
// Unpack a field element as N big endian bits without checking for overflows
|
||
|
|
// This does *not* guarantee a single output: for example, 0 can be decomposed as 0 or as P and this function does not enforce either
|
||
|
|
def main<N>(field i) -> bool[N] {
|
||
|
|
bool[N] res = unpack(i);
|
||
|
|
return res;
|
||
|
|
}
|