sCrypt-Inc / zokrates

A zero-knowledge proof toolbox on Bitcoin. A fork of zokrates (https://github.com/Zokrates/ZoKrates).
GNU Lesser General Public License v3.0
15 stars 1 forks source link

succeed in zokrates verifier but fails in scrypt verifier #31

Closed zhfnjust closed 2 years ago

zhfnjust commented 2 years ago

using v0.8.2

maybe v0.8.3 has the same issue.

  1. clone

    git clone -b tmp https://github.com/sCrypt-Inc/battleship-zkSNARK
  2. setup

sh ./scripts/setup.sh
  1. Running verifier.js
node --max-old-space-size=8192 verifier.js --run

if you try to run with the proof , which is uncomment now,

it will succeed both zokrate.js verifier and scrypt verifier.