github.com/Zokrates/ZoKrates issues | Ecosyste.ms: OpenCollective

Fix typos in `expression.rs` and `verify.rs`

teenager-ETH opened this pull request 18 days ago

Fix broken documentation link

futreall opened this pull request 22 days ago

Fix typographical errors in documentation

vipocenka opened this pull request 22 days ago

compiler failed due to incorrect array assignments

Subway2023 opened this issue 23 days ago

compiler failed

Subway2023 opened this issue 29 days ago

fix: fix 404 status URL

wangjingcun opened this pull request about 1 month ago

fix: typos in documentation files

leopardracer opened this pull request about 1 month ago

Dual licensing (MIT / Apache 2.0)

dark64 opened this pull request 5 months ago

sha256 compilation issue

TheYangCode opened this issue 7 months ago

fix clippy issues

bird-dancer opened this pull request 7 months ago

fix clippy issues

bird-dancer opened this pull request 7 months ago

InvalidFEOpcode when running Hello ZoKrates

trojanMcAfee opened this issue 7 months ago

GPL license of Zokrates standard library

jswalens opened this issue 9 months ago

Fix clippy issues

dark64 opened this pull request 9 months ago

Fix input/output size in staticcall for addition and scalar_mul

dark64 opened this pull request 9 months ago

Move common import out of feature block

dark64 opened this pull request 9 months ago

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

Ham3798 opened this issue 10 months ago

wrong feature coverage in zokrates_ast

brew0722 opened this issue 10 months ago

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

venezuela01 opened this issue 11 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" })

SagarKarmoker opened this issue 11 months ago

ERRORS

ox0sara opened this issue 12 months ago

Bump follow-redirects from 1.14.7 to 1.15.4 in /zokrates_js

dependabot[bot] opened this pull request 12 months ago

Jubjub stdlib

alvaro-alonso opened this pull request about 1 year ago

EMBED unpack undefined behavior

alvaro-alonso opened this issue about 1 year ago

nova wrong

flydolpin opened this issue about 1 year ago

ABI input not supported

ssolit opened this issue about 1 year ago

Merge back deploy

dark64 opened this pull request about 1 year ago

Release 0.8.8

dark64 opened this pull request about 1 year ago

Bump browserify-sign from 4.2.1 to 4.2.2 in /zokrates_js

dependabot[bot] opened this pull request about 1 year ago

Remove branch isolation

dark64 opened this pull request about 1 year ago

Bump @babel/traverse from 7.20.13 to 7.23.2 in /zokrates_js

dependabot[bot] opened this pull request about 1 year ago

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

effectfully opened this issue over 1 year ago

Return statement in for-loop causes compiler panic

gasilano opened this issue over 1 year ago

Implement field integer division and remainder operations

dark64 opened this pull request over 1 year ago

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

hyh88384092 opened this issue over 1 year ago

fix: one liner script doesn't work on windows

0xAzureDev opened this pull request over 1 year ago

Inconsistent behavior on unused unsigned integer and field inputs

gwdjkspnado opened this issue over 1 year ago

how do hash a string value instead of integer values?

sourav-bz opened this issue over 1 year ago

Can not reproduce nova experiment

ferjcast opened this issue over 1 year ago

fix range check bug

dark64 opened this pull request over 1 year ago

Fix clippy warnings

dark64 opened this pull request over 1 year ago

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

nishuzumi opened this issue over 1 year ago

Fix warnings caused by missing spans

dark64 opened this pull request over 1 year ago

Fix js format and clippy issues

dark64 opened this pull request over 1 year ago

Set webcrypto only if crypto instance is not available

dark64 opened this pull request over 1 year ago

Unexpected Result When Dividing Field Elements

silvesterdrago opened this issue over 1 year ago

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

spencer-coti opened this issue over 1 year ago

Unable to initialize zokrates provider using zokrates-js

spencer-coti opened this issue over 1 year ago

Internal compiler warning: found a statement without source information.

brucelynnzkm opened this issue over 1 year ago

Add Jubjub to ECC stdlib

alvaro-alonso opened this pull request over 1 year ago

Mod operation fails on integer literals without type annotation

gwdjkspnado opened this issue over 1 year ago

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

Ameame555 opened this issue over 1 year ago

Verification error when integrating with snarkjs

katamayodi opened this issue over 1 year ago

Compiler crash with large constant

Safarah4783 opened this issue over 1 year ago

Fixing pest-ast exact version

lvella opened this pull request over 1 year ago

Different result on two equivalent less-than comparisons

gwdjkspnado opened this issue over 1 year ago

Detect division by zero in typed propagation

dark64 opened this pull request over 1 year ago

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

beriarue opened this issue over 1 year ago

Wrong output of function log inside loop

beriarue opened this issue over 1 year ago

Generates wrong proof

ray837 opened this issue over 1 year ago

Fix propagation in case of nested assembly

dark64 opened this pull request over 1 year ago

Added Pedersen commitment in stdlib based on ECC.

only4sim opened this pull request over 1 year ago

Added Pedersen commitment int stdlib based on ECC.

only4sim opened this pull request over 1 year ago

compute-witness fails: Execution failed: Sum check failed

berendjan opened this issue over 1 year ago

Allow composite field type in witness assignment

dark64 opened this pull request over 1 year ago

Fix constant in mimc7

dark64 opened this pull request over 1 year ago

mimc7 hash algorithm bug

hotaru57 opened this issue over 1 year ago

Short circuit on constant branch conditions

Schaeff opened this pull request over 1 year ago

Restrict mimc and poseidon to bn128

Schaeff opened this pull request over 1 year ago

Propagate embed call in reducer

Schaeff opened this pull request over 1 year ago

Fixed a small typo, the right bracket next to bitwidth was mistyped.

only4sim opened this pull request over 1 year ago

bump nova-snark, ff, bellperson, pasta_curves

leonardoalt opened this pull request over 1 year ago

Lower optimisation level

Schaeff opened this pull request over 1 year ago

Fix range check

dark64 opened this pull request over 1 year ago

MiMC can't be instantiated with bls12_377

mkobelt opened this issue over 1 year ago

Out of bounds index found during static analysis

dark64 opened this issue over 1 year ago

Expected loop bounds to be constant

dark64 opened this issue over 1 year ago

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

mqhe opened this issue over 1 year ago

Big integer PoC

dark64 opened this pull request over 1 year ago

Generic parameter propagation issue

dark64 opened this issue over 1 year ago

Merge back 0.8.7

dark64 opened this pull request over 1 year ago

Release 0.8.7

dark64 opened this pull request over 1 year ago

Continue computation, compress proof

Schaeff opened this pull request over 1 year ago

Fix nova integration

dark64 opened this pull request over 1 year ago

Remove unused dependencies

Schaeff opened this pull request over 1 year ago

Merge back 0.8.6

Schaeff opened this pull request over 1 year ago

Reduce propagation memory usage

Schaeff opened this pull request over 1 year ago

Cannot use <= on u32 in assert

jswalens opened this issue over 1 year ago

Release 0.8.6

Schaeff opened this pull request over 1 year ago

baby jubjub signature

old-wu-the-one opened this issue over 1 year ago

baby jubjub signature

old-wu-the-one opened this issue over 1 year ago

Merge back 0.8.5

Schaeff opened this pull request almost 2 years ago

Release 0.8.5

Schaeff opened this pull request almost 2 years ago

Optimize backend integrations

dark64 opened this pull request almost 2 years ago

Build with stable rust

Schaeff opened this pull request almost 2 years ago

Sudoku example fix

Turupawn opened this pull request almost 2 years ago

Fixed small typo

Turupawn opened this pull request almost 2 years ago

Add sourcemaps

Schaeff opened this pull request almost 2 years ago

Fix prettier github action

Schaeff opened this pull request almost 2 years ago

Refactor reducer to reduce memory usage and runtime

Schaeff opened this pull request almost 2 years ago