Code

chore: update docs#1291

Code

Merged

yi-sun merged 56 commits intomainopenvm-org/openvm:mainfrom chore/update-docsopenvm-org/openvm:chore/update-docsCopy head branch name to clipboardJan 27, 2025

+727-453

Commits

Commits on Jan 27, 2025

• chore: structure ISA

  yi-sun

  committed
  c509004

  Copy full SHA for c509004

• feat: update design and specs

  yi-sun

  committed
  9eb6f2c

  Copy full SHA for 9eb6f2c

• feat: clean up ISA intro, move PUBLISH to system

  yi-sun

  committed
  4878dee

  Copy full SHA for 4878dee

• feat: separate ISA docs into extensions

  yi-sun

  committed
  ca23852

  Copy full SHA for ca23852

• feat: incorporate user IO section into RV32IM extensions

  yi-sun

  committed
  3d0a658

  Copy full SHA for 3d0a658

• feat: separate out phantom sub-instructions

  yi-sun

  committed
  2f408ea

  Copy full SHA for 2f408ea

• feat: move native, and add intro links

  yi-sun

  committed
  ed8b532

  Copy full SHA for ed8b532

• feat: clean up native language

  yi-sun

  committed
  08ec27f

  Copy full SHA for 08ec27f

• chore: align Poseidon2 opcode names

  yi-sun

  committed
  10a091f

  Copy full SHA for 10a091f

• feat: remove register and immediate sections

  yi-sun

  committed
  6531ace

  Copy full SHA for 6531ace

• feat: move syscalls

  yi-sun

  committed
  b267802

  Copy full SHA for b267802

• feat: explain x0 behavior

  yi-sun

  committed
  a320784

  Copy full SHA for a320784

• feat: align naming and wording for keccak, sha256, ecc

  yi-sun

  committed
  d51eeb1

  Copy full SHA for d51eeb1

• chore: align naming of pairing opcode with repo

  yi-sun

  committed
  2e88008

  Copy full SHA for 2e88008

• feat: compress memory explanation

  yi-sun

  committed
  5d81e23

  Copy full SHA for 5d81e23

• feat: explain hints

  yi-sun

  committed
  2c8981b

  Copy full SHA for 2c8981b

• feat: update public values description

  yi-sun

  committed
  aa6f929

  Copy full SHA for aa6f929

• feat: more intro edits

  yi-sun

  committed
  bc7536c

  Copy full SHA for bc7536c

• feat: document address space constraints

  yi-sun

  committed
  55a92af

  Copy full SHA for 55a92af

• fix: replace e by 2 in keccak

  yi-sun

  committed
  c6414f7

  Copy full SHA for c6414f7

• chore: revert extraneous RISCV

  yi-sun

  committed
  8164643

  Copy full SHA for 8164643

• feat: split custom instruction and transpiler pages

  yi-sun

  committed
  dee48a7

  Copy full SHA for dee48a7

• feat: update readme to explain ELF and transpiler

  yi-sun

  committed
  f7055cb

  Copy full SHA for f7055cb

• feat: separate custom instruction format into extensions

  yi-sun

  committed
  b6e349e

  Copy full SHA for b6e349e

• feat: split transpiler format into extensions

  yi-sun

  committed
  d3b0c1d

  Copy full SHA for d3b0c1d

• chore: remove syscalls from ISA

  yi-sun

  committed
  c8f2a57

  Copy full SHA for c8f2a57

• feat: add missing links

  yi-sun

  committed
  5514f82

  Copy full SHA for 5514f82

• [chore] Mention the new HintRandom phantom discriminant in the docs (see PR#1294) (#1296)

  Show description for d9b5b8f
  

  Golovanov399

  authored and

  yi-sun

  committed
  d9b5b8f

  Copy full SHA for d9b5b8f

• feat: update hintstorew and hintbuffer in RISCV

  yi-sun

  committed
  9103017

  Copy full SHA for 9103017

• fix: hintstore and hintbuffer details

  yi-sun

  committed
  cde2ed3

  Copy full SHA for cde2ed3

• feat: add todos and hintrandom to riscv

  yi-sun

  committed
  a7c334b

  Copy full SHA for a7c334b

• feat: remove unsupported system phantom opcodes

  yi-sun

  committed
  851198f

  Copy full SHA for 851198f

• feat: add hintbuffer, split out RV32IM

  yi-sun

  committed
  35df996

  Copy full SHA for 35df996

• feat: reword x0 language

  yi-sun

  committed
  6122cf3

  Copy full SHA for 6122cf3

• feat: explicitly specify x0 handling

  yi-sun

  committed
  8b56f40

  Copy full SHA for 8b56f40

• feat: make setup transpilation explicit

  yi-sun

  committed
  098252e

  Copy full SHA for 098252e

• feat: add setup for complex

  yi-sun

  committed
  81b136c

  Copy full SHA for 81b136c

• feat: update pairing opcodes

  yi-sun

  committed
  bf44ee2

  Copy full SHA for bf44ee2

• fix: Fp2 -> Fp

  yi-sun

  committed
  c5d796c

  Copy full SHA for c5d796c

• fix: correct ind(rd) definition

  yi-sun

  committed
  6d6ffca

  Copy full SHA for 6d6ffca

• feat: add docs for HintLoad

  yi-sun

  committed
  8d8ff43

  Copy full SHA for 8d8ff43

• fix: typo

  yi-sun

  committed
  b709ba7

  Copy full SHA for b709ba7

• feat: update hintrandom in transpiler

  yi-sun

  committed
  1e764c7

  Copy full SHA for 1e764c7

• fix: specify the phantom operand c for ecc and pairing hints

  yi-sun

  committed
  96b99ad

  Copy full SHA for 96b99ad

• chore: clarify curve / pairing notation

  yi-sun

  committed
  4be6a3b

  Copy full SHA for 4be6a3b

• fix: make phantom notation consistent

  yi-sun

  committed
  3947336

  Copy full SHA for 3947336

• fix: wording

  yi-sun

  committed
  6de4347

  Copy full SHA for 6de4347

• Update docs/specs/ISA.md

  Show description for f901f23
  

  yi-sun

  and

  jonathanpwang

  committed
  f901f23

  Copy full SHA for f901f23

• feat: start ISA table

  yi-sun

  committed
  eca9059

  Copy full SHA for eca9059

• feat: add opcode mapping

  yi-sun

  committed
  cf05d1d

  Copy full SHA for cf05d1d

• feat: add phantom sub-instructions for system

  yi-sun

  committed
  45dda66

  Copy full SHA for 45dda66

• chore: try formatting

  yi-sun

  committed
  f2b11e7

  Copy full SHA for f2b11e7

• chore: try formatting

  yi-sun

  committed
  e85cbcd

  Copy full SHA for e85cbcd

• feat: add phantom instructions

  yi-sun

  committed
  2fd1629

  Copy full SHA for 2fd1629

• feat: remove W generic from native BNE, BEQ

  yi-sun

  committed
  0c1bae2

  Copy full SHA for 0c1bae2

• feat: constrain native extension to address space 0, 2, 4

  yi-sun

  committed
  46ab366

  Copy full SHA for 46ab366