Code

Convert NVM Back to RV32 Base#164

Code

Merged

sjudson merged 47 commits intomainnexus-xyz/nexus-zkvm:mainfrom only-riscvnexus-xyz/nexus-zkvm:only-riscvCopy head branch name to clipboardMay 30, 2024

+2,565-2,788

Commits

Commits on May 29, 2024

• Restore old circuits.

  sjudson

  committed
  9458b66

  Copy full SHA for 9458b66

• Segment out Nexus extension.

  sjudson

  committed
  3399b29

  Copy full SHA for 3399b29

• Move everything together, without the pieces tied up internally.

  sjudson

  committed
  249e609

  Copy full SHA for 249e609

• Fix some dependencies and restore all memory interface.

  sjudson

  committed
  09c9ff3

  Copy full SHA for 09c9ff3

• More reconciliation work.

  sjudson

  committed
  d0031d9

  Copy full SHA for d0031d9

• Plodding along with reconciliation.

  sjudson

  committed
  a2ce1e4

  Copy full SHA for a2ce1e4

• Still more yet todo + some formatting.

  sjudson

  committed
  4827f98

  Copy full SHA for 4827f98

• More conversion.

  sjudson

  committed
  c6583dc

  Copy full SHA for c6583dc

• Maybe getting there.

  sjudson

  committed
  ec91bd5

  Copy full SHA for ec91bd5

• Get compiling.

  sjudson

  committed
  686289a

  Copy full SHA for 686289a

• Fix proofs and get tests passing.

  sjudson

  committed
  569e68a

  Copy full SHA for 569e68a

• Clippy + formatting.

  sjudson

  committed
  b408268

  Copy full SHA for b408268

• Large amounts of integration work.

  sjudson

  committed
  2cf87da

  Copy full SHA for 2cf87da

• Getting there with unit tests.

  sjudson

  committed
  02690ad

  Copy full SHA for 02690ad

• Format and clippy.

  sjudson

  committed
  f237a3d

  Copy full SHA for f237a3d

• Minor.

  sjudson

  committed
  b789e96

  Copy full SHA for b789e96

• Use paged memory for cli.

  sjudson

  committed
  05bf956

  Copy full SHA for 05bf956

• Restore reading from private input tape.

  sjudson

  committed
  68e7640

  Copy full SHA for 68e7640

• Working towards resolving memory proofs.

  sjudson

  committed
  3dfa8a6

  Copy full SHA for 3dfa8a6

• Fix proof size inconsistency.

  sjudson

  committed
  4767256

  Copy full SHA for 4767256

• Minor.

  sjudson

  committed
  b7c1a1f

  Copy full SHA for b7c1a1f

• Minor.

  sjudson

  committed
  6b621bf

  Copy full SHA for 6b621bf

• Start to reshape circuit for ecall.

  sjudson

  committed
  c97369c

  Copy full SHA for c97369c

• Some cleaning

  sjudson

  committed
  e841e81

  Copy full SHA for e841e81

• Minor.

  sjudson

  committed
  4a88a75

  Copy full SHA for 4a88a75

• Get working by updating opcode.

  sjudson

  committed
  b90d2ad

  Copy full SHA for b90d2ad

• Fix.

  sjudson

  committed
  d813f75

  Copy full SHA for d813f75

• Fix display issue.

  sjudson

  committed
  d062c7b

  Copy full SHA for d062c7b

• Format.

  sjudson

  committed
  38edd94

  Copy full SHA for 38edd94

• Restore documentation.

  sjudson

  committed
  0a39c97

  Copy full SHA for 0a39c97

• More documentation.

  sjudson

  committed
  90c051f

  Copy full SHA for 90c051f

• Format.

  sjudson

  committed
  5375f76

  Copy full SHA for 5375f76

• Clippy.

  sjudson

  committed
  447f228

  Copy full SHA for 447f228

• Fix test.

  sjudson

  committed
  d685995

  Copy full SHA for d685995

• Update vm/src/error.rs

  Show description for d4aa98e
  

  sjudson

  and

  mx00s

  committed
  d4aa98e

  Copy full SHA for d4aa98e

• Remove mistake from rebase.

  sjudson

  committed
  0d07baa

  Copy full SHA for 0d07baa

• More rebase fixing.

  sjudson

  committed
  556a4f5

  Copy full SHA for 556a4f5

• More on rebasing with Jolt.

  sjudson

  committed
  48d9aa2

  Copy full SHA for 48d9aa2

• Update vm/src/rv32/parse.rs

  Show description for 506f9c1
  

  sjudson

  and

  mx00s

  committed
  506f9c1

  Copy full SHA for 506f9c1

• Finish Jolt rebase.

  sjudson

  committed
  9090eae

  Copy full SHA for 9090eae

• Add runtime check for instruction set.

  sjudson

  committed
  0323018

  Copy full SHA for 0323018

• Remove comment.

  sjudson

  committed
  bc82783

  Copy full SHA for bc82783

• Format.

  sjudson

  committed
  d130aa2

  Copy full SHA for d130aa2

• Match all rd values.

  sjudson

  committed
  b922877

  Copy full SHA for b922877

• Formatting.

  sjudson

  committed
  adc3886

  Copy full SHA for adc3886

Commits on May 30, 2024

• Fix tracking of branching instructions for larger k.

  sjudson

  committed
  b623018

  Copy full SHA for b623018

• Formatting.

  sjudson

  committed
  f60ef84

  Copy full SHA for f60ef84