Homepage

Crypto Log

Categories
  • zkVM
  • Compiler

 

Recent Blogs

  • Compiler Concepts

    🧠 Compiler vs Interpreter: What’s the difference? Feature Compiler Interpreter What it does Translates the whole program before running Translates and runs the program line by line Output Creates an executable file (e.g., .exe) Does not produce a separate executable Speed (at runtime) Usually faster (runs native machine code) Slower (executes via interpreter at runtime)…

  • Register, RAM, SSD, STACK, HEAP

    1. Register 2. RAM (Random Access Memory) 3. SSD (Solid State Drive) Memory vs. Storage Feature RAM (Memory) SSD (Storage) Speed Very fast Slower Volatility Temporary (volatile) Permanent (persistent) Capacity GBs (small) 100s GB–TB (large) Use Running programs Storing programs/files What is an HDD? HDD stands for Hard Disk Drive — it’s a mechanical storage…

  • Trace back CLI parameters

    I want to understand: how cargo run -r –bin powdr_openvm — … works and how you can trace back CLI parameters like –input and –autoprecompiles to the source code. chatGPT said I need to check [bin] definition in Cargo.toml to get what binary will be, but there is no [bin] part in toml file 1.…

  • Precompile, chip, air, pc_lookup

    Chip initialized the AIR: It is initialized in VmExtension for PowdrExtension, in vm.rs file Remember PowdrExtension has these, if I add config, then the bus_map can pass through generate_air_proof_input is a function of PlonkChip! PC_lookup fix run this command in debug.pil I can see the pc_lookup format: it seems to have 9 arguments I can…

  • Plonkchip add bus in eval

    PowdrAir Eval PowdrAir eval is in the chip.rs following the implementation of powdrChip powdrAir, the eval function add constraint and bus interactions, powdrAir stores the symbolic_machine let’s see where the powdrAir is initiated it’s new function take machine as an input: check where thies new function is called. in powdrChip, where air is built. PlonkAir…

  • Add bus interactions for plonk circuit

    how the plonkChip get the AIR? we first check how the powdrChip gets its air: it takes a machine as input, generate a PowdrAir. check how the new function of powdrAir is implemented? but it needs to define PlonkAir data structure PowdrAir has this it make sense to have machine for plonkAir, Machine to Plonk…