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

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

teenager-ETH opened this pull request about 2 months ago

Fix broken documentation link

futreall opened this pull request about 2 months ago

Fix typographical errors in documentation

vipocenka opened this pull request about 2 months ago

compiler failed due to incorrect array assignments

Subway2023 opened this issue about 2 months ago

compiler failed

Subway2023 opened this issue about 2 months ago

fix: fix 404 status URL

wangjingcun opened this pull request 2 months ago

fix: typos in documentation files

leopardracer opened this pull request 2 months ago

Dual licensing (MIT / Apache 2.0)

dark64 opened this pull request 6 months ago

sha256 compilation issue

TheYangCode opened this issue 8 months ago

fix clippy issues

bird-dancer opened this pull request 8 months ago

fix clippy issues

bird-dancer opened this pull request 8 months ago

InvalidFEOpcode when running Hello ZoKrates

trojanMcAfee opened this issue 8 months ago

GPL license of Zokrates standard library

jswalens opened this issue 10 months ago

Fix clippy issues

dark64 opened this pull request 10 months ago

Fix input/output size in staticcall for addition and scalar_mul

dark64 opened this pull request 10 months ago

Move common import out of feature block

dark64 opened this pull request 10 months ago

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

Ham3798 opened this issue 11 months ago

wrong feature coverage in zokrates_ast

brew0722 opened this issue 11 months ago

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

venezuela01 opened this issue 12 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 12 months ago

ERRORS

ox0sara opened this issue about 1 year ago

Bump follow-redirects from 1.14.7 to 1.15.4 in /zokrates_js

dependabot[bot] opened this pull request about 1 year 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 over 1 year ago

Remove branch isolation

dark64 opened this pull request over 1 year ago

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

dependabot[bot] opened this pull request over 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 almost 2 years ago

Expected loop bounds to be constant

dark64 opened this issue almost 2 years ago

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

mqhe opened this issue almost 2 years ago

Big integer PoC

dark64 opened this pull request almost 2 years ago

Generic parameter propagation issue

dark64 opened this issue almost 2 years ago

Merge back 0.8.7

dark64 opened this pull request almost 2 years ago

Release 0.8.7

dark64 opened this pull request almost 2 years ago

Continue computation, compress proof

Schaeff opened this pull request almost 2 years ago

Fix nova integration

dark64 opened this pull request almost 2 years ago

Remove unused dependencies

Schaeff opened this pull request almost 2 years ago

Merge back 0.8.6

Schaeff opened this pull request almost 2 years ago

Reduce propagation memory usage

Schaeff opened this pull request almost 2 years ago

Cannot use <= on u32 in assert

jswalens opened this issue almost 2 years ago

Release 0.8.6

Schaeff opened this pull request almost 2 years ago

baby jubjub signature

old-wu-the-one opened this issue almost 2 years ago

baby jubjub signature

old-wu-the-one opened this issue almost 2 years 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