noir-lang/acvm

Issues

• Add a new Lazy Field type

  #543 opened 9 months ago by kevaundray
  0

• Brillig: Make empty call stack return == stop

  #379 opened 9 months ago by ludamad
  1

• feat(brillig): error on uninitialized memory read

  #352 opened 9 months ago by ludamad
  6

• Adding a convenient method to turn `FieldElement` to `BigInt` and from `BigInt`

  #462 opened 9 months ago by Ethan-000
  0

• Remove `Directive` opcodes

  #395 opened 9 months ago by TomAFrench
  1

• Define a "Brillig stdlib" for common functions for easier display

  #471 opened 9 months ago by TomAFrench
  1

• Alert when a crate has failed to publish

  #547 opened 9 months ago by kevaundray
  0

• Remove usage of Value::to_usize in brillig

  #537 opened 9 months ago by kevaundray
  1

• remove `#![warn(unused_crate_dependencies)]` and add a `cargo udeps` ci

  #444 opened 9 months ago by Ethan-000
  0

• Tracking: New `Opcode` support

  #472 opened 9 months ago by TomAFrench
  0

• Add `BlackBoxFunc::OR` variant

  #344 opened 9 months ago by joss-aztec
  1

• Add tests for `public_witness` module

  #489 opened 9 months ago by TomAFrench
  0

• Make compressed witnesses a first class citizen in the API

  #487 opened 9 months ago by TomAFrench
  0

• Refactor Logging

  #348 opened a year ago by vezenovm
  2

• ACIR + WitnessMap structures codegen as build step output

  #479 opened a year ago by kobyhallx
  1

• `execute_circuit` function does not propagate specific error message

  #486 opened a year ago by benesjan
  0

• Expose `mul_with_witness` functionality from acvm stdlib

  #450 opened a year ago by TomAFrench
  0

• Epic: ACIR debugger

  #404 opened a year ago by TomAFrench
  1

• Fallback transformer pass injects opcodes which backend may not support

  #448 opened a year ago by TomAFrench
  5

• Replace `HashToField128Security` with a `FieldFromBeBytes` black box function

  #358 opened a year ago by TomAFrench
  1

• Set up acvm-simulator-wasm to be built by dispatching the nix flake from acvm-simulator

  #490 opened a year ago by jonybur
  1

• Upstream bug in wasmer limits us to rust 1.67

  #521 opened a year ago by kevaundray
  3

• Generated ACIR contains expressions with multiple unknowns

  #559 opened a year ago by dbanks12
  1

• acvm_js should be published to npm

  #530 opened a year ago by jonybur
  0

• Fixed base scalar mul needs to use two limbs to encode the scalar field of grumpkin

  #531 opened a year ago by kevaundray
  0

• Add CI to run `cargo test` on `acvm_js`

  #475 opened a year ago by TomAFrench
  0

• acvm_js gets stuck after solving some pedersen operations

  #517 opened a year ago by sirasistant
  2

• Replace BlackBox functions vendoring from backend to library

  #492 opened a year ago by kobyhallx
  2

• Implement `Directive::ToLeRadix` in Brillig

  #473 opened a year ago by TomAFrench
  1

• Get ACVM/ACVM_js in one repo

  #465 opened a year ago by kobyhallx
  1

• Support step-by-step execution of ACIR code in the ACVM

  #382 opened a year ago by TomAFrench
  0

• chore: pull acvm_js into acvm

  #458 opened a year ago by kobyhallx
  1

• Get ACVM/ACVM_JS in one repo

  #466 opened a year ago by kobyhallx
  1

• Define a "Brillig stdlib" for common functions for which the ACVM handles foreign calls.

  #464 opened a year ago by TomAFrench
  1

• Consider renaming `foreign_call_wait_info` field on `UnresolvedBrilligCall`

  #396 opened a year ago by TomAFrench
  1

• Remove `UnresolvedBrilligCall`

  #416 opened a year ago by TomAFrench
  1

• `Uinit32` in `stdlib` fallback can be generalized to `u8`, 'u64' and others when needed

  #417 opened a year ago by Ethan-000
  0

• `load_constant` function in `UInt32` currently loads a `u128` instead of a `u32`

  #418 opened a year ago by Ethan-000
  0

• Introduce serde-reflection for ACIR cpp codegen

  #434 opened a year ago by Savio-Sou
  1

• Feature flags for serialisation do not exist

  #439 opened a year ago by TomAFrench
  0

• Implementation of blackbox functions should be shareable by the ACVM and Brillig_vm

  #402 opened 2 years ago by sirasistant
  0

• `eth_contract_from_vk` assumes the backend serializes public input data in the vkey

  #411 opened 2 years ago by jp4g
  5

• Replace `PartialWitnessGenerator` trait with `BlackBoxFunctionSolver` trait.

  #377 opened 2 years ago by TomAFrench
  0

• Refactor ACVM solver to allow tracking internal state

  #383 opened 2 years ago by TomAFrench
  1

• Change Output type for trait impl `Mul<Expression> for Expression` to optional

  #335 opened 2 years ago by kevaundray
  0

• Expand Brillig Foreign Call to accept multiple inputs/outputs

  #366 opened 2 years ago by vezenovm
  0

• Consider whether we should introduce an explicit return instructions for Brillig

  #346 opened 2 years ago by kevaundray
  2

• Explicitly define behaviour on overflow/underflow in Brillig operations

  #360 opened 2 years ago by kevaundray
  0

• Fix Brillig Return instruction

  #361 opened 2 years ago by kevaundray
  3

• Restrict the public interface of the ACVM

  #354 opened 2 years ago by TomAFrench
  0