Learning new things!
what stream prover exactly means? find definition here (page 5):
So the “streaming” means that the witness of the sumcheck protocol, i.e., the evaluations of a multilinear polynomial, is not counted in the RAM of the prover, prover doesn’t need to store this information, but only re-generated it when every …
The Ethereum Foundation classifies zkEVMs into five main types based on how closely they replicate Ethereum’s existing infrastructure and execution semantics.
Type 1 – Fully Ethereum-equivalent:
This is the most faithful form of zkEVM, proving the entire Ethereum execution stack — including the EVM, state transitions, and gas accounting — …
Your question:
Why does using a smaller field lead to a more efficient zkVM?
Key points you learned:
| Stage | What happens | Output |
|---|---|---|
| 1. Compilation | Rust → LLVM IR → RISC-V machine code | ELF file |
| 2. Parsing / loading | zkVM loads ELF into memory | memory layout |
| 3. Execution / simulation | zkVM runs RISC-V instructions symbolically | execution trace |
| 4. Constraint generation | Each |
RISC-V has 32 general-purpose registers, Each one is the same width as the CPU’s word size — that is, the natural size of data the processor handles.
Memory in RISC-V is organized as a long array of …
A 32-bit instruction is divided into fields, depending on the format…
When people design an ISA (Instruction Set Architecture), they are really defining the minimum set of operations a CPU must understand in order to run useful programs. At the most fundamental level, that usually boils down to four categories:
[ Rust Program ]
↓
[ Compile to Executable (e.g., ELF, WASM, custom ISA) ]
↓
[ Run on zkVM interpreter or emulator ]
↓
[ Execution Trace (opcodes, memory, registers, etc.) ]
↓
[ Encode Execution Trace into Algebraic Constraints ]
↓
[ Prover proves that trace satisfies the …
Notes from this video
start from the test in lib.rs
The new function create number of auto precompiles, and also set what type of the chip. this are all stored in config, that means, I need to check how the fields of config are used.
prove_mock-> compile and …