Zokrates/ZoKrates

Issues

• Different result on two equivalent less-than comparisons

  #1327 opened 2 months ago by gwdjkspnado
  2

• GPL license of Zokrates standard library

  #1370 opened 8 months ago by jswalens
  2

• sha256 compilation issue

  #1374 opened 5 months ago by TheYangCode
  1

• InvalidFEOpcode when running Hello ZoKrates

  #1371 opened 6 months ago by trojanMcAfee
  0

• Need Clarification on Input/Output Size for `addition`/`scalar_mul` in Generated `verifier.sol`

  #1364 opened 7 months ago by venezuela01
  3

• wrong feature coverage in zokrates_ast

  #1365 opened 7 months ago by brew0722
  2

• panicked at /src/zokrates_ark/src/groth16.rs:42:18: called `Result::unwrap()` on an `Err` value: IoError(Error { kind: UnexpectedEof, message: "failed to fill whole buffer" })

  #1363 opened 9 months ago by SagarKarmoker
  2

• Introducing a New Use Case for On-Chain Credential Verification: zokrates_credential Project

  #1366 opened 8 months ago by Ham3798
  0

• ERRORS

  #1362 opened 10 months ago by ox0sara
  2

• Return statement in for-loop causes compiler panic

  #1350 opened a year ago by gasilano
  1

• EMBED unpack undefined behavior

  #1359 opened a year ago by alv-around
  1

• nova wrong

  #1358 opened a year ago by flydolpin
  0

• ABI input not supported

  #1357 opened a year ago by ssolit
  2

• The compiler panicked at 'called `Result::unwrap()` on an `Err` value: AssignmentMissing'

  #1351 opened a year ago by effectfully
  2

• any method to export/save artifacts/keypairs in zokrates-js?

  #1305 opened 2 years ago by mqhe
  4

• how do hash a string value instead of integer values?

  #1345 opened a year ago by sourav-bz
  5

• Mod operation fails on integer literals without type annotation

  #1332 opened a year ago by gwdjkspnado
  0

• could not compile `zokrates_cli` (bin "zokrates")

  #1348 opened a year ago by hyh88384092
  1

• Unexpected Result When Dividing Field Elements

  #1337 opened a year ago by silvesterdrago
  1

• Cannot use <= on u32 in assert

  #1295 opened a year ago by jswalens
  0

• Inconsistent behavior on unused unsigned integer and field inputs

  #1346 opened a year ago by gwdjkspnado
  2

• Can not reproduce nova experiment

  #1344 opened a year ago by ferjcast
  3

• Unable to initialize zokrates provider using zokrates-js

  #1335 opened a year ago by spencer-coti
  2

• Internal compiler warning: found a statement without source information.

  #1334 opened a year ago by brucelynnzkm
  0

• Export-verifier result solidity file have two pragma solidity ^0.8.0

  #1341 opened a year ago by nishuzumi
  0

• Wrong output of function log inside loop

  #1324 opened a year ago by beriarue
  0

• Using the output of compilation via CLI as input to the computeWitness function of zokrates-js

  #1336 opened a year ago by spencer-coti
  1

• How to convert field numbers into 128 bit fields [128] now

  #1331 opened a year ago by Ameame555
  0

• Compiler crash with large constant

  #1329 opened a year ago by Safarah4783
  1

• Verification error when integrating with snarkjs

  #1330 opened a year ago by katamayodi
  0

• Generates wrong proof

  #1323 opened a year ago by ray837
  1

• Compiler panic when wraping a divide-by-zero statement inside a function

  #1325 opened a year ago by beriarue
  0

• Out of bounds index found during static analysis

  #1307 opened a year ago by dark64
  0

• mimc7 hash algorithm bug

  #1316 opened a year ago by hotaru57
  1

• compute-witness fails: Execution failed: Sum check failed

  #1319 opened a year ago by berendjan
  0

• Expected loop bounds to be constant

  #1306 opened a year ago by dark64
  0

• MiMC can't be instantiated with bls12_377

  #1308 opened 2 years ago by mkobelt
  0

• Generic parameter propagation issue

  #1303 opened 2 years ago by dark64
  0

• baby jubjub signature

  #1293 opened 2 years ago by old-wu-the-one
  0

• Add EqExpression, LtExpression and LeExpression to zir ast

  #1250 opened 2 years ago by dark64
  0

• baby jubjub signature

  #1292 opened 2 years ago by old-wu-the-one
  0

• Current state of assembly

  #1270 opened 2 years ago by dark64
  1

• Fatal JavaScript invalid size error 134324592

  #1276 opened 2 years ago by vinayprolitus
  1

• Cannot Install Zokrates using Cargo, stuck at step 350/351

  #1281 opened 2 years ago by ma3332
  1

• Panic when running `zokrates mpc`

  #1274 opened 2 years ago by Schaeff
  0

• ZoKrates extension for Open VSX Registry

  #1278 opened 2 years ago by baro77
  0

• Add JubJub curve to stdlib to support signature verification on curve bl12_381

  #1251 opened 2 years ago by alv-around
  1

• Propagation issue with multi-dimensional arrays

  #1267 opened 2 years ago by dark64
  0

• SHA256 returns wrong result

  #1257 opened 2 years ago by SDABIS
  1

• Merkle Proof Inconsistency

  #1253 opened 2 years ago by alv-around
  2