Edith Distance Noir

Screenshots

Problem Statement

Edith Distance is the minimum number of operations to convert one word to anotherOperations that are permitted areremove a characterreplace a characteradd a characterThis 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

Solution

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