kzg 0.1.0 → 0.2.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 4ef0ee512428138b4158c95a1ff67254af2926668a45e812df640725108a2d9b
-  data.tar.gz: e1673fafdefa436f0c10aa7639ba68431831777718a38ecd5374101847a41fea
+  metadata.gz: 9efdb85768b3e83e464c61846a3cf712b8df989f20114875cb39a08558882736
+  data.tar.gz: 39b4c2c8c6a7b77d9fba96e4e8ef297e249da0640b3eba81f18b1093dbc59011
 SHA512:
-  metadata.gz: 7a78076f208b2397f6c2dddd271dbe3ed47ba0ae1794b06451647639b70989f10bc5f52d6cd3ef80fe9fd1fe49535bfa3fb4b168402c4a2c87be9ade0cebfb6b
-  data.tar.gz: dc12b60adf07dd975c05cf44c0b3c01002714d7d11e9f2cee340b1b89097b253386ae9109f4859d1eba28e267928f90f7afe9ea17449ccf8cfa25da293d4b281
+  metadata.gz: 88f4f0e4cdd1fa1d954bc32d9546e3cf642f66200649629f3f1dc516970eed44467b6e7a753fafa1951180bcee9f9a6d4b4ce5d17d3427cb2ca0bd1873d39a6d
+  data.tar.gz: 35cb803d35ec7ad8e728228779b2e69654bbebfeadc2e744a7a75889d174dd9d3d608c79712e230ddd432e416bf3051e7d16ad579c5d2c50fb1b23437f2c90c4

data/kzg.gemspec

@@ -29,7 +29,7 @@ Gem::Specification.new do |spec|
 
   # Uncomment to register a new dependency of your gem
   # spec.add_dependency "example-gem", "~> 1.0"
-  spec.add_dependency 'bls12-381', '>= 0.2.1'
+  spec.add_dependency 'bls12-381', '>= 0.2.2'
 
   # For more information and examples about making a new gem, checkout our
   # guide at: https://bundler.io/guides/creating_gem.html

data/lib/kzg/commitment.rb

@@ -26,7 +26,8 @@ module KZG
         coeffs
           .map
           .with_index do |c, i|
-            setting.g1_points[i] * (c.is_a?(BLS::Fr) ? c : BLS::Fr.new(c))
+            c = c.is_a?(BLS::Fr) ? c : BLS::Fr.new(c)
+            c.value.zero? ? BLS::PointG1::ZERO : setting.g1_points[i] * c
           end
           .inject(&:+)
       Commitment.new(setting, KZG::Polynomial.new(coeffs), value)

data/lib/kzg/polynomial.rb

@@ -37,24 +37,26 @@ module KZG
       Polynomial.new(coeffs)
     end
 
-    # Evaluates a polynomial expression with the specified value +x+.
-    # @param [Integer|BLS::Fr] x
-    # @return [BLS::Fr]
+    # Evaluate polynomial for given +x+ using Horner's method.
+    # @param [Integer | BLS::Fr] x
+    # @return [BLS::Fr] Evaluated value.
     def eval_at(x)
-      power = x.is_a?(BLS::Fr) ? x : BLS::Fr.new(x)
-      sum = coeffs.first
-      coeffs[1..].each do |c|
-        sum += c * power
-        power *= power
+      x = x.is_a?(BLS::Fr) ? x : BLS::Fr.new(x)
+      return BLS::Fr::ZERO if coeffs.empty?
+      return coeffs.first if x.value.zero?
+      last = coeffs[coeffs.length - 1]
+      (coeffs.length - 2).step(0, -1) do |i|
+        tmp = last * x
+        last = tmp + coeffs[i]
       end
-      sum
+      last
     end
 
     # Long polynomial division for two polynomials in coefficient form
     # @param [Array(BLS::Fr)] divisor Array of divisor.
     # @return [Array(BLS::Fr)]
     def poly_long_div(divisor)
-      a = coeffs
+      a = coeffs.dup
       a_pos = a.length - 1
       b_pos = divisor.length - 1
       diff = a_pos - b_pos

data/lib/kzg/setting.rb

@@ -34,8 +34,8 @@ module KZG
     def valid_proof?(commit_point, proof, x, y)
       x = x.is_a?(BLS::Fr) ? x : BLS::Fr.new(x)
       y = y.is_a?(BLS::Fr) ? y : BLS::Fr.new(y)
-      xg2 = BLS::PointG2::BASE * x
-      yg = BLS::PointG1::BASE * y
+      xg2 = x.value.zero? ? BLS::PointG2::ZERO : BLS::PointG2::BASE * x
+      yg = y.value.zero? ? BLS::PointG1::ZERO : BLS::PointG1::BASE * y
 
       # e([commitment - y]^(-1), [1]) * e([proof],  [s - x]) = 1
       lhs =

data/lib/kzg/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module KZG
-  VERSION = "0.1.0"
+  VERSION = "0.2.0"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: kzg
 version: !ruby/object:Gem::Version
-  version: 0.1.0
+  version: 0.2.0
 platform: ruby
 authors:
 - azuchi
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2023-01-25 00:00:00.000000000 Z
+date: 2023-01-26 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bls12-381
@@ -16,14 +16,14 @@ dependencies:
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 0.2.1
+        version: 0.2.2
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 0.2.1
+        version: 0.2.2
 - !ruby/object:Gem::Dependency
   name: bundler
   requirement: !ruby/object:Gem::Requirement