14 Commits

Author	SHA1	Message	Date
Dmitriy Ryajov	4f4cbe72b9	wip rework cli to support circuit params	2024-02-09 18:42:02 -06:00
Dmitriy Ryajov	66df642661	remove unnedded inmports and move defaults to codextypes	2024-02-09 18:32:26 -06:00
Dmitriy Ryajov	1c734a6527	move proving defaults to codextypes	2024-02-09 18:32:07 -06:00
Dmitriy Ryajov	2a196b099d	wire in circom backend	2024-02-09 18:31:52 -06:00
Dmitriy Ryajov	d5eaef89c3	cleanup	2024-02-09 18:31:33 -06:00
Dmitriy Ryajov	242461b2da	add circuit static params and adjust input sizes (wip)	2024-02-09 18:30:26 -06:00
Dmitriy Ryajov	24c57c9109	move prover logic from node	2024-02-09 18:28:31 -06:00
Dmitriy Ryajov	0da9d51213	rework circom compat	2024-02-09 18:28:15 -06:00
Dmitriy Ryajov	959baafd6c	make more egonomic	2024-02-09 18:27:54 -06:00
Dmitriy Ryajov	b148a4ecf7	pass proper input	2024-02-09 18:27:43 -06:00
Dmitriy Ryajov	29e884258c	wip rework backend	2024-02-09 18:27:16 -06:00
Dmitriy Ryajov	9697b669e3	wip	2024-02-09 18:25:46 -06:00
Dmitriy Ryajov	6c629cfe61	moving prover around	2024-02-09 18:24:36 -06:00
Dmitriy Ryajov	e23159b065	wire in circom backend (#698) ... * wire in circom backend * should contain leafs * adding circom compad and circuits deps * update windows build * fix windows build * improve test names * move proving defaults to codextypes * remove unnedded inmports and move defaults to codextypes * capture error code on backend failure	2024-02-09 21:40:30 +00:00