2 Commits

Author	SHA1	Message	Date
markspanbroek	4d069599c9	Use real verifier (#737) ... * use a real verifying contract address * contracts: cleanup * marketplacesuite: set correct circuit files, interval mining * Proofs tests updates Contains changes to get the proving tests working reliably. * integration: use correct circom artifacts for creating proofs * integration: cleanup --------- Co-authored-by: Dmitriy Ryajov <dryajov@gmail.com> Co-authored-by: Eric <5089238+emizzle@users.noreply.github.com>	2024-03-12 14:20:42 +00:00
Dmitriy Ryajov	9e13d2251a	Prover works with zkey (#711) ... * rework backend to instantiate key at initialization * add groth16 convertes for solidity * prover taks num samples on construction * add zkey file * rework helpers * rename types * update tests * reworked test helpers * rename types * rework test * test all slots artifacts * bump to latest version	2024-02-19 18:58:39 +00:00