vendor: use BLS-12_384 curve and update dependencies (#356)

1 files changed, 80 insertions, 0 deletions

diff --git a/vendor/github.com/dexon-foundation/mcl/ffi/python/pairing.py b/vendor/github.com/dexon-foundation/mcl/ffi/python/pairing.py
new file mode 100644
index 000000000..88b729176
--- /dev/null
+++ b/vendor/github.com/dexon-foundation/mcl/ffi/python/pairing.py
@@ -0,0 +1,80 @@
+from ctypes import *
+from ctypes.wintypes import LPWSTR, LPCSTR, LPVOID
+
+g_lib = None
+
+def BN256_init():
+	global g_lib
+	g_lib = cdll.LoadLibrary("../../bin/bn256.dll")
+	ret = g_lib.BN256_init()
+	if ret:
+		print "ERR BN256_init"
+
+class Fr(Structure):
+	_fields_ = [("v", c_ulonglong * 4)]
+	def setInt(self, v):
+		g_lib.BN256_Fr_setInt(self.v, v)
+	def setStr(self, s):
+		ret = g_lib.BN256_Fr_setStr(self.v, c_char_p(s))
+		if ret:
+			print("ERR Fr:setStr")
+	def __str__(self):
+		svLen = 1024
+		sv = create_string_buffer('\0' * svLen)
+		ret = g_lib.BN256_Fr_getStr(sv, svLen, self.v)
+		if ret:
+			print("ERR Fr:getStr")
+		return sv.value
+	def isZero(self, rhs):
+		return g_lib.BN256_Fr_isZero(self.v) != 0
+	def isOne(self, rhs):
+		return g_lib.BN256_Fr_isOne(self.v) != 0
+	def __eq__(self, rhs):
+		return g_lib.BN256_Fr_isEqual(self.v, rhs.v) != 0
+	def __ne__(self, rhs):
+		return not(P == Q)
+	def __add__(self, rhs):
+		ret = Fr()
+		g_lib.BN256_Fr_add(ret.v, self.v, rhs.v)
+		return ret
+	def __sub__(self, rhs):
+		ret = Fr()
+		g_lib.BN256_Fr_sub(ret.v, self.v, rhs.v)
+		return ret
+	def __mul__(self, rhs):
+		ret = Fr()
+		g_lib.BN256_Fr_mul(ret.v, self.v, rhs.v)
+		return ret
+	def __div__(self, rhs):
+		ret = Fr()
+		g_lib.BN256_Fr_div(ret.v, self.v, rhs.v)
+		return ret
+	def __neg__(self):
+		ret = Fr()
+		g_lib.BN256_Fr_neg(ret.v, self.v)
+		return ret
+
+def Fr_add(z, x, y):
+	g_lib.BN256_Fr_add(z.v, x.v, y.v)
+
+def Fr_sub(z, x, y):
+	g_lib.BN256_Fr_sub(z.v, x.v, y.v)
+
+def Fr_mul(z, x, y):
+	g_lib.BN256_Fr_mul(z.v, x.v, y.v)
+
+def Fr_div(z, x, y):
+	g_lib.BN256_Fr_div(z.v, x.v, y.v)
+
+BN256_init()
+
+P = Fr()
+Q = Fr()
+print P == Q
+print P != Q
+P.setInt(5)
+Q.setStr("34982034824")
+print Q
+R = Fr()
+Fr_add(R, P, Q)
+print R