zeth.core.mimc Namespace Reference

Classes
class	MiMC17Base
class	MiMCAltBN128
class	MiMCBase
class	MiMCBLS12_377

Functions
List[int]	generate_round_constants (str seed_str, int num_rounds)
ITreeHash	get_tree_hash_for_pairing (str pairing_name)

Function Documentation

generate_round_constants()

List[int] zeth.core.mimc.generate_round_constants	(	str	seed_str,
		int	num_rounds
	)

Return the first `num_rounds` round constants. Not called directly here,
but used to precompute (in particular for the mimc_permutation gadget).

Definition at line 121 of file mimc.py.

def generate_round_constants(seed_str: str, num_rounds: int) -> List[int]:
    """
    Return the first `num_rounds` round constants. Not called directly here,
    but used to precompute (in particular for the mimc_permutation gadget).
    """
    seed = _keccak_256(_str_to_bytes(seed_str))
    rc = seed
 
    rcs = [0]
    for _ in range(1, num_rounds):
        rc = _update_round_constant(rc)
        rcs.append(rc)
 
    assert len(rcs) == num_rounds
    return rcs
 
 

get_tree_hash_for_pairing()

ITreeHash zeth.core.mimc.get_tree_hash_for_pairing

(

str

pairing_name

)

Select an appropriate hash for a given pairing. Note that these must match
the selection logic in `libzeth/circuits/circuit_types.hpp`.

Definition at line 138 of file mimc.py.

def get_tree_hash_for_pairing(pairing_name: str) -> ITreeHash:
    """
    Select an appropriate hash for a given pairing. Note that these must match
    the selection logic in `libzeth/circuits/circuit_types.hpp`.
    """
    if pairing_name == "alt-bn128":
        return MiMCAltBN128()
    if pairing_name == "bls12-377":
        return MiMCBLS12_377()
    raise Exception(f"no tree hash for pairing: {pairing_name}")
 
 

Here is the caller graph for this function: