Created
October 11, 2019 17:24
-
-
Save wu-s-john/afe0b2f34c4916c2ab1b4a962842651b to your computer and use it in GitHub Desktop.
Bad snark proof
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
2019-10-11 17:22:46 UTC [Error] Prover failed: $error | |
error: "( \"Snarky.Checked_runner.Runtime_error(_, _, _, _)\\\n \\n\\\n \\nEncountered an error while evaluating the checked computation:\\\n \\n (Failure\\\n \\n \\\"Constraint unsatisfied (unreduced):\\\\\\\n \\n \\\\nfield_inverse\\\\\\\n \\n \\\\nChecked.inv\\\\\\\n \\n \\\\nassert_non_zero: File \\\\\\\"lib/snarky/src/snark0.ml\\\\\\\", line 337, characters 4-114\\\\\\\n \\n \\\\nany: File \\\\\\\"lib/snarky/src/snark0.ml\\\\\\\", line 544, characters 8-101\\\\\\\n \\n \\\\nFile \\\\\\\"lib/coda_base/transition_system.ml\\\\\\\", line 203, characters 17-24\\\\\\\n \\n \\\\nmain: File \\\\\\\"lib/coda_base/transition_system.ml\\\\\\\", line 138, characters 4-3126\\\\\\\n \\n \\\\n\\\\\\\n \\n \\\\nConstraint:\\\\\\\n \\n \\\\n(((basic(R1CS(Add(Add(Constant 0)(Scale 1(Var 48427)))(Scale 1(Var 48426)))(Var 48429)(Constant 1)))(annotation(field_inverse))))\\\\\\\n \\n \\\\nData:\\\\\\\n \\n \\\\nR1CS 0 0 1\\\")\\\n \\n\\\n \\nLabel stack trace:\\\n \\nChecked.inv\\\n \\nassert_non_zero: File \\\"lib/snarky/src/snark0.ml\\\", line 337, characters 4-114\\\n \\nany: File \\\"lib/snarky/src/snark0.ml\\\", line 544, characters 8-101\\\n \\nFile \\\"lib/coda_base/transition_system.ml\\\", line 203, characters 17-24\\\n \\nmain: File \\\"lib/coda_base/transition_system.ml\\\", line 138, characters 4-3126\\\n \\n\\\n \\n\\\n \\nRaised at file \\\"stdlib.ml\\\", line 33, characters 17-33\\\n \\nCalled from file \\\"lib/snarky/src/checked_runner.ml\\\", line 173, characters 8-350\\\n \\nCalled from file \\\"lib/snarky/src/checked_runner.ml\\\", line 322, characters 8-12\\\n \\n\")" | |
2019-10-11 17:22:46 UTC [Error] Prover failed to prove freshly generated transition: $error | |
error: "( \"Snarky.Checked_runner.Runtime_error(_, _, _, _)\\\n \\n\\\n \\nEncountered an error while evaluating the checked computation:\\\n \\n (Failure\\\n \\n \\\"Constraint unsatisfied (unreduced):\\\\\\\n \\n \\\\nfield_inverse\\\\\\\n \\n \\\\nChecked.inv\\\\\\\n \\n \\\\nassert_non_zero: File \\\\\\\"lib/snarky/src/snark0.ml\\\\\\\", line 337, characters 4-114\\\\\\\n \\n \\\\nany: File \\\\\\\"lib/snarky/src/snark0.ml\\\\\\\", line 544, characters 8-101\\\\\\\n \\n \\\\nFile \\\\\\\"lib/coda_base/transition_system.ml\\\\\\\", line 203, characters 17-24\\\\\\\n \\n \\\\nmain: File \\\\\\\"lib/coda_base/transition_system.ml\\\\\\\", line 138, characters 4-3126\\\\\\\n \\n \\\\n\\\\\\\n \\n \\\\nConstraint:\\\\\\\n \\n \\\\n(((basic(R1CS(Add(Add(Constant 0)(Scale 1(Var 48427)))(Scale 1(Var 48426)))(Var 48429)(Constant 1)))(annotation(field_inverse))))\\\\\\\n \\n \\\\nData:\\\\\\\n \\n \\\\nR1CS 0 0 1\\\")\\\n \\n\\\n \\nLabel stack trace:\\\n \\nChecked.inv\\\n \\nassert_non_zero: File \\\"lib/snarky/src/snark0.ml\\\", line 337, characters 4-114\\\n \\nany: File \\\"lib/snarky/src/snark0.ml\\\", line 544, characters 8-101\\\n \\nFile \\\"lib/coda_base/transition_system.ml\\\", line 203, characters 17-24\\\n \\nmain: File \\\"lib/coda_base/transition_system.ml\\\", line 138, characters 4-3126\\\n \\n\\\n \\n\\\n \\nRaised at file \\\"stdlib.ml\\\", line 33, characters 17-33\\\n \\nCalled from file \\\"lib/snarky/src/checked_runner.ml\\\", line 173, characters 8-350\\\n \\nCalled from file \\\"lib/snarky/src/checked_runner.ml\\\", line 322, characters 8-12\\\n \\n\")" |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment