20 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Balazs Komuves	b433cbf7ad	speed up fake setup generation	2023-11-23 13:25:26 +01:00
Balazs Komuves	148d54f614	export SageMath verification script (bn128 curve only)	2023-11-22 15:55:18 +01:00
Balazs Komuves	502e031e95	small comments / fix typos	2023-11-21 11:31:27 +01:00
Balazs Komuves	26f708f908	make it a nimble package	2023-11-17 09:49:35 +01:00
Balazs Komuves	4a814ee050	measure proof time	2023-11-14 12:40:13 +01:00
Balazs Komuves	2047e7e476	started some refactoring. However Nim import "mechanism" *does not help*...	2023-11-14 12:39:54 +01:00
Balazs Komuves	7379bc04ae	Merge pull request #2 from codex-storage/fix-msm ... use constantine msm	2023-11-14 09:37:36 +01:00
Dmitriy Ryajov	36a46e277b	forbenius isn't explicitely used	2023-11-13 14:37:57 -06:00
Dmitriy Ryajov	1df86e23d8	use constantine msm	2023-11-13 14:34:42 -06:00
Balazs Komuves	5ce7926e92	add "fake" trusted setup for testing purposes; implement both the paper version and snarkjs version of the prover	2023-11-13 19:40:15 +01:00
Balazs Komuves	0544ef5b9e	fix r1cs parsing (wrong field element representation)	2023-11-13 19:30:16 +01:00
Balazs Komuves	106d918ecf	fix a bug (how did it work before?!)	2023-11-13 18:11:20 +01:00
Balazs Komuves	9fd8bba4f0	minor improvements	2023-11-11 17:14:23 +01:00
Balazs Komuves	b4f4f7c97f	add example proof script	2023-11-11 14:37:31 +01:00
Balazs Komuves	f094de8df3	proving and verifying _finally_ works	2023-11-11 13:35:13 +01:00
Balazs Komuves	e893d37b43	divide by vanishing polynomial	2023-11-10 11:15:38 +01:00
Balazs Komuves	30ebd2793e	polynomials and NTT	2023-11-10 10:54:21 +01:00
Balazs Komuves	ba04191b72	circom files parsing (r1cs, wtns and zkey files)	2023-11-09 16:38:06 +01:00
Balazs Komuves	e6eb074c0b	README and license	2023-11-09 15:21:21 +01:00
Balazs Komuves	622f804bcd	initial commit	2023-11-09 15:20:07 +01:00