Module risc0_circuit_recursion::control_id

source ·

Constants§

  • ALLOWED_CONTROL_IDS
    Control IDs allowed in the default set of recursion programs. Includes control IDs for the base set of recursion programs, and each power-of-two of the rv32im circuit, using Poseidon2.
  • ALLOWED_CONTROL_ROOT
    Root of the Merkle tree constructed from ALLOWED_CONTROL_IDS, using Poseidon2.
  • BN254_IDENTITY_CONTROL_ID
    Control ID for the identity recursion programs (ZKR), using Poseidon over the BN254 scalar field.
  • POSEIDON2_CONTROL_IDS
    Control IDs for included recursion programs (ZKRs), using Poseidon2 over BabyBear.
  • SHA256_CONTROL_IDS
    Control IDs for included recursion programs (ZKRs), using SHA-256.