Code

zkasm hackaton#1

Code

Closed

nagisa wants to merge 68 commits intomainnear/wasmtime:mainfrom zkasm-hackatonnear/wasmtime:zkasm-hackatonCopy head branch name to clipboard

+20,783-4

Commits

Commits on Aug 24, 2023

• zkasm: copy riscv64 backend as zkasm starting point

  Show description for 2af4f60
  nagisa

  committed
  2af4f60

  Copy full SHA for 2af4f60

• rename

  nagisa

  committed
  366fcc3

  Copy full SHA for 366fcc3

• Fix the wasm command

  nagisa

  committed
  4ca385a

  Copy full SHA for 4ca385a

• todo-out riscv64 codegen

  Ekleog-NEAR

  committed
  95d9bf3

  Copy full SHA for 95d9bf3

• split todo for emit further

  Ekleog-NEAR

  committed
  c721b1e

  Copy full SHA for c721b1e

• Use fixed registers for AluRRR

  aborg-dev

  committed
  07338e9

  Copy full SHA for 07338e9

• Add prints to emit

  aborg-dev

  committed
  ced9775

  Copy full SHA for ced9775

• add some call prints

  nagisa

  committed
  932c527

  Copy full SHA for 932c527

• Allow unused vars in some places

  aborg-dev

  committed
  21f2a56

  Copy full SHA for 21f2a56

• add printlns for other things we need to implement

  Ekleog-NEAR

  committed
  387da7c

  Copy full SHA for 387da7c

• Add an AddImm32 MInst variant

  Show description for 68c42d1
  nagisa

  committed
  68c42d1

  Copy full SHA for 68c42d1

• remove rust-analyzer spew

  nagisa

  committed
  2b02dcc

  Copy full SHA for 2b02dcc

• Update the set of registers

  aborg-dev

  committed
  cc40f68

  Copy full SHA for cc40f68

• implement jump-to-label

  Ekleog-NEAR

  committed
  a5e74b0

  Copy full SHA for a5e74b0

• Use allocated physical registers where appropriate...

  nagisa

  committed
  9382193

  Copy full SHA for 9382193

• This target does not support unwinding

  nagisa

  committed
  aea57ad

  Copy full SHA for aea57ad

• MSTORE: make it more general

  nagisa

  committed
  e602536

  Copy full SHA for e602536

• Migrate from println to sink

  aborg-dev

  committed
  12977ba

  Copy full SHA for 12977ba

• handle jumps and labels

  Ekleog-NEAR

  committed
  4e5aa2b

  Copy full SHA for 4e5aa2b

• Add a few more instructions for counter

  aborg-dev

  committed
  3a23cef

  Copy full SHA for 3a23cef

Commits on Aug 28, 2023

• Allocate registers during Mov

  aborg-dev

  committed
  c431024

  Copy full SHA for c431024

• Use proper register names

  aborg-dev

  committed
  bf4f7cc

  Copy full SHA for bf4f7cc

Commits on Aug 29, 2023

• Fix a few more emit statements

  aborg-dev

  committed
  ff8855d

  Copy full SHA for ff8855d

• Rename a few more registers

  aborg-dev

  committed
  17927bf

  Copy full SHA for 17927bf

• Allocate call return address

  aborg-dev

  committed
  fac63c6

  Copy full SHA for fac63c6

• Fix ADD instruction

  aborg-dev

  committed
  ee1147b

  Copy full SHA for ee1147b

• Implement ASSERT calls

  aborg-dev

  committed
  f5c868b

  Copy full SHA for f5c868b

• Format integer in LOAD

  aborg-dev

  committed
  3db90c7

  Copy full SHA for 3db90c7

• Rewrite function calling conventions

  aborg-dev

  committed
  a6d8a9c

  Copy full SHA for a6d8a9c

• Remove space after colon

  aborg-dev

  committed
  d88a1ce

  Copy full SHA for d88a1ce

• LOAD -> MLOAD

  aborg-dev

  committed
  bae400d

  Copy full SHA for bae400d

• Add preamble and postamble

  aborg-dev

  committed
  26da8e1

  Copy full SHA for 26da8e1

• Run cargo fmt

  aborg-dev

  committed
  e0290bd

  Copy full SHA for e0290bd

• Fix number representations

  aborg-dev

  committed
  89ea5a3

  Copy full SHA for 89ea5a3

• Indent instructions

  aborg-dev

  committed
  68c7c40

  Copy full SHA for 68c7c40

• Add methods for counter testcase

  aborg-dev

  committed
  844dade

  Copy full SHA for 844dade

• Fix formatting issue

  aborg-dev

  committed
  069a586

  Copy full SHA for 069a586

• Implement conditionals

  aborg-dev

  committed
  efb6d32

  Copy full SHA for efb6d32

Commits on Aug 30, 2023

• Tweak the set of available registers

  aborg-dev

  committed
  5398fa2

  Copy full SHA for 5398fa2

• Fix MLOAD/MSTORE with negative immediates

  aborg-dev

  committed
  18f3d50

  Copy full SHA for 18f3d50

• Fix clobbering logic

  aborg-dev

  committed
  ee70c32

  Copy full SHA for ee70c32

• Hack extend implementation

  aborg-dev

  committed
  0742845

  Copy full SHA for 0742845

• Format abi.rs

  aborg-dev

  committed
  5edf8ff

  Copy full SHA for 5edf8ff

• Add results of compilation to git

  aborg-dev

  committed
  557d5ea

  Copy full SHA for 557d5ea

• Remove empty file

  aborg-dev

  committed
  db67946

  Copy full SHA for db67946

Commits on Aug 31, 2023

• Print code conditionally

  aborg-dev

  committed
  6b2c993

  Copy full SHA for 6b2c993

• Handle VMContext register

  aborg-dev

  committed
  3ff0f24

  Copy full SHA for 3ff0f24

• Add a function for context_register

  aborg-dev

  committed
  7256201

  Copy full SHA for 7256201

• Support Icmp instruction

  aborg-dev

  committed
  d6ddbf8

  Copy full SHA for d6ddbf8

• Update generated zkasm with conditionals

  aborg-dev

  committed
  6f18a58

  Copy full SHA for 6f18a58

• Fix inversion in jump comparison

  aborg-dev

  committed
  33748c6

  Copy full SHA for 33748c6

Commits on Sep 4, 2023

• Implement function calls

  aborg-dev

  committed
  9d2bff7

  Copy full SHA for 9d2bff7

• Fix function indexing

  aborg-dev

  committed
  ee6bed4

  Copy full SHA for ee6bed4

• Add a newline between functions

  aborg-dev

  committed
  e044dfb

  Copy full SHA for e044dfb

• Property result extfuncnames

  aborg-dev

  committed
  a382e44

  Copy full SHA for a382e44

Commits on Sep 5, 2023

• Disambiguate labels across functions

  aborg-dev

  committed
  140d38c

  Copy full SHA for 140d38c

• Remove redundant labels

  aborg-dev

  committed
  9c6677e

  Copy full SHA for 9c6677e

• Disable clobbering of CTX register

  aborg-dev

  committed
  e9ad965

  Copy full SHA for e9ad965

• Fix return point after function call

  aborg-dev

  committed
  f37587d

  Copy full SHA for f37587d

• Fix warnings

  aborg-dev

  committed
  d72c060

  Copy full SHA for d72c060

Commits on Sep 6, 2023

• Add recursive fibonacci zkasm

  aborg-dev

  committed
  957c528

  Copy full SHA for 957c528

Commits on Sep 7, 2023

• Fix typo in ISLE

  aborg-dev

  committed
  4ab3505

  Copy full SHA for 4ab3505

Commits on Sep 12, 2023

• Add support for 32-bit addresses

  aborg-dev

  committed
  eafc91d

  Copy full SHA for eafc91d

Commits on Sep 15, 2023

• Add example working with memory

  aborg-dev

  committed
  70f6491

  Copy full SHA for 70f6491

Commits on Sep 18, 2023

• training changes

  MCJOHN974

  committed
  9588014

  Copy full SHA for 9588014

Commits on Sep 19, 2023

• mul for Imm32

  MCJOHN974

  committed
  a1a42aa

  Copy full SHA for a1a42aa

Commits on Sep 20, 2023

• revert args.rs

  MCJOHN974

  committed
  caa24c3

  Copy full SHA for caa24c3

• cargo fmt

  MCJOHN974

  committed
  c9481d0

  Copy full SHA for c9481d0