Code

Precompile Backend#562

Code

Draft

Roee-87 wants to merge 20 commits intoa16z:maina16z/jolt:mainfrom Roee-87:rr-jolt-precompile-backendRoee-87/jolt:rr-jolt-precompile-backendCopy head branch name to clipboard

+691-17

Commits

Commits on Jan 14, 2025

• added precompile code for common directory

  Roee-87

  committed
  9d21aa7

  Copy full SHA for 9d21aa7

• added comments for jolt-core/jolt/instruction/ecall.rs

  Roee-87

  committed
  e7e56aa

  Copy full SHA for e7e56aa

• added prcompile directory to jotl-core/jolt/

  Roee-87

  committed
  c2d1abb

  Copy full SHA for c2d1abb

• added precompile template code to jolt-sdk

  Roee-87

  committed
  337af2a

  Copy full SHA for 337af2a

Commits on Jan 15, 2025

• added skeleton code for ecall.rs

  Roee-87

  committed
  379541c

  Copy full SHA for 379541c

• removed extra two virtual advice registers

  Roee-87

  committed
  8b15c33

  Copy full SHA for 8b15c33

• added prove and verify placeholder functions in jolt-sdk/macros/lib.rs

  Roee-87

  committed
  ab4d42d

  Copy full SHA for ab4d42d

• added skeleton code to tracer/src/emulator/cpu.rs

  Roee-87

  committed
  9d0231a

  Copy full SHA for 9d0231a

Commits on Jan 16, 2025

• added set_precompile_output_word() to mmu.rs

  Roee-87

  committed
  053d7f3

  Copy full SHA for 053d7f3

• updated mmu precompile methods

  Roee-87

  committed
  da40ee3

  Copy full SHA for da40ee3

• updated cpu.rs

  Roee-87

  committed
  3f38bd5

  Copy full SHA for 3f38bd5

• added ok(()) to ecall method

  Roee-87

  committed
  f65d5f3

  Copy full SHA for f65d5f3

• updated precompile mod.rs for jolt-core

  Roee-87

  committed
  e85ddbe

  Copy full SHA for e85ddbe

• added 16 advice instruction to ecall.rs

  Roee-87

  committed
  691efe6

  Copy full SHA for 691efe6

• added 16 advice instructions to ecall.rs

  Roee-87

  committed
  b70ce3c

  Copy full SHA for b70ce3c

• added conditional for precompile output to load method

  Roee-87

  committed
  8f06579

  Copy full SHA for 8f06579

• fixed typo

  Roee-87

  committed
  e813eac

  Copy full SHA for e813eac

• unsure of how to handle store() method in rv_trace.rs

  Roee-87

  committed
  b3b57ae

  Copy full SHA for b3b57ae

• refactored rv_trace.rs to include conditionals for precompiles in store method

  Roee-87

  committed
  9499b18

  Copy full SHA for 9499b18

• added correct address for panic mem region

  Roee-87

  committed
  c972066

  Copy full SHA for c972066