@solarity/zkit 0.3.7 → 0.3.8

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (6) hide show
  1. package/README.md +1 -0
  2. package/dist/core/templates/verifier_groth16.sol.ejs +1 -1
  3. package/dist/core/templates/verifier_plonk.sol.ejs +1 -1
  4. package/package.json +1 -1
  5. package/src/core/templates/verifier_groth16.sol.ejs +1 -1
  6. package/src/core/templates/verifier_plonk.sol.ejs +1 -1
package/README.md CHANGED
@@ -1,5 +1,6 @@
1
1
  [![npm](https://img.shields.io/npm/v/@solarity/zkit.svg)](https://www.npmjs.com/package/@solarity/zkit)
2
2
  [![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT)
3
+ [![Tests](https://github.com/dl-solarity/zkit/actions/workflows/tests.yml/badge.svg)](https://github.com/dl-solarity/zkit/actions/workflows/tests.yml)
3
4
 
4
5
  # ZKit - Circom Zero Knowledge Kit
5
6
 
package/dist/core/templates/verifier_groth16.sol.ejs CHANGED
@@ -140,7 +140,7 @@ contract <%=verifier_id%> {
140
140
  <% } -%>
141
141
 
142
142
  /// @dev check pairings
143
- if not(iszero(verified_)) {
143
+ if verified_ {
144
144
  verified_ := checkPairing(pointA_, pointB_, pointC_, publicSignals_, pointer_)
145
145
  }
146
146
  }
package/dist/core/templates/verifier_plonk.sol.ejs CHANGED
@@ -761,7 +761,7 @@ contract <%=verifier_id%> {
761
761
  verified_ := checkInput(proofArr_)
762
762
 
763
763
  /// @dev check pairings
764
- if not(iszero(verified_)) {
764
+ if verified_ {
765
765
  calculateChallenges(pointer_, proofArr_, publicSignals_)
766
766
  calculateLagrange(pointer_)
767
767
  calculatePI(pointer_, publicSignals_)
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@solarity/zkit",
3
- "version": "0.3.7",
3
+ "version": "0.3.8",
4
4
  "license": "MIT",
5
5
  "author": "Distributed Lab",
6
6
  "readme": "README.md",
package/src/core/templates/verifier_groth16.sol.ejs CHANGED
@@ -140,7 +140,7 @@ contract <%=verifier_id%> {
140
140
  <% } -%>
141
141
 
142
142
  /// @dev check pairings
143
- if not(iszero(verified_)) {
143
+ if verified_ {
144
144
  verified_ := checkPairing(pointA_, pointB_, pointC_, publicSignals_, pointer_)
145
145
  }
146
146
  }
package/src/core/templates/verifier_plonk.sol.ejs CHANGED
@@ -761,7 +761,7 @@ contract <%=verifier_id%> {
761
761
  verified_ := checkInput(proofArr_)
762
762
 
763
763
  /// @dev check pairings
764
- if not(iszero(verified_)) {
764
+ if verified_ {
765
765
  calculateChallenges(pointer_, proofArr_, publicSignals_)
766
766
  calculateLagrange(pointer_)
767
767
  calculatePI(pointer_, publicSignals_)