Biswashree Dey

# Description - Deployment of the shield contract on test blockchain and addition of the verifier - Reimplemented set up of the Agreement state - Rewrote tests for the mock...

SRI Zero-Knowledge Component: IPFS preparation tasks

2

## Overview Setup IPFS for the storage of the Sparse Merkle tree. ### Reference - [Documentation](https://docs.google.com/document/d/1FTcW1kPa-75AqaYLdlPeL2TXNR-NJy_nN1ZUvgk-m18/edit?usp=sharing) - [Library to be used](https://js.ipfs.tech) ### Assumptions - The IPFS will be a private...

SRI Zero-Knowledge Component: Zero-Knowledge Circuit Provider

1

## Overview Implement a zero-knowledge circuit to proof that a Merkle root exists as a leaf in a given Sparse Merkle Tree ### Reference - [Documentation](https://docs.google.com/document/d/1FTcW1kPa-75AqaYLdlPeL2TXNR-NJy_nN1ZUvgk-m18/edit?usp=sharing) - [References](https://docs.gnark.consensys.net/en/latest/) ### Assumptions...

SRI Zero-Knowledge Component: Integration

1

## Overview Integrate all the ZK components (Merkle tree, Sparse Merkle Tree and Zero-Knowledge Circuit). ### Reference - [Documentation](https://docs.google.com/document/d/1FTcW1kPa-75AqaYLdlPeL2TXNR-NJy_nN1ZUvgk-m18/edit?usp=sharing) ### Acceptance - Workflow participants are able to create a Merkle...

SRI Zero-Knowledge Component: Sparse Merkle Tree

1

## Overview Implement a Sparse Merkle tree to store the root of the Merkle Tree of the document to be baselined. ### Reference - [Documentation](https://docs.google.com/document/d/1FTcW1kPa-75AqaYLdlPeL2TXNR-NJy_nN1ZUvgk-m18/edit?usp=sharing) - [References](https://github.com/cedoor/sparse-merkle-tree#smt-create-proof) ### Assumptions -...

## Overview Implement an off-chain [Merkle Tree class](https://docs.google.com/document/d/1FTcW1kPa-75AqaYLdlPeL2TXNR-NJy_nN1ZUvgk-m18/edit?usp=sharing) to convert state documents into a Merkle Tree and return the root. ### Reference - [Documentation](https://docs.google.com/document/d/1FTcW1kPa-75AqaYLdlPeL2TXNR-NJy_nN1ZUvgk-m18/edit?usp=sharing) - This implementation uses the [precise-proof...

SRI - Accept Eddsa signatures throughout the application

2

## Overview Previously we accepted only Ecdsa signatures in the SRI because we used Metamask to login and Metamask used Ecdsa signatures. But Ecdsa signature verification inside circom zk circuits...

SRI - CCSM integration discussion

1

## Overview This issue tackles as conditions and controls regarding deploying and calling the ccsm contract functions. ## Tasks - [ ] Discuss who and when should deploy the contract...

[Interop] Zero-knowledge circuits

1

## Overview Circuits need to verify non-inclusion merkle proof and ecdsa signature.

- Content is: [ ] Coding tutorial [x] Informational content [ ] Other (describe) - Which blockchain protocol is this about?: Ethereum - Description (two or three phrases describing what...