nullity00 / maci-noir Goto Github PK

Noir Docs for SHA : https://noir-lang.org/standard_library/cryptographic_primitives/hashes/#sha256
Circom File : https://github.com/privacy-scaling-explorations/maci/blob/master/circuits/circom/hasherSha256.circom
Noir File : https://github.com/nullity00/maci-noir/blob/main/src/hasherSha256.nr
At the moment, Noir's Sha hash functions only hashes an array of bytes & gives an array of bytes.

To Do

• Helper functions to convert multiple Fields into an array of bytes
• Helper functions to convert bytes into Field Type
• Use the SHA hash here : https://github.com/nullity00/maci-noir/blob/main/src/processMessagesInputHasher.nr#L32

To Do

• Hash & prune the private key
• Figure out variable base scalar multiplication , ref : https://github.com/iden3/circomlib/blob/master/circuits/escalarmulany.circom

Ref : https://github.com/privacy-scaling-explorations/maci/blob/master/circuits/circom/ecdh.circom

• subsidy.circom
• stateLeafAndBallotTransformer.circom
• tallyVotes.circom
• verifySignature.circom

Circom File : https://github.com/privacy-scaling-explorations/maci/blob/master/circuits/circom/privToPubKey.circom

To Convert Private key to Public Key, multiply private key with the Base point of the curve i.e. pubKey = privKey * G. This is done using Fixed base Scalar multiplication.

To Do

• Private key has to be pruned & hashed inside the circuit. Ref: https://github.com/iden3/circomlibjs/blob/main/src/eddsa.js#L29
• Implement Fixed Base Scalar Multiplication (Noir has a std lib with this func : https://noir-lang.org/standard_library/cryptographic_primitives/scalar/#scalar_mulfixed_base )

The template DivisionFromNormal is defined here -
https://github.com/privacy-scaling-explorations/maci/blob/master/circuits/circom/float.circom#L118 in float.circom . This template is used in subsidy.circom .

To do

• Find a way to do DivisionFromNormal in Noir

Files which require tests. Can be broken into smaller chunks.

• babyjub.nr
• ecdh.nr
• hasherPoseidon.nr
• hasherSha256.nr
• messageHasher.nr
• messageToCommand.nr
• messageValidator.nr
• poseidonConstants.nr
• poseidonDecrypt.nr
• poseidonPerm.nr
• privToPubKey.nr
• processMessages.nr
• processMessagesInputHasher.nr
• processOne.nr
• processTopUp.nr
• stateLeafAndBallotTransformer.nr
• subsidy.nr
• tallyVotes.nr
• treeIncrementalMerkle.nr
• treeIncrementalQuin.nr
• utils.nr
• verifySignature.nr