You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@milagro.apache.org by km...@apache.org on 2019/06/25 14:08:50 UTC
[incubator-milagro-crypto-js] 01/01: BLS signature and public key
aggregation
This is an automated email from the ASF dual-hosted git repository.
kmccusker pushed a commit to branch issue7
in repository https://gitbox.apache.org/repos/asf/incubator-milagro-crypto-js.git
commit 6071f374640c8e3ae6d6586e9cbde8d7123feb56
Author: Kealan McCusker <ke...@gmail.com>
AuthorDate: Tue Jun 25 15:08:25 2019 +0100
BLS signature and public key aggregation
---
examples/node/example_BLS_BLS383.js | 96 +++++++++++++++++++++++++++
examples/node/example_DVS_BLS383.js | 2 +-
examples/node/example_MPIN_BLS383.js | 2 +-
examples/node/example_MPIN_FULL_BLS383.js | 2 +-
examples/node/example_MPIN_ONE_PASS_BLS383.js | 2 +-
src/bls.js | 35 +++++++++-
src/bls192.js | 33 +++++++++
src/bls256.js | 34 ++++++++++
test.test | 0
9 files changed, 201 insertions(+), 5 deletions(-)
diff --git a/examples/node/example_BLS_BLS383.js b/examples/node/example_BLS_BLS383.js
new file mode 100644
index 0000000..83e1d2c
--- /dev/null
+++ b/examples/node/example_BLS_BLS383.js
@@ -0,0 +1,96 @@
+/* Test BLS - test driver and function exerciser for BLS API Functions */
+
+var CTX = require("../../index");
+var ctx = new CTX('BLS383');
+
+var i,res;
+
+var BGS=ctx.BLS.BGS;
+var BFS=ctx.BLS.BFS;
+
+/* Group 1 Size */
+var G1S=BFS+1;
+/* Group 2 Size */
+var G2S=4*BFS;
+
+var raw=[];
+var rng=new ctx.RAND();
+rng.clean();
+
+for (i=0;i<100;i++) raw[i]=i;
+rng.seed(100,raw);
+
+var message="test message";
+
+// User 1
+var sk1=[];
+var pk1=[];
+var sig1=[];
+
+ctx.BLS.KeyPairGenerate(rng,sk1,pk1);
+console.log("Private key user 1: 0x"+ctx.BLS.bytestostring(sk1));
+console.log("Public key user 1: 0x"+ctx.BLS.bytestostring(pk1));
+
+console.log("Message : "+message);
+ctx.BLS.sign(sig1,message,sk1);
+console.log("Signature user 1: 0x"+ctx.BLS.bytestostring(sig1));
+
+var res=ctx.BLS.verify(sig1,message,pk1);
+if (res==0)
+ console.log("Success User 1: valid Signature");
+else
+ console.log("Error User 1: invalid Signature");
+
+// User 2
+var sk2=[];
+var pk2=[];
+var sig2=[];
+
+ctx.BLS.KeyPairGenerate(rng,sk2,pk2);
+console.log("Private key user 2: 0x"+ctx.BLS.bytestostring(sk2));
+console.log("Public key user 2: 0x"+ctx.BLS.bytestostring(pk2));
+
+console.log("Message : "+message);
+ctx.BLS.sign(sig2,message,sk2);
+console.log("Signature user 2: 0x"+ctx.BLS.bytestostring(sig2));
+
+var res=ctx.BLS.verify(sig2,message,pk2);
+if (res==0)
+ console.log("Success User 2 valid Signature");
+else
+ console.log("Error User 2 invalid Signature");
+
+// Combined
+var pk=[];
+var sig=[];
+
+// Add signatures
+ctx.BLS.add_G1(sig1,sig2,sig);
+console.log("Signature combined: 0x"+ctx.BLS.bytestostring(sig));
+
+// Add public keys
+ctx.BLS.add_G2(pk1,pk2,pk);
+console.log("Public key combined: 0x"+ctx.BLS.bytestostring(pk));
+
+var res=ctx.BLS.verify(sig,message,pk);
+if (res==0)
+ console.log("Success combined valid Signature");
+else
+ console.log("Error combined invalid Signature");
+
+// Test corrupted signature
+sig1[0] = 1;
+var res=ctx.BLS.verify(sig1,message,pk1);
+if (res==0)
+ console.log("Success User 1: valid Signature");
+else
+ console.log("Error User 1: invalid Signature");
+
+// Test corrupted message
+var message2="bad message";
+var res=ctx.BLS.verify(sig2,message2,pk2);
+if (res==0)
+ console.log("Success User 2 valid Signature");
+else
+ console.log("Error User 2 invalid Signature");
+
diff --git a/examples/node/example_DVS_BLS383.js b/examples/node/example_DVS_BLS383.js
index da1c66d..d407427 100644
--- a/examples/node/example_DVS_BLS383.js
+++ b/examples/node/example_DVS_BLS383.js
@@ -21,7 +21,7 @@ under the License.
var CTX = require("../../index");
-var ctx = new CTX("BN254CX");
+var ctx = new CTX("BLS383");
var RAW = [];
var rng = new ctx.RAND();
diff --git a/examples/node/example_MPIN_BLS383.js b/examples/node/example_MPIN_BLS383.js
index 26acda7..14d7fe5 100644
--- a/examples/node/example_MPIN_BLS383.js
+++ b/examples/node/example_MPIN_BLS383.js
@@ -21,7 +21,7 @@ under the License.
var CTX = require("../../index");
-var ctx = new CTX("BN254CX");
+var ctx = new CTX("BLS383");
/* Test M-Pin */
diff --git a/examples/node/example_MPIN_FULL_BLS383.js b/examples/node/example_MPIN_FULL_BLS383.js
index 7e689b3..c7f37df 100644
--- a/examples/node/example_MPIN_FULL_BLS383.js
+++ b/examples/node/example_MPIN_FULL_BLS383.js
@@ -21,7 +21,7 @@ under the License.
var CTX = require("../../index");
-var ctx = new CTX("BN254CX");
+var ctx = new CTX("BLS383");
/* Test M-Pin */
diff --git a/examples/node/example_MPIN_ONE_PASS_BLS383.js b/examples/node/example_MPIN_ONE_PASS_BLS383.js
index c6f6b9f..112b868 100644
--- a/examples/node/example_MPIN_ONE_PASS_BLS383.js
+++ b/examples/node/example_MPIN_ONE_PASS_BLS383.js
@@ -21,7 +21,7 @@ under the License.
var CTX = require("../../index");
-var ctx = new CTX("BN254CX");
+var ctx = new CTX("BLS383");
/* Test M-Pin */
diff --git a/src/bls.js b/src/bls.js
index 8149915..b65e54e 100644
--- a/src/bls.js
+++ b/src/bls.js
@@ -114,7 +114,40 @@ var BLS = function(ctx) {
if (v.isunity())
return this.BLS_OK;
return this.BLS_FAIL;
- }
+ },
+
+ /* R=R1+R2 in group G1 */
+ add_G1(R1, R2, R) {
+ var P = ctx.ECP.fromBytes(R1),
+ Q = ctx.ECP.fromBytes(R2);
+
+ if (P.is_infinity() || Q.is_infinity()) {
+ return this.INVALID_POINT;
+ }
+
+ P.add(Q);
+
+ P.toBytes(R,true);
+
+ return 0;
+ },
+
+ /* W=W1+W2 in group G2 */
+ add_G2(W1, W2, W) {
+ var P = ctx.ECP2.fromBytes(W1),
+ Q = ctx.ECP2.fromBytes(W2);
+
+ if (P.is_infinity() || Q.is_infinity()) {
+ return this.INVALID_POINT;
+ }
+
+ P.add(Q);
+
+ P.toBytes(W);
+
+ return 0;
+ }
+
};
return BLS;
diff --git a/src/bls192.js b/src/bls192.js
index 64dbd3c..e00d37b 100644
--- a/src/bls192.js
+++ b/src/bls192.js
@@ -114,6 +114,39 @@ var BLS192 = function(ctx) {
return this.BLS_OK;
return this.BLS_FAIL;
}
+
+ /* R=R1+R2 in group G1 */
+ add_G1(R1, R2, R) {
+ var P = ctx.ECP.fromBytes(R1),
+ Q = ctx.ECP.fromBytes(R2);
+
+ if (P.is_infinity() || Q.is_infinity()) {
+ return this.INVALID_POINT;
+ }
+
+ P.add(Q);
+
+ P.toBytes(R,true);
+
+ return 0;
+ },
+
+ /* W=W1+W2 in group G2 */
+ add_G2(W1, W2, W) {
+ var P = ctx.ECP4.fromBytes(W1),
+ Q = ctx.ECP4.fromBytes(W2);
+
+ if (P.is_infinity() || Q.is_infinity()) {
+ return this.INVALID_POINT;
+ }
+
+ P.add(Q);
+
+ P.toBytes(W);
+
+ return 0;
+ }
+
};
return BLS192;
diff --git a/src/bls256.js b/src/bls256.js
index a154fe4..3c7fac6 100644
--- a/src/bls256.js
+++ b/src/bls256.js
@@ -115,6 +115,40 @@ var BLS256 = function(ctx) {
return this.BLS_OK;
return this.BLS_FAIL;
}
+
+
+ /* R=R1+R2 in group G1 */
+ add_G1(R1, R2, R) {
+ var P = ctx.ECP.fromBytes(R1),
+ Q = ctx.ECP.fromBytes(R2);
+
+ if (P.is_infinity() || Q.is_infinity()) {
+ return this.INVALID_POINT;
+ }
+
+ P.add(Q);
+
+ P.toBytes(R,true);
+
+ return 0;
+ },
+
+ /* W=W1+W2 in group G2 */
+ add_G2(W1, W2, W) {
+ var P = ctx.ECP8.fromBytes(W1),
+ Q = ctx.ECP8.fromBytes(W2);
+
+ if (P.is_infinity() || Q.is_infinity()) {
+ return this.INVALID_POINT;
+ }
+
+ P.add(Q);
+
+ P.toBytes(W);
+
+ return 0;
+ }
+
};
return BLS256;
diff --git a/test.test b/test.test
deleted file mode 100644
index e69de29..0000000