8 lines
230 B
Plaintext
8 lines
230 B
Plaintext
|
import "./unpack" as unpack;
|
||
|
|
|
||
|
|
// Unpack a field element as 128 big-endian bits
|
||
|
|
// If the input is larger than `2**128 - 1`, the output is truncated.
|
||
|
|
def main(field i) -> bool[128] {
|
||
|
|
bool[128] res = unpack(i);
|
||
|
|
return res;
|
||
|
|
}
|