Darko Macesic comments

Results 15 comments of


                                            Darko Macesic

Different result on two equivalent less-than comparisons

It seems `assert(c > pMinusOne)` should fail at compile time as no `c` can be greater than `pMinusOne`. This fails as it should in https://github.com/Zokrates/ZoKrates/pull/1309 @Schaeff any thoughts?

Generates wrong proof

> const code = def main(private field a) -> field { return true; }; This code is semantically invalid and should not compile?

Return statement in for-loop causes compiler panic

Hey, it seems like our semantic checker missed this one – using return statements in the for-loop block shouldn't be allowed. That's causing some funky undefined behavior in the other...

Compiler crash with large constant

Thanks for the report, this seems to be fixed in #1309

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" })

This occurs when the process of proving key deserialization fails, which can be due to several reasons: - Passing it in an unexpected format (difficult to determine without reviewing your...