Zokrates / ZoKrates

A toolbox for zkSNARKs on Ethereum

https://zokrates.github.io

Zokrates/ZoKrates Issues

sha256 compilation issue
Updated 13 days ago
InvalidFEOpcode when running Hello ZoKrates
Updated a month ago
Need Clarification on Input/Output Size for `addition`/`scalar_mul` in Generated `verifier.sol`
Closed 3 months ago3
wrong feature coverage in zokrates_ast
Closed 3 months ago2
GPL license of Zokrates standard library
Updated 3 months ago
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" })
Updated 3 months ago2
Introducing a New Use Case for On-Chain Credential Verification: zokrates_credential Project
Closed 3 months ago
ERRORS
Closed 6 months ago2
Return statement in for-loop causes compiler panic
Updated 6 months ago1
EMBED unpack undefined behavior
Closed 6 months ago1
nova wrong
Closed 7 months ago
ABI input not supported
Closed 7 months ago2
The compiler panicked at 'called `Result::unwrap()` on an `Err` value: AssignmentMissing'
Closed 7 months ago2
any method to export/save artifacts/keypairs in zokrates-js?
Updated 7 months ago4
how do hash a string value instead of integer values?
Closed 8 months ago5
Mod operation fails on integer literals without type annotation
Updated 8 months ago
could not compile `zokrates_cli` (bin "zokrates")
Closed 8 months ago1
Unexpected Result When Dividing Field Elements
Closed 8 months ago1
Cannot use <= on u32 in assert
Closed 8 months ago
Inconsistent behavior on unused unsigned integer and field inputs
Closed 9 months ago2
Can not reproduce nova experiment
Updated 9 months ago3
Unable to initialize zokrates provider using zokrates-js
Closed 10 months ago2
Internal compiler warning: found a statement without source information.
Closed 10 months ago
Export-verifier result solidity file have two pragma solidity ^0.8.0
Updated 10 months ago
Wrong output of function log inside loop
Updated a year ago
Using the output of compilation via CLI as input to the computeWitness function of zokrates-js
Closed a year ago1
Different result on two equivalent less-than comparisons
Updated a year ago2
How to convert field numbers into 128 bit fields [128] now
Updated a year ago
Compiler crash with large constant
Updated a year ago1
Verification error when integrating with snarkjs
Updated a year ago
Generates wrong proof
Updated a year ago1
Compiler panic when wraping a divide-by-zero statement inside a function
Closed a year ago
Out of bounds index found during static analysis
Closed a year ago
mimc7 hash algorithm bug
Closed a year ago1
compute-witness fails: Execution failed: Sum check failed
Updated a year ago
Expected loop bounds to be constant
Closed a year ago
MiMC can't be instantiated with bls12_377
Updated a year ago
Generic parameter propagation issue
Updated a year ago
baby jubjub signature
Closed a year ago
Add EqExpression, LtExpression and LeExpression to zir ast
Closed a year ago
baby jubjub signature
Closed a year ago
Current state of assembly
Closed a year ago1
Fatal JavaScript invalid size error 134324592
Closed a year ago1
Cannot Install Zokrates using Cargo, stuck at step 350/351
Closed a year ago1
Panic when running `zokrates mpc`
Closed a year ago
ZoKrates extension for Open VSX Registry
Updated a year ago
Add JubJub curve to stdlib to support signature verification on curve bl12_381
Updated a year ago1
Propagation issue with multi-dimensional arrays
Closed a year ago
SHA256 returns wrong result
Closed 2 years ago1
Merkle Proof Inconsistency
Closed 2 years ago2