Skip to content
Open
Show file tree
Hide file tree
Changes from 9 commits
Commits
Show all changes
24 commits
Select commit Hold shift + click to select a range
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -79,7 +79,7 @@ RLP_TXN_RCPT := rlptxrcpt

RLP_TXRCPT := rlptxrcpt

RLP_UTILS_CANCUN := rlputils/cancun rlputils/cancun/maxlog.zkasm
RLP_UTILS_CANCUN := rlputils/rlputils.zkasm

ROM := rom

Expand Down
14 changes: 14 additions & 0 deletions constants/evm.zkasm
Original file line number Diff line number Diff line change
Expand Up @@ -25,6 +25,20 @@ const EVM_INST_CALL = 0xF1
const EVM_INST_CALLCODE = 0xF2
const EVM_INST_CREATE2 = 0xF5

;; =============================================================================
;; RLP*
;; =============================================================================
const RLP_UTILS_INST_INTEGER = 0x01
const RLP_UTILS_INST_BYTE_STRING_PREFIX = 0x02
const RLP_UTILS_INST_BYTES32 = 0x04
const RLP_UTILS_INST_DATA_PRICING = 0x08
const RLP_PREFIX_INT_SHORT = 0x80 ;; RLP prefix of a short integer (< 56 bytes), defined in the EYP = 128
const RLP_PREFIX_INT_LONG = 0xB7 ;; RLP prefix of a long integer (≥ 56 bytes), defined in the EYP = 183
const RLP_PREFIX_LIST_SHORT = 0xC0 ;; RLP prefix of a short list (< 56 bytes), defined in the EYP = 192
const RLP_PREFIX_LIST_LONG = 0xF7 ;; RLP prefix of a long list (≥ 56 bytes), defined in the EYP = 247
const RLP_PREFIX_FROM_LONG_TO_SHORT = 0x37 ;; diff between short and long prefix = 55
const RLP_FROM_INT_TO_LIST = 0x40 ;; diff between int and list prefix = 64

;; =============================================================================
;; Wcp
;; =============================================================================
Expand Down
48 changes: 0 additions & 48 deletions rlputils/cancun/columns.lisp

This file was deleted.

7 changes: 0 additions & 7 deletions rlputils/cancun/constants.lisp

This file was deleted.

1 change: 0 additions & 1 deletion rlputils/cancun/constraints/generalities/binary.lisp

This file was deleted.

10 changes: 0 additions & 10 deletions rlputils/cancun/constraints/generalities/constancies.lisp

This file was deleted.

15 changes: 0 additions & 15 deletions rlputils/cancun/constraints/generalities/ct_and_ctmax.lisp

This file was deleted.

24 changes: 0 additions & 24 deletions rlputils/cancun/constraints/generalities/decoding.lisp

This file was deleted.

7 changes: 0 additions & 7 deletions rlputils/cancun/constraints/generalities/finalization.lisp

This file was deleted.

5 changes: 0 additions & 5 deletions rlputils/cancun/constraints/generalities/iomf.lisp

This file was deleted.

13 changes: 0 additions & 13 deletions rlputils/cancun/constraints/generalities/perspective.lisp

This file was deleted.

95 changes: 0 additions & 95 deletions rlputils/cancun/constraints/instructions/byte_string_prefix.lisp

This file was deleted.

13 changes: 0 additions & 13 deletions rlputils/cancun/constraints/instructions/bytes32.lisp

This file was deleted.

56 changes: 0 additions & 56 deletions rlputils/cancun/constraints/instructions/data_pricing.lisp

This file was deleted.

Loading
Loading