PoS_EVM
/
mcl
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

[cs][skip cs] pass test of Fr::Recover

Browse Source
update-fork
MITSUNARI Shigeo 4 years ago
parent 65c8d5f86f
commit b389732ba8
2 changed files with 3 additions and 9 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 4
      ffi/cs/mcl/mcl.cs
  2. 8
      ffi/cs/test/test.cs

4
ffi/cs/mcl/mcl.cs
Unescape View File

@ -121,8 +121,8 @@ namespace mcl {
[DllImport(dllName)] public static extern ulong mclBnG1_deserialize(ref G1 x, [In]byte[] buf, ulong bufSize); [DllImport(dllName)] public static extern ulong mclBnG1_deserialize(ref G1 x, [In]byte[] buf, ulong bufSize);
[DllImport(dllName)] public static extern ulong mclBnG2_deserialize(ref G2 x, [In]byte[] buf, ulong bufSize); [DllImport(dllName)] public static extern ulong mclBnG2_deserialize(ref G2 x, [In]byte[] buf, ulong bufSize);
[DllImport(dllName)] public static extern int mclBn_FrEvaluatePolynomial(ref Fr z, in Fr[] cVec, ulong cSize, in Fr x); [DllImport(dllName)] public static extern int mclBn_FrEvaluatePolynomial(ref Fr z, [In]Fr[] cVec, ulong cSize, in Fr x);
[DllImport(dllName)] public static extern int mclBn_FrLagrangeInterpolation(ref Fr z, in Fr[] xVec, in Fr[] yVec, ulong k); [DllImport(dllName)] public static extern int mclBn_FrLagrangeInterpolation(ref Fr z, [In]Fr[] xVec, [In]Fr[] yVec, ulong k);
public static void Init(int curveType = BN254) public static void Init(int curveType = BN254)
{ {
if (!System.Environment.Is64BitProcess) { if (!System.Environment.Is64BitProcess) {

8
ffi/cs/test/test.cs
Unescape View File

@ -293,9 +293,8 @@ namespace mcl {
Fr[] cVec = new Fr[k]; Fr[] cVec = new Fr[k];
// init polynomial // init polynomial
for (int i = 0; i < k; i++) { for (int i = 0; i < k; i++) {
// cVec[i].SetByCSPRNG(); cVec[i].SetByCSPRNG();
cVec[i].SetInt(i + 1); cVec[i].SetInt(i + 1);
Console.WriteLine("cVec[" + i + "]=" + cVec[i].GetStr(10));
} }
Fr[] xVec = new Fr[n]; // user id Fr[] xVec = new Fr[n]; // user id
@ -303,14 +302,11 @@ namespace mcl {
// share cVec[0] with yVec[0], ..., yVec[n-1] // share cVec[0] with yVec[0], ..., yVec[n-1]
for (int i = 0; i < n; i++) { for (int i = 0; i < n; i++) {
xVec[i].SetInt(i + 2); // non zero value xVec[i].SetInt(i + 2); // non zero value
Console.WriteLine("x=" + xVec[i].GetStr(10));
MCL.Share(ref yVec[i], cVec, xVec[i]); MCL.Share(ref yVec[i], cVec, xVec[i]);
Console.WriteLine("y=" + yVec[i].GetStr(10));
} }
// recover cVec[0] from xVecSubset and yVecSubset // recover cVec[0] from xVecSubset and yVecSubset
Fr[] xVecSubset = new Fr[k]; Fr[] xVecSubset = new Fr[k];
Fr[] yVecSubset = new Fr[k]; Fr[] yVecSubset = new Fr[k];
Console.WriteLine("cVec[0]=" + cVec[0].GetStr(10));
for (int i0 = 0; i0 < n; i0++) { for (int i0 = 0; i0 < n; i0++) {
xVecSubset[0] = xVec[i0]; xVecSubset[0] = xVec[i0];
yVecSubset[0] = yVec[i0]; yVecSubset[0] = yVec[i0];
@ -322,8 +318,6 @@ namespace mcl {
yVecSubset[2] = yVec[i2]; yVecSubset[2] = yVec[i2];
Fr s = new Fr(); Fr s = new Fr();
MCL.Recover(ref s, xVecSubset, yVecSubset); MCL.Recover(ref s, xVecSubset, yVecSubset);
Console.WriteLine("x=" + i0 + ", " + i1 + ", " + i2);
Console.WriteLine("s=" + s.GetStr(10));
assert("Recover", s.Equals(cVec[0])); assert("Recover", s.Equals(cVec[0]));
} }
} }

Write Preview
Loading…
Cancel
Save