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

Add Jubjub to ECC stdlib

alvaro-alonso opened this pull request almost 2 years ago

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

ma3332 opened this issue almost 2 years ago

Fix `radix-path` help message on `mpc init` subcommand

dark64 opened this pull request almost 2 years ago

Pass `ark` and `bellman` features to `zokrates_analysis`

Schaeff opened this pull request almost 2 years ago

ZoKrates extension for Open VSX Registry

baro77 opened this issue almost 2 years ago

Improve setup FFI in zokrates-js

dark64 opened this pull request almost 2 years ago

Fatal JavaScript invalid size error 134324592

vinayprolitus opened this issue almost 2 years ago

Show help when running `zokrates mpc`

dark64 opened this pull request almost 2 years ago

Panic when running `zokrates mpc`

Schaeff opened this issue almost 2 years ago

Merge back 0.8.4

Schaeff opened this pull request almost 2 years ago

Release 0.8.4

Schaeff opened this pull request almost 2 years ago

Disable wasm_test in CI

dark64 opened this pull request almost 2 years ago

Current state of assembly

dark64 opened this issue almost 2 years ago

Fix array propagation

Schaeff opened this pull request almost 2 years ago

Optimize assembly solvers

dark64 opened this pull request almost 2 years ago

Propagation issue with multi-dimensional arrays

dark64 opened this issue almost 2 years ago

Use foundry for integration tests

Schaeff opened this pull request almost 2 years ago

Remove G16 warning

dark64 opened this pull request almost 2 years ago

Optimize js library size

dark64 opened this pull request almost 2 years ago

Bump bumpalo from 3.9.1 to 3.12.0 in /zokrates_js

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

Bump bumpalo from 3.10.0 to 3.12.0

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

Use ark parallel feature

dark64 opened this pull request almost 2 years ago

Fix typos

rex4539 opened this pull request almost 2 years ago

Add jubjub twisted edwards curve to stdlib

dark64 opened this pull request almost 2 years ago

Fix zir assembly propagation

dark64 opened this pull request about 2 years ago

SHA256 returns wrong result

SDABIS opened this issue about 2 years ago

[WIP] Debug plonk bellman panic

georgwiese opened this pull request about 2 years ago

Split `zokrates_bellman` crate in PlonK branch

georgwiese opened this pull request about 2 years ago

Allow user-provided randomness in setup

dark64 opened this pull request about 2 years ago

Merkle Proof Inconsistency

alvaro-alonso opened this issue about 2 years ago

Bump secp256k1 from 0.22.1 to 0.22.2

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

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

alvaro-alonso opened this issue about 2 years ago

Add EqExpression, LtExpression and LeExpression to zir ast

dark64 opened this issue about 2 years ago

Plonk: Add solidity verifier

georgwiese opened this pull request about 2 years ago

Implement propagation for assembly blocks

Schaeff opened this pull request about 2 years ago

Add "multicore" bellman feature to fix plonk test

georgwiese opened this pull request about 2 years ago

Assembly blocks

dark64 opened this pull request about 2 years ago

Merge back deploy

dark64 opened this pull request about 2 years ago

Add Reinforced Concrete hashing algorithm to standard library

stefan2904 opened this issue about 2 years ago

Implement identifier expression in zir

dark64 opened this pull request about 2 years ago

Reduce cost of branching

Schaeff opened this pull request about 2 years ago

Reduce cost of branching

Schaeff opened this issue about 2 years ago

Implement bitwise operations for type field

dark64 opened this issue about 2 years ago

Assembly tweaks

dark64 opened this pull request about 2 years ago

Can prove key deserialization be optimized?

p0vidl0 opened this issue about 2 years ago

Release 0.8.3

dark64 opened this pull request about 2 years ago

support for variable args

manavdeep opened this issue about 2 years ago

Add support for Nova

Schaeff opened this pull request over 2 years ago

Add support for the pallas curve field

Schaeff opened this pull request over 2 years ago

Cannot execute Trusted Setup procedure for a sample program from documentation

ruslangm opened this issue over 2 years ago

Fix whitespace definition in pest

dark64 opened this pull request over 2 years ago

The Internal Algorithm behind Zokrates

zubayr1 opened this issue over 2 years ago

Make end to end tests self contained in source file

Schaeff opened this issue over 2 years ago

Better tools to create AST internally when writing tests

Schaeff opened this issue over 2 years ago

Implement a cheaper check for boolean array equality

Schaeff opened this pull request over 2 years ago

support bellman backend in zokrates-js

zhfnjust opened this issue over 2 years ago

Fix duplicate optimiser

Schaeff opened this pull request over 2 years ago

Merge back 0.8.2

Schaeff opened this pull request over 2 years ago

Disallow the use of the private keyword on non-entrypoint functions

dark64 opened this pull request over 2 years ago

Parameter visibility on non-main functions

dark64 opened this issue over 2 years ago

Function visibility

dark64 opened this issue over 2 years ago

Align textmate-based syntax highlighter with recent syntax changes

dark64 opened this issue over 2 years ago

Make a practical example

dark64 opened this issue over 2 years ago

Add support for Nova

Schaeff opened this issue over 2 years ago

Using imported libraries in zokrates.js

jammydodga1 opened this issue almost 3 years ago

Optimized Range Check Gadget

sshravan opened this issue about 3 years ago

Iterator based compilation

Schaeff opened this pull request about 3 years ago

Compiler crashes if arguments are too large

m1cm1c opened this issue over 3 years ago

crash on windows 10,

zhfnjust opened this issue over 3 years ago

Introduce identifier expression

Schaeff opened this pull request over 3 years ago

Add upper bound to for loops

Schaeff opened this pull request over 3 years ago

The optimizer is not removing side-effect free constraints

axic opened this issue over 3 years ago

Out-of-bounds access crashes the static analyser

axic opened this issue over 3 years ago

Check equality of boolean arrays using field chunks

Schaeff opened this issue over 3 years ago

Publish the ZoKrates interpreter and backend to crates.io

Voxelot opened this issue almost 6 years ago

Proof Properties on Encrypted Data

3psil0n opened this issue almost 6 years ago

Accept proving inputs as JSON

HarryR opened this issue over 6 years ago