Stefan
Stefan
Hello, I would need to run the following build command: `cargo -Z package-features build --no-default-features` For now only the standard `--no-default-features` argument is exposed. Any idea how to make it...
currently we support going from a field element to boolean this way: ``` field a = 0 bool b = if a == 0 then true else false fi ```...
Would be nice to have some support for hex literals to make declarations like the following less verbose: `field[32] h0 = [0, 1, 1, 0, 1, 0, 1, 0, 0,...
Hello everybody, currently we are working on adding additional cryptographic primitives to ZoKrates. The focus is on adding support for embedded elliptic curve computations (based on babyJubjub) and their applications...
for example here: ``` x = a * b + 1 y = a * b + 2 z = x + y ``` the optimizer could reasonably catch we're...
field[2] infinity = [context[2], context[3]] field[2] doubledP = pt field[2] accumulatedP = infinity for field i in 0..256 do field j = 255 - i candidateP = add(accumulatedP, doubledP, context)...
In `release.sh` after building the docker some examples should be tested before the container gets pushed
Currently we document stdlib functions in two places: in the `.code` file and in the mdbook docs. Document comments would make it easy to document as you write code. This...
With this PR (https://github.com/Zokrates/ZoKrates/pull/279) being merged we use integration tests for the stdlib code. The existing json based approach to define these tests has some room for improvements: - Tests...
Currently ZoKrates has support for 128bit packing and unpacking via the `pack128` and `unpack128` functions. We see use-cases where (un)packing of more bits is useful, for example scalar multiplication in...