zeth.core.constants Namespace Reference

Functions
int	bit_length_to_byte_length (int bit_length)

Function Documentation

bit_length_to_byte_length()

int zeth.core.constants.bit_length_to_byte_length

(

int

bit_length

)

Convert bit length to byte length

Definition at line 18 of file constants.py.

def bit_length_to_byte_length(bit_length: int) -> int:
    """
    Convert bit length to byte length
    """
    assert \
        bit_length >= 0 and bit_length % 8 == 0, \
        "Not valid bit_length inserted"
    return int(bit_length/8)
 
 
# GROTH16 constants
GROTH16_ZKSNARK: str = "GROTH16"
GROTH16_MIXER_CONTRACT: str = "Groth16Mixer"
 
# PGHR13 constants
PGHR13_ZKSNARK: str = "PGHR13"
PGHR13_MIXER_CONTRACT: str = "Pghr13Mixer"
 
# Set of valid snarks
VALID_ZKSNARKS: List[str] = [GROTH16_ZKSNARK, PGHR13_ZKSNARK]
 
# Merkle tree depth
ZETH_MERKLE_TREE_DEPTH: int = 32
 
# Nb of input notes
JS_INPUTS: int = 2
 
# Nb of output notes
JS_OUTPUTS: int = 2
 
# Hash digest length (for commitment and PRFs)
DIGEST_LENGTH: int = 256
 
# Public value length (v_pub_in and v_pub_out)
PUBLIC_VALUE_LENGTH: int = 64
PUBLIC_VALUE_LENGTH_BYTES: int = bit_length_to_byte_length(PUBLIC_VALUE_LENGTH)
_PUBLIC_VALUE_MASK: int = (1 << PUBLIC_VALUE_LENGTH) - 1
 
PHI_LENGTH: int = 256
PHI_LENGTH_BYTES: int = bit_length_to_byte_length(PHI_LENGTH)
 
APK_LENGTH: int = 256
APK_LENGTH_BYTES: int = bit_length_to_byte_length(APK_LENGTH)
 
RHO_LENGTH: int = 256
RHO_LENGTH_BYTES: int = bit_length_to_byte_length(RHO_LENGTH)
 
TRAPR_LENGTH: int = 256
TRAPR_LENGTH_BYTES: int = bit_length_to_byte_length(TRAPR_LENGTH)
 
NOTE_LENGTH: int = APK_LENGTH + PUBLIC_VALUE_LENGTH + RHO_LENGTH + TRAPR_LENGTH
NOTE_LENGTH_BYTES: int = bit_length_to_byte_length(NOTE_LENGTH)
 
# Public inputs are (see AbstractMixer.sol):
#   [0                 ] - 1     x merkle root
#   [1                 ] - jsOut x commitment
#   [1 + jsOut         ] - jsIn  x nullifier (partial)
#   [1 + jsOut + jsIn  ] - 1     x hsig (partial)
#   [2 + jsOut + jsIn  ] - JsIn  x message auth tags (partial)
#   [2 + jsOut + 2*jsIn] - 1     x residual bits, v_in, v_out
 
# Index (in public inputs) of residual bits
RESIDUAL_BITS_INDEX: int = (2 * JS_INPUTS) + JS_OUTPUTS + 2
 
# Number of full-length digests to be encoded in public inputs
NUM_INPUT_DIGESTS: int = (2 * JS_INPUTS) + 1
 
# Solidity compiler version
SOL_COMPILER_VERSION: str = 'v0.8.1'
 
# Seed for MIMC
MIMC_MT_SEED: str = "clearmatics_mt_seed"
 
# Units for vpub_in and vpub_out, given in Wei. i.e.
#   Value (in Wei) = vpub_{in,out} * ZETH_PUBLIC_UNIT_VALUE
ZETH_PUBLIC_UNIT_VALUE: int = 1000000000000  # 1 Szabo (10^12 Wei).