Edith Distance Noir

Edith Distance is the minimum number of operations to convert one word to another

Operations that are permitted are

1. remove a character

2. replace a character

3. add a character

This contract can be used as an intermediary contract in searching most relevant string that matches the either one of tthe string like a compare function in the circuits

We have used Noir to generate a circuit tha calculates Edith Distance between 2 strings using a string as a private input and another as a public input to verifier and we calculate the Edith Distance between them. We generated the Proof and set the Inputs in Prover.toml and Verifier.toml