circomlibjs-hinkal-fork 0.0.1

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 (39) hide show
  1. package/.github/workflows/npm-publish.yml +21 -0
  2. package/.vscode/launch.json +40 -0
  3. package/README.md +18 -0
  4. package/badmsges.md +0 -0
  5. package/build/main.cjs +27397 -0
  6. package/hardhat.config.js +6 -0
  7. package/main.js +25 -0
  8. package/package.json +40 -0
  9. package/rollup.cjs.config.js +16 -0
  10. package/src/babyjub.js +139 -0
  11. package/src/eddsa.js +286 -0
  12. package/src/evmasm.js +209 -0
  13. package/src/mimc7.js +78 -0
  14. package/src/mimc7_gencontract.js +113 -0
  15. package/src/mimc7_print_iv.js +18 -0
  16. package/src/mimc7_printconstants.js +26 -0
  17. package/src/mimc7_printcontract.js +14 -0
  18. package/src/mimcsponge.js +100 -0
  19. package/src/mimcsponge_gencontract.js +125 -0
  20. package/src/mimcsponge_printconstants.js +25 -0
  21. package/src/mimcsponge_printcontract.js +14 -0
  22. package/src/pedersen_hash.js +132 -0
  23. package/src/pedersen_printbases.js +36 -0
  24. package/src/poseidon_constants.js +207 -0
  25. package/src/poseidon_constants.json +206 -0
  26. package/src/poseidon_constants_opt.js +24806 -0
  27. package/src/poseidon_constants_opt.json +24806 -0
  28. package/src/poseidon_gencontract.js +209 -0
  29. package/src/poseidon_opt.js +119 -0
  30. package/src/poseidon_printcontract.js +14 -0
  31. package/src/poseidon_printmatrix.js +22 -0
  32. package/src/poseidon_reference.js +83 -0
  33. package/src/poseidon_wasm.js +440 -0
  34. package/src/smt.js +309 -0
  35. package/src/smt_hashes_mimc.js +16 -0
  36. package/src/smt_hashes_poseidon.js +17 -0
  37. package/src/smt_memdb.js +57 -0
  38. package/src/testblake.js +18 -0
  39. package/tools/poseidon_optimize_constants.js +301 -0
@@ -0,0 +1,25 @@
1
+ import buildMimcSponge from "./mimcsponge.js";
2
+ import process from "process";
3
+
4
+ async function run() {
5
+ const mimcsponge = await buildMimcSponge();
6
+ const nRounds = 220;
7
+ let S = "[\n";
8
+ const cts = mimcsponge.getConstants();
9
+ for (let i=0; i<nRounds; i++) {
10
+ S = S + mimcsponge.F.toString(cts[i]);
11
+ if (i<nRounds-1) S = S + ",";
12
+ S=S+"\n";
13
+ }
14
+ S = S + "]\n";
15
+
16
+ console.log(S);
17
+ }
18
+
19
+ run().then(()=> {
20
+ process.exit(0);
21
+ }, (err) => {
22
+ console.log(err.stack);
23
+ console.log(err.message);
24
+ process.exit(1);
25
+ });
@@ -0,0 +1,14 @@
1
+ import {createCode} from "./mimcsponge_gencontract.js";
2
+ import process from "process";
3
+
4
+ const SEED = "mimcsponge";
5
+
6
+ let nRounds;
7
+ if (typeof process.argv[2] != "undefined") {
8
+ nRounds = parseInt(process.argv[2]);
9
+ } else {
10
+ nRounds = 220;
11
+ }
12
+
13
+ console.log(createCode(SEED, nRounds));
14
+
@@ -0,0 +1,132 @@
1
+ import buildBabyJub from "./babyjub.js";
2
+ import blake2b from "blake2b";
3
+ import createBlakeHash from "blake-hash";
4
+ import { Scalar } from "ffjavascript";
5
+ import {Buffer} from 'buffer';
6
+
7
+ const GENPOINT_PREFIX = "PedersenGenerator";
8
+ const windowSize = 4;
9
+ const nWindowsPerSegment = 50;
10
+
11
+ export default async function buildPedersenHash() {
12
+ const babyJub = await buildBabyJub();
13
+ return new PedersenHash(babyJub);
14
+ }
15
+
16
+ class PedersenHash {
17
+
18
+ constructor(babyJub) {
19
+ this.babyJub = babyJub;
20
+ this.bases = [];
21
+ }
22
+
23
+ baseHash(type, S) {
24
+ if (type == "blake") {
25
+ return createBlakeHash("blake256").update(S).digest();
26
+ } else if (type == "blake2b") {
27
+ return Buffer.from(blake2b(32).update(Buffer.from(S)).digest());
28
+ }
29
+ }
30
+
31
+ hash(msg, options) {
32
+ options = options || {};
33
+ options.baseHash = options.baseHash || "blake";
34
+ const babyJub = this.babyJub;
35
+ const bitsPerSegment = windowSize*nWindowsPerSegment;
36
+ const bits = this.buffer2bits(msg);
37
+
38
+ const nSegments = Math.floor((bits.length - 1)/(windowSize*nWindowsPerSegment)) +1;
39
+
40
+ let accP = [babyJub.F.zero,babyJub.F.one];
41
+
42
+ for (let s=0; s<nSegments; s++) {
43
+ let nWindows;
44
+ if (s == nSegments-1) {
45
+ nWindows = Math.floor(((bits.length - (nSegments - 1)*bitsPerSegment) - 1) / windowSize) +1;
46
+ } else {
47
+ nWindows = nWindowsPerSegment;
48
+ }
49
+ let escalar = Scalar.e(0);
50
+ let exp = Scalar.e(1);
51
+ for (let w=0; w<nWindows; w++) {
52
+ let o = s*bitsPerSegment + w*windowSize;
53
+ let acc = Scalar.e(1);
54
+ for (let b=0; ((b<windowSize-1)&&(o<bits.length)) ; b++) {
55
+ if (bits[o]) {
56
+ acc = Scalar.add(acc, Scalar.shl(Scalar.e(1), b) );
57
+ }
58
+ o++;
59
+ }
60
+ if (o<bits.length) {
61
+ if (bits[o]) {
62
+ acc = Scalar.neg(acc);
63
+ }
64
+ o++;
65
+ }
66
+ escalar = Scalar.add(escalar, Scalar.mul(acc, exp));
67
+ exp = Scalar.shl(exp, windowSize+1);
68
+ }
69
+
70
+ if (Scalar.lt(escalar, 0)) {
71
+ escalar = Scalar.add( escalar, babyJub.subOrder);
72
+ }
73
+
74
+ accP = babyJub.addPoint(accP, babyJub.mulPointEscalar(this.getBasePoint(options.baseHash, s), escalar));
75
+ }
76
+
77
+ return babyJub.packPoint(accP);
78
+ }
79
+
80
+ getBasePoint(baseHashType, pointIdx) {
81
+ const babyJub = this.babyJub;
82
+ if (this.bases[pointIdx]) return this.bases[pointIdx];
83
+ let p= null;
84
+ let tryIdx = 0;
85
+ while (p==null) {
86
+ const S = GENPOINT_PREFIX + "_" + this.padLeftZeros(pointIdx, 32) + "_" + this.padLeftZeros(tryIdx, 32);
87
+ const h = this.baseHash(baseHashType, S);
88
+ h[31] = h[31] & 0xBF; // Set 255th bit to 0 (256th is the signal and 254th is the last possible bit to 1)
89
+ p = babyJub.unpackPoint(h);
90
+ tryIdx++;
91
+ }
92
+
93
+ const p8 = babyJub.mulPointEscalar(p, 8);
94
+
95
+ if (!babyJub.inSubgroup(p8)) {
96
+ throw new Error("Point not in curve");
97
+ }
98
+
99
+ this.bases[pointIdx] = p8;
100
+ return p8;
101
+ }
102
+
103
+ padLeftZeros(idx, n) {
104
+ let sidx = "" + idx;
105
+ while (sidx.length<n) sidx = "0"+sidx;
106
+ return sidx;
107
+ }
108
+
109
+ /*
110
+ Input a buffer
111
+ Returns an array of booleans. 0 is LSB of first byte and so on.
112
+ */
113
+ buffer2bits(buff) {
114
+ const res = new Array(buff.length*8);
115
+ for (let i=0; i<buff.length; i++) {
116
+ const b = buff[i];
117
+ res[i*8] = (b & 0x01);
118
+ res[i*8+1] = (b & 0x02) >> 1;
119
+ res[i*8+2] = (b & 0x04) >> 2;
120
+ res[i*8+3] = (b & 0x08) >> 3;
121
+ res[i*8+4] = (b & 0x10) >> 4;
122
+ res[i*8+5] = (b & 0x20) >> 5;
123
+ res[i*8+6] = (b & 0x40) >> 6;
124
+ res[i*8+7] = (b & 0x80) >> 7;
125
+ }
126
+ return res;
127
+ }
128
+ }
129
+
130
+
131
+
132
+
@@ -0,0 +1,36 @@
1
+ import buildPedersenHash from "./pedersenhash.js";
2
+ import process from "process";
3
+
4
+ async function run() {
5
+ const pedersenHash = await buildPedersenHash();
6
+
7
+ let nBases;
8
+ if (typeof process.argv[2] != "undefined") {
9
+ nBases = parseInt(process.argv[2]);
10
+ } else {
11
+ nBases = 5;
12
+ }
13
+
14
+ let baseHash;
15
+ if (typeof process.argv[3] != "undefined") {
16
+ baseHash = process.argv[3];
17
+ } else {
18
+ baseHash = "blake";
19
+ }
20
+
21
+ for (let i=0; i < nBases; i++) {
22
+ const p = pedersenHash.getBasePoint(i);
23
+ console.log(`[${pedersenHash.babyJub.F.toString(p[0])},${pedersenHash.babyJub.F.toString(p[1])}]`);
24
+ }
25
+
26
+
27
+ }
28
+
29
+ run().then(()=> {
30
+ process.exit(0);
31
+ }, (err) => {
32
+ console.log(err.stack);
33
+ console.log(err.message);
34
+ process.exit(1);
35
+ });
36
+