github.com/Zokrates/ZoKrates issues | Ecosyste.ms: Open Collective

Update README.md

Hack666r opened this pull request 2 months ago

The Zokrates CDN is not working

roudra323 opened this issue 4 months ago

Error while compiling square.zok: expected ty_array

rashmeetk19 opened this issue 6 months ago

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

teenager-ETH opened this pull request 8 months ago

Fix broken documentation link

futreall opened this pull request 8 months ago

Fix typographical errors in documentation

vipocenka opened this pull request 8 months ago

compiler failed due to incorrect array assignments

Subway2023 opened this issue 8 months ago

compiler failed

Subway2023 opened this issue 8 months ago

fix: fix 404 status URL

wangjingcun opened this pull request 8 months ago

fix: typos in documentation files

leopardracer opened this pull request 8 months ago

Dual licensing (MIT / Apache 2.0)

dark64 opened this pull request 12 months ago

sha256 compilation issue

TheYangCode opened this issue about 1 year ago

fix clippy issues

bird-dancer opened this pull request about 1 year ago

fix clippy issues

bird-dancer opened this pull request about 1 year ago

InvalidFEOpcode when running Hello ZoKrates

trojanMcAfee opened this issue about 1 year ago

GPL license of Zokrates standard library

jswalens opened this issue over 1 year ago

Fix clippy issues

dark64 opened this pull request over 1 year ago

Fix input/output size in staticcall for addition and scalar_mul

dark64 opened this pull request over 1 year ago

Move common import out of feature block

dark64 opened this pull request over 1 year ago

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

Ham3798 opened this issue over 1 year ago

wrong feature coverage in zokrates_ast

brew0722 opened this issue over 1 year ago

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

venezuela01 opened this issue over 1 year 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 over 1 year ago

ERRORS

ox0sara opened this issue over 1 year ago

Bump follow-redirects from 1.14.7 to 1.15.4 in /zokrates_js

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

Jubjub stdlib

alvaro-alonso opened this pull request over 1 year ago

EMBED unpack undefined behavior

alvaro-alonso opened this issue over 1 year ago

nova wrong

flydolpin opened this issue over 1 year ago

ABI input not supported

ssolit opened this issue over 1 year ago

Merge back deploy

dark64 opened this pull request over 1 year ago

Release 0.8.8

dark64 opened this pull request over 1 year ago

Bump browserify-sign from 4.2.1 to 4.2.2 in /zokrates_js

dependabot[bot] opened this pull request almost 2 years ago

Remove branch isolation

dark64 opened this pull request almost 2 years ago

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

dependabot[bot] opened this pull request almost 2 years ago

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

effectfully opened this issue almost 2 years ago

Return statement in for-loop causes compiler panic

gasilano opened this issue almost 2 years ago

Implement field integer division and remainder operations

dark64 opened this pull request almost 2 years ago

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

hyh88384092 opened this issue almost 2 years ago

fix: one liner script doesn't work on windows

0xAzureDev opened this pull request almost 2 years ago

Inconsistent behavior on unused unsigned integer and field inputs

gwdjkspnado opened this issue almost 2 years ago

how do hash a string value instead of integer values?

sourav-bz opened this issue almost 2 years ago

Can not reproduce nova experiment

ferjcast opened this issue almost 2 years ago

fix range check bug

dark64 opened this pull request almost 2 years ago

Fix clippy warnings

dark64 opened this pull request almost 2 years ago

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

nishuzumi opened this issue almost 2 years ago

Fix warnings caused by missing spans

dark64 opened this pull request almost 2 years ago

Fix js format and clippy issues

dark64 opened this pull request almost 2 years ago

Set webcrypto only if crypto instance is not available

dark64 opened this pull request almost 2 years ago

Unexpected Result When Dividing Field Elements

silvesterdrago opened this issue almost 2 years ago

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

spencer-coti opened this issue almost 2 years ago

Unable to initialize zokrates provider using zokrates-js

spencer-coti opened this issue almost 2 years ago

Internal compiler warning: found a statement without source information.

brucelynnzkm opened this issue almost 2 years ago

Add Jubjub to ECC stdlib

alvaro-alonso opened this pull request almost 2 years ago

Mod operation fails on integer literals without type annotation

gwdjkspnado opened this issue about 2 years ago

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

Ameame555 opened this issue about 2 years ago

Verification error when integrating with snarkjs

katamayodi opened this issue about 2 years ago

Compiler crash with large constant

Safarah4783 opened this issue about 2 years ago

Fixing pest-ast exact version

lvella opened this pull request about 2 years ago

Different result on two equivalent less-than comparisons

gwdjkspnado opened this issue about 2 years ago

Detect division by zero in typed propagation

dark64 opened this pull request about 2 years ago

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

beriarue opened this issue about 2 years ago

Wrong output of function log inside loop

beriarue opened this issue about 2 years ago

Generates wrong proof

ray837 opened this issue about 2 years ago

Fix propagation in case of nested assembly

dark64 opened this pull request about 2 years ago

Added Pedersen commitment in stdlib based on ECC.

only4sim opened this pull request about 2 years ago

Added Pedersen commitment int stdlib based on ECC.

only4sim opened this pull request about 2 years ago

compute-witness fails: Execution failed: Sum check failed

berendjan opened this issue about 2 years ago

Allow composite field type in witness assignment

dark64 opened this pull request about 2 years ago

Fix constant in mimc7

dark64 opened this pull request about 2 years ago

mimc7 hash algorithm bug

hotaru57 opened this issue about 2 years ago

Short circuit on constant branch conditions

Schaeff opened this pull request about 2 years ago

Restrict mimc and poseidon to bn128

Schaeff opened this pull request about 2 years ago

Propagate embed call in reducer

Schaeff opened this pull request about 2 years ago

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

only4sim opened this pull request about 2 years ago

bump nova-snark, ff, bellperson, pasta_curves

leonardoalt opened this pull request about 2 years ago

Lower optimisation level

Schaeff opened this pull request about 2 years ago

Fix range check

dark64 opened this pull request about 2 years ago

MiMC can't be instantiated with bls12_377

mkobelt opened this issue about 2 years ago

Out of bounds index found during static analysis

dark64 opened this issue about 2 years ago

Expected loop bounds to be constant

dark64 opened this issue about 2 years ago

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

mqhe opened this issue about 2 years ago

Big integer PoC

dark64 opened this pull request over 2 years ago

Generic parameter propagation issue

dark64 opened this issue over 2 years ago

Merge back 0.8.7

dark64 opened this pull request over 2 years ago

Release 0.8.7

dark64 opened this pull request over 2 years ago

Continue computation, compress proof