Added zk cryptography #14

aritkulova · 2024-12-09T16:19:30Z

Since this PR suggests a bug fix, the tests have been added and the coverage is 100%.
Since this PR introduces a new feature, the update has been discussed in an Issue or with the team.
This PR is just a minor change, like a typo fix.

switched all files to one pragma circom version

added spaces between operators; linting

ellipic -> elliptic ADDERS_NUMBER -> ADDRES_NUMBER

circuits/matrix/matrixFunc.circom

circuits/signatures/mgf1.circom

hardhat.config.ts

package.json

circuits/blinders/Commitment.circom

circuits/data-structures/SparseMerkleTree.circom

package.json

circuits/signatures/ecdsa.circom

mock is for tests now

SparseMerkleTreeVerifier -> SparseMerkleTree

package.json

Arvolear

LGTM!

* Added zk cryptography (#14) * Add hash functions * Add zk cryptography * fix deps * fix test runner * linted and reorganised hash functions; switched all files to one pragma circom version * linted wasm-test * updated hardhat-zkit package version * linted zk cryptography circom files * cleaned up wasm-test js files * renamed functions to camel case * removed double spaces; added spaces between operators; linting * refactored comments, corrected typos * linting * updated dependencies * rewrote tests from wasm to hardhat: bigInt folder * rewrote tests from wasm to hardhat: bitify folder * rewrote tests from wasm to hardhat: hasher folder * rewrote tests from wasm to hardhat: int folder * transfered common functions to helperFunctions file * fixed typos: ellipic -> elliptic ADDERS_NUMBER -> ADDRES_NUMBER * allowed UnlimitedContractSize for verifiers contracts * updated hardhat-zkit version * rewrote tests from wasm to hardhat: matrix folder * fixed typos * switched to same order of inputs in sig folder * rewrote tests from wasm to hardhat: signature folder * rewrote tests from wasm to hardhat: ec folder * fixed typos * trying to fix compile in ci * trying to adjust ram in case its github limit * refactored possibly undefined vars in tests * checking a pipeline without 4 biggest circuits * fixed tests for brainloop: automatically generated verifier names were too long, so corresponding contracts were not generated; fixed by creating verifiers dirrectly whithin the tests * refactored assertion checks in tests * updated zkit hardhat version * let -> const in tests * deleted wasm-test folder * trying to fix ci * trying to fix ci command * disabled ci checks * consistency in tests * added missing BigSubNonEqual test * cleaned up * mock directory renamed to main; mock is for tests now * moved mgf1.circom to utils * fixed typo in Pippenger * fixed paths (renamed mock to main) * switched to local circuits instead of circomlib's * renamed utils to mask * CommitmentVerifier -> Commitment SparseMerkleTreeVerifier -> SparseMerkleTree * updated dependencies * updated tests * fixed package-lock * linting * removed unnecessary dependencies * returned chai deps --------- Co-authored-by: 1KitCat1 <denischool119@gmail.com> Co-authored-by: Artem Chystiakov <artem.ch31@gmail.com> * update readme * update readme --------- Co-authored-by: Yuliia Aritkulova <94910987+aritkulova@users.noreply.github.com> Co-authored-by: 1KitCat1 <denischool119@gmail.com>

1KitCat1 and others added 30 commits December 4, 2024 14:05

Add hash functions

8251304

Add zk cryptography

8f10560

fix deps

ddbf7d2

fix test runner

3c14b28

linted and reorganised hash functions;

6ff41db

switched all files to one pragma circom version

linted wasm-test

defd279

updated hardhat-zkit package version

fd32444

linted zk cryptography circom files

909a57a

cleaned up wasm-test js files

5cd0290

renamed functions to camel case

a84910a

removed double spaces;

a2f0d6e

added spaces between operators; linting

refactored comments, corrected typos

68d3b70

linting

fc56ced

updated dependencies

1fbcd66

rewrote tests from wasm to hardhat: bigInt folder

0225ae5

rewrote tests from wasm to hardhat: bitify folder

348c7c2

rewrote tests from wasm to hardhat: hasher folder

3a64ada

rewrote tests from wasm to hardhat: int folder

d9da869

transfered common functions to helperFunctions file

a875029

fixed typos:

df6886b

ellipic -> elliptic ADDERS_NUMBER -> ADDRES_NUMBER

allowed UnlimitedContractSize for verifiers contracts

083d73d

updated hardhat-zkit version

c463198

rewrote tests from wasm to hardhat: matrix folder

95a3711

fixed typos

68f48a3

switched to same order of inputs in sig folder

451bcc5

rewrote tests from wasm to hardhat: signature folder

05dfd45

rewrote tests from wasm to hardhat: ec folder

7bd423d

fixed typos

74b7e68

trying to fix compile in ci

23d8373

trying to adjust ram in case its github limit

6203019