603 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Dmitriy Ryajov	bb599a662a	bump circom	2024-02-07 21:04:27 -06:00
Dmitriy Ryajov	1dcfc17cce	bump circom compat ffi	2024-02-07 21:04:27 -06:00
Dmitriy Ryajov	b0a963755c	add tests for prover	2024-02-07 21:04:16 -06:00
Dmitriy Ryajov	d87dfed307	add test using real samples	2024-02-07 21:04:15 -06:00
Dmitriy Ryajov	48faccb833	misc	2024-02-07 21:03:59 -06:00
Dmitriy Ryajov	da7a6a6712	use Proof.init	2024-02-07 21:03:59 -06:00
Dmitriy Ryajov	96811ca86f	cleanup and proper inputs structure	2024-02-07 21:03:57 -06:00
Dmitriy Ryajov	d75bffede0	add circuit static params and adjust input sizes (wip)	2024-02-07 21:03:34 -06:00
Dmitriy Ryajov	7cf4a72025	enable case objects field checks	2024-02-07 21:03:34 -06:00
Dmitriy Ryajov	1c0981a642	imports	2024-02-07 21:03:33 -06:00
Dmitriy Ryajov	1487ccabf4	pass prover options	2024-02-07 21:03:33 -06:00
Dmitriy Ryajov	077a4bf29a	wip adding prover tests	2024-02-07 21:03:09 -06:00
Dmitriy Ryajov	2d1226d669	rename tests	2024-02-07 21:02:46 -06:00
Dmitriy Ryajov	eddae1c329	dissable prover for now	2024-02-07 21:02:46 -06:00
Dmitriy Ryajov	e8693b7b66	misc	2024-02-07 21:02:45 -06:00
Dmitriy Ryajov	c5c60ba9ff	misc	2024-02-07 21:02:45 -06:00
Dmitriy Ryajov	af7dcbc422	wip: wire in prover	2024-02-07 21:02:45 -06:00
Dmitriy Ryajov	045224bb13	add default samples number	2024-02-07 21:02:45 -06:00
Dmitriy Ryajov	cfd6e7f863	wip wire in prover and circom config	2024-02-07 21:02:45 -06:00
Dmitriy Ryajov	0a9af5ceff	misc	2024-02-07 21:02:44 -06:00
Dmitriy Ryajov	ff59c45a51	pass number of samples to prover	2024-02-07 21:02:25 -06:00
Dmitriy Ryajov	697b69e349	remove unneded files	2024-02-07 21:01:40 -06:00
Dmitriy Ryajov	10af9dcda6	wip merge master	2024-02-07 21:01:38 -06:00
Dmitriy Ryajov	f44d3a2b59	ignore debug symbols	2024-02-07 21:00:40 -06:00
Dmitriy Ryajov	71c876ce3f	rename test suite	2024-02-07 21:00:40 -06:00
Dmitriy Ryajov	c62ecaf105	test backends	2024-02-07 21:00:40 -06:00
Dmitriy Ryajov	3ec6fe21b3	move tests to subdirectory	2024-02-07 21:00:40 -06:00
Dmitriy Ryajov	4748e2a4af	move fixtures to top level	2024-02-07 21:00:39 -06:00
Dmitriy Ryajov	d72e208fd0	add circom compat tests	2024-02-07 21:00:37 -06:00
Dmitriy Ryajov	b82b5966a2	init prover	2024-02-07 21:00:04 -06:00
Dmitriy Ryajov	4fad61955e	add circom file config options	2024-02-07 21:00:04 -06:00
Dmitriy Ryajov	c058a4e06f	remove generic types	2024-02-07 21:00:03 -06:00
Dmitriy Ryajov	5e234e7604	add prover	2024-02-07 21:00:03 -06:00
Dmitriy Ryajov	23c170ce46	init node	2024-02-07 21:00:03 -06:00
Dmitriy Ryajov	6d514df503	expose circom backend	2024-02-07 21:00:03 -06:00
Dmitriy Ryajov	9e78970b21	move prover logic from node	2024-02-07 21:00:03 -06:00
Dmitriy Ryajov	79088c2383	rework circom compat	2024-02-07 21:00:02 -06:00
Dmitriy Ryajov	5f0d214f32	bump circom ffi	2024-02-07 20:59:48 -06:00
Dmitriy Ryajov	5caa65aad8	add tests for circom backend	2024-02-07 20:59:47 -06:00
Dmitriy Ryajov	0ec32d19b3	remove zkey file	2024-02-07 20:59:47 -06:00
Dmitriy Ryajov	f20218d92a	make more egonomic	2024-02-07 20:59:23 -06:00
Dmitriy Ryajov	9f1ec4b02f	pass proper input	2024-02-07 20:59:23 -06:00
Dmitriy Ryajov	e62b5c918a	bump circom ffi	2024-02-07 20:59:22 -06:00
Dmitriy Ryajov	65f5cdb62a	drop files	2024-02-07 20:59:22 -06:00
Dmitriy Ryajov	b0e5058d45	wip rework backend	2024-02-07 20:59:22 -06:00
Dmitriy Ryajov	0d3b18cb5e	wip	2024-02-07 20:59:18 -06:00
Dmitriy Ryajov	50766a8cf2	bump circom compat	2024-02-07 20:58:39 -06:00
Dmitriy Ryajov	b5808b5d48	bump nimbus build system	2024-02-07 20:58:39 -06:00
Dmitriy Ryajov	a2052a2052	don't export types	2024-02-07 20:58:07 -06:00
Dmitriy Ryajov	4fd07eb151	moving prover around	2024-02-07 20:57:32 -06:00