Expand description
Constants
Constantsยง
- ALLOWED_
FIELDS ๐ - Allowed fields for proofs
- MAX_
ARGS_ ๐PER_ OPCODE - Maximum number of arguments per opcode
- MAX_
BIN_ ๐SIZE - Maximum allowed binary size (1M)
- MAX_
CONSTANTS ๐ - Maximum number of constants allowed
- MAX_
HEAP_ ๐SIZE - Maximum total heap size (constants + witnesses + assigned variables)
- MAX_K ๐
- Maximum allowed k param (circuit rows = 2^k)
- MAX_
LITERALS ๐ - Maximum number of literals allowed
- MAX_
NS_ ๐LEN - Maximum allowed namespace length in bytes
- MAX_
OPCODES ๐ - Maximum number of opcodes allowed
- MAX_
RECURSION_ ๐DEPTH - Maximum recursion depth for nested function calls
- MAX_
STRING_ ๐LEN - Maximum string length for names
- MAX_
WITNESSES ๐ - Maximum number of witnesses allowed
- MIN_
BIN_ ๐SIZE - Minimum size allowed for a syntactically valid ZkBinary
MAGIC_BYTES.length = 4;
k = ##;= 6 (because the current upper-limit for k is a two-digit number Therefore 4 + 6 = 10 is the minimum size - SECTION_
CIRCUIT ๐ - SECTION_
CONSTANT ๐ - SECTION_
DEBUG ๐ - SECTION_
LITERAL ๐ - SECTION_
WITNESS ๐