DelphinusLab/zkWasm

Issues

• refactor: use one column to constrain instance to u64

  #36 opened 2 years ago by lanbones
  2

• Generate proofs in browser

  #289 opened 4 months ago by jeluard
  0

• Request for Turkish Translation of README

  #267 opened 6 months ago by Rumeyst
  3

• chore: issue format spec

  #29 opened 6 months ago by aseaday
  2

• Expected behaviors of failed verification

  #136 opened 6 months ago by junxzm1990
  1

• got "Error: Validation: Unknown opcode 252" when setup wasm from assemblyscript

  #235 opened 6 months ago by lightszero
  2

• pdf

  #265 opened 7 months ago by jmikedupont2
  1

• Zero Division Error on latest main branch

  #248 opened 6 months ago by LiuJiazheng
  2

• linking with `cc` failed

  #268 opened 6 months ago by Demontf
  2

• use Tachyon Halo2 for better performance

  #245 opened 7 months ago by chokobole
  0

• `Error: Trap: Code(UnexpectedSignature)` when trying to run `single-prove`

  #201 opened 7 months ago by Mikerah
  4

• cli dry run bug when write output

  #193 opened 10 months ago by yymone
  0

• How to use other library in rust code

  #146 opened a year ago by notawayne
  3

• Branch cont_dev : test::test_rlp_slice::tests::test_rlp_slice_mock' panicked at 'attempt to subtract with overflow'

  #231 opened a year ago by dajuguan
  0

• Branch host-op-1.6 regression

  #218 opened a year ago by LiuJiazheng
  2

• error when running other examples

  #214 opened a year ago by changtong9
  0

• GpuTools(Cuda(NoBinaryForGpu))

  #200 opened a year ago by Demontf
  1

• assemblyscript 'new Array' failed at setup - memory.fill seems broken

  #107 opened a year ago by nom4dv3
  4

• No such file or directory error

  #96 opened a year ago by naps62
  3

• Unknown opcode 192

  #145 opened a year ago by LichuAcu
  1

• Program panic at etable assignment

  #169 opened a year ago by LiuJiazheng
  1

• `single-prove` command failing on example wasms

  #125 opened a year ago by mertwole
  3

• Performance issue for guest function: `event_table.0.len() * EVENT_TABLE_ENTRY_ROWS <= self.max_available_rows`

  #118 opened 2 years ago by medvedNick
  5

• test_cli stops during execution

  #117 opened 2 years ago by alimahmedov79
  8

• refactor: arrange Encode，merge Expression<F> and BN so that they relies on same code base

  #2 opened 2 years ago by junyu0312
  0

• Doc: Need better documentation for bootstrap C and Rust projects.

  #40 opened 2 years ago by aseaday
  5

• CUDA run `Killed` during single-prove

  #99 opened 2 years ago by naps62
  1

• refactor: refine foreign call framework

  #42 opened 2 years ago by lanbones
  2

• Failure to run basic rlp decoding program

  #91 opened 2 years ago by naps62
  4

• feat(circuit): support cross memory block store/load

  #31 opened 2 years ago by lanbones
  0

• Refactor: gather all basic constrains as a gadget

  #88 opened 2 years ago by SuccinctPaul
  1

• feat: add support or workaround for bulk-memory-operations

  #54 opened 2 years ago by aseaday
  2

• Simple programs crash with "not yet implemented"

  #70 opened 2 years ago by naps62
  5

• custom wasm file fails to run

  #69 opened 2 years ago by naps62
  4

• bug: remove stack init value

  #32 opened 2 years ago by lanbones
  0

• feat(circuit): support load sign

  #15 opened 2 years ago by lanbones
  0

• feat: no_std

  #44 opened 2 years ago by hussein-aitlahcen
  1

• feat: add global instructions

  #47 opened 2 years ago by lanbones
  0

• feat: instruction set to support sha256

  #3 opened 2 years ago by junyu0312
  0

• bug: support value wrap in store op

  #16 opened 2 years ago by lanbones
  0

• bug: constrain input value in u64

  #33 opened 2 years ago by lanbones
  0

• refactor: refine the encode function of Sha2HelperEncode

  #35 opened 2 years ago by lanbones
  0

• chore: add change info for wasmi changed files according to Apache2.0 license

  #19 opened 2 years ago by lanbones
  0

• add power table cell constraint

  #9 opened 2 years ago by chaosma
  0