Compare commits
4 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
79d30349b4 | ||
|
|
e3cd0e5aa7 | ||
|
|
86e970b888 | ||
|
|
29e162383d |
@@ -47,7 +47,7 @@ template EdDSAPoseidonVerifier() {
|
|||||||
snum2bits.out[i] ==> compConstant.in[i];
|
snum2bits.out[i] ==> compConstant.in[i];
|
||||||
}
|
}
|
||||||
compConstant.in[253] <== 0;
|
compConstant.in[253] <== 0;
|
||||||
compConstant.out === 0;
|
compConstant.out*enabled === 0;
|
||||||
|
|
||||||
// Calculate the h = H(R,A, msg)
|
// Calculate the h = H(R,A, msg)
|
||||||
|
|
||||||
@@ -79,7 +79,7 @@ template EdDSAPoseidonVerifier() {
|
|||||||
// We check that A is not zero.
|
// We check that A is not zero.
|
||||||
component isZero = IsZero();
|
component isZero = IsZero();
|
||||||
isZero.in <== dbl3.x;
|
isZero.in <== dbl3.x;
|
||||||
isZero.out === 0;
|
isZero.out*enabled === 0;
|
||||||
|
|
||||||
component mulAny = EscalarMulAny(254);
|
component mulAny = EscalarMulAny(254);
|
||||||
for (i=0; i<254; i++) {
|
for (i=0; i<254; i++) {
|
||||||
|
|||||||
3
index.js
3
index.js
@@ -4,3 +4,6 @@ exports.mimc7 = require("./src/mimc7");
|
|||||||
exports.mimcsponge = require("./src/mimcsponge");
|
exports.mimcsponge = require("./src/mimcsponge");
|
||||||
exports.babyJub = require("./src/babyjub");
|
exports.babyJub = require("./src/babyjub");
|
||||||
exports.pedersenHash = require("./src/pedersenHash");
|
exports.pedersenHash = require("./src/pedersenHash");
|
||||||
|
exports.SMT = require("./src/smt").SMT;
|
||||||
|
exports.SMTMemDB = require("./src/smt_memdb");
|
||||||
|
exports.poseidon = require("./src/poseidon");
|
||||||
|
|||||||
2
package-lock.json
generated
2
package-lock.json
generated
@@ -1,6 +1,6 @@
|
|||||||
{
|
{
|
||||||
"name": "circomlib",
|
"name": "circomlib",
|
||||||
"version": "0.0.15",
|
"version": "0.0.17",
|
||||||
"lockfileVersion": 1,
|
"lockfileVersion": 1,
|
||||||
"requires": true,
|
"requires": true,
|
||||||
"dependencies": {
|
"dependencies": {
|
||||||
|
|||||||
@@ -1,6 +1,6 @@
|
|||||||
{
|
{
|
||||||
"name": "circomlib",
|
"name": "circomlib",
|
||||||
"version": "0.0.15",
|
"version": "0.0.17",
|
||||||
"description": "Basic circuits library for Circom",
|
"description": "Basic circuits library for Circom",
|
||||||
"main": "index.js",
|
"main": "index.js",
|
||||||
"directories": {
|
"directories": {
|
||||||
@@ -26,12 +26,12 @@
|
|||||||
"dependencies": {
|
"dependencies": {
|
||||||
"blake-hash": "^1.1.0",
|
"blake-hash": "^1.1.0",
|
||||||
"blake2b": "^2.1.3",
|
"blake2b": "^2.1.3",
|
||||||
"snarkjs": "^0.1.19",
|
"snarkjs": "^0.1.20",
|
||||||
"typedarray-to-buffer": "^3.1.5",
|
"typedarray-to-buffer": "^3.1.5",
|
||||||
"web3": "^1.0.0-beta.55"
|
"web3": "^1.0.0-beta.55"
|
||||||
},
|
},
|
||||||
"devDependencies": {
|
"devDependencies": {
|
||||||
"circom": "0.0.28",
|
"circom": "0.0.32",
|
||||||
"eslint-plugin-mocha": "^5.2.0",
|
"eslint-plugin-mocha": "^5.2.0",
|
||||||
"ganache-cli": "^6.4.4",
|
"ganache-cli": "^6.4.4",
|
||||||
"mocha": "^5.2.0"
|
"mocha": "^5.2.0"
|
||||||
|
|||||||
@@ -95,7 +95,7 @@ exports.createHash = (t, nRoundsF, nRoundsP, seed) => {
|
|||||||
const M = exports.getMatrix(t, seed, nRoundsF + nRoundsP);
|
const M = exports.getMatrix(t, seed, nRoundsF + nRoundsP);
|
||||||
return function(inputs) {
|
return function(inputs) {
|
||||||
let state = [];
|
let state = [];
|
||||||
assert(inputs.length < t);
|
assert(inputs.length <= t);
|
||||||
assert(inputs.length > 0);
|
assert(inputs.length > 0);
|
||||||
for (let i=0; i<inputs.length; i++) state[i] = bigInt(inputs[i]);
|
for (let i=0; i<inputs.length; i++) state[i] = bigInt(inputs[i]);
|
||||||
for (let i=inputs.length; i<t; i++) state[i] = F.zero;
|
for (let i=inputs.length; i<t; i++) state[i] = F.zero;
|
||||||
|
|||||||
@@ -309,3 +309,5 @@ async function newMemEmptyTrie() {
|
|||||||
|
|
||||||
module.exports.loadFromFile = loadFromFile;
|
module.exports.loadFromFile = loadFromFile;
|
||||||
module.exports.newMemEmptyTrie = newMemEmptyTrie;
|
module.exports.newMemEmptyTrie = newMemEmptyTrie;
|
||||||
|
module.exports.SMT = SMT;
|
||||||
|
module.exports.SMTMemDB = SMTMemDB;
|
||||||
|
|||||||
Reference in New Issue
Block a user