discuss: spanned AST

evm_arithmetization/Cargo.toml

@@ -17,6 +17,8 @@ keywords.workspace = true
 [dependencies]
 anyhow.workspace = true
 bytes.workspace = true
+derive-quote-to-tokens = "0.1.1"
+derive-syn-parse = "0.2.0"
 env_logger.workspace = true
 ethereum-types.workspace = true
 hashbrown.workspace = true
@@ -34,6 +36,8 @@ pest_derive.workspace = true
 plonky2 = { workspace = true, features = ["parallel"] }
 plonky2_maybe_rayon = { workspace = true, features = ["parallel"] }
 plonky2_util.workspace = true
+proc-macro2.workspace = true
+quote.workspace = true
 rand.workspace = true
 rand_chacha.workspace = true
 rlp.workspace = true
@@ -45,15 +49,20 @@ sha2.workspace = true
 smt_trie = { workspace = true, optional = true }
 starky = { workspace = true, features = ["parallel"] }
 static_assertions.workspace = true
+syn.workspace = true
 thiserror.workspace = true
 tiny-keccak.workspace = true
 zk_evm_common.workspace = true
 zk_evm_proc_macro.workspace = true
 
 [dev-dependencies]
+camino = "1.1.9"
 criterion.workspace = true
+glob = "0.3.1"
 hex.workspace = true
+libtest-mimic = "0.7.3"
 ripemd.workspace = true
+syn-miette = "0.3.0"
 
 [features]
 default = ["eth_mainnet"]
@@ -74,6 +83,9 @@ harness = false
 name = "fibonacci_25m_gas"
 harness = false
 
+[[test]]
+name = "parse"
+harness = false
 
 # Display math equations properly in documentation
 [package.metadata.docs.rs]

evm_arithmetization/src/cpu/kernel/asm/beacon_roots.asm

@@ -1,10 +1,10 @@
-/// EIP-4788: Beacon block root in the EVM
-/// <https://eips.ethereum.org/EIPS/eip-4788#pseudocode>
-///
-/// *NOTE*: This will panic if one of the provided timestamps is zero.
+// EIP-4788: Beacon block root in the EVM
+// <https://eips.ethereum.org/EIPS/eip-4788#pseudocode>
+//
+// *NOTE*: This will panic if one of the provided timestamps is zero.
 
-/// Pre-stack: (empty)
-/// Post-stack: (empty)
+// Pre-stack: (empty)
+// Post-stack: (empty)
 global set_beacon_root:
     // stack: (empty)
     PUSH txn_loop

evm_arithmetization/src/cpu/kernel/asm/bloom_filter.asm

@@ -1,4 +1,4 @@
-/// Implementation of Bloom filters for logs.
+// Implementation of Bloom filters for logs.
 
 // Adds a Bloom entry to the transaction Bloom filter and the block Bloom filter.
 //

evm_arithmetization/src/cpu/kernel/asm/cdk_pre_execution.asm

@@ -1,9 +1,9 @@
-/// CDK-Erigon pre-block execution logic.
-/// Reference implementation: `cdk-erigon/core/state/intra_block_state_zkevm.go`.
-/// This currently supports the Etrog upgrade.
+// CDK-Erigon pre-block execution logic.
+// Reference implementation: `cdk-erigon/core/state/intra_block_state_zkevm.go`.
+// This currently supports the Etrog upgrade.
 
-/// Pre-stack: (empty)
-/// Post-stack: (empty)
+// Pre-stack: (empty)
+// Post-stack: (empty)
 global pre_block_execution:
     // stack: (empty)
     PUSH txn_loop