Another Good week for Spinada , the research phase is concluded successfully! Results:
1. A working ZKP arithmetic circuit implementation in Circom language to be used for proof generation with SnarkJs lib on client. 2. Plutus validator for checking ZK proofs on chain. We tested it with an example proof. …