87 Commits

Author	SHA1	Message	Date
Jordi Baylina	a002bcbc25	bls12-381 fix and fast r1cs generation	2020-09-24 19:18:49 +02:00
Jordi Baylina	f9f1d0c13e	High Removed array	2020-09-19 18:36:35 +02:00
Jordi Baylina	fc01aad8b6	Reduce mem	2020-09-17 22:53:06 +02:00
Jordi Baylina	5dc54bb7d2	Optimize recursive constant dependency	2020-09-17 17:42:32 +02:00
Jordi Baylina	bad8fad3d0	Optimize optimize constraints not BigArray for small circuits	2020-09-17 10:34:49 +02:00
Jordi Baylina	263dc73906	FIX Bad optimization	2020-09-17 01:09:24 +02:00
Jordi Baylina	8e730d93a4	64 size r1cs	2020-09-04 09:10:49 +02:00
Jordi Baylina	aa2d768465	assert working	2020-08-24 09:31:35 +02:00
Jordi Baylina	f02ceb2508	Big component entry tables	2020-08-17 12:02:24 +02:00
Jordi Baylina	2e1b35a94d	Fix Offset referenced by an iteger	2020-08-17 11:22:21 +02:00
Jordi Baylina	4b631994ca	c to cpp	2020-08-13 18:56:30 +02:00
Jordi Baylina	923b19c414	Fix: Error description function not found	2020-08-12 01:36:01 +02:00
Jordi Baylina	90cc7d5072	Remove streams c and wasm gen	2020-08-07 17:10:30 +02:00
Jordi Baylina	145d5a21ad	BigArray in wit2sig	2020-08-06 22:59:19 +02:00
Jordi Baylina	cbb0b229bc	Big array in r1cs labels	2020-08-05 14:32:05 +02:00
Jordi Baylina	1d14e8c603	BigArray require	2020-07-30 05:06:58 +02:00
Jordi Baylina	1e2fb12631	BigArray in code	2020-07-30 05:04:15 +02:00
Jordi Baylina	0e1a1bcc23	BigArray in CBuild	2020-07-29 19:40:24 +02:00
Jordi Baylina	5f3ef322a7	Simplify buildC	2020-07-28 12:50:23 +02:00
Jordi Baylina	3c8e61b9a4	log buildC	2020-07-27 05:00:47 +02:00
Jordi Baylina	06b6c1a49e	Fast write constraints	2020-07-25 13:55:17 +02:00
Jordi Baylina	26cad30222	faster write r1cs	2020-07-23 15:55:27 +02:00
Jordi Baylina	f48de61ca9	lIdx BigArray	2020-07-21 14:34:53 +02:00
Jordi Baylina	9bf6ecc4f3	Reducing constraints big array	2020-07-21 08:47:10 +02:00
Jordi Baylina	9fe8be9828	optimize optimize constraints	2020-07-18 14:55:00 +02:00
Jordi Baylina	8655573b34	r1cs builder fix	2020-07-04 19:54:47 +02:00
Jordi Baylina	744d3b241c	deps and verbos	2020-07-02 05:33:31 +02:00
Jordi Baylina	7fc457ac90	fastfile	2020-04-19 18:38:10 +02:00
Jordi Baylina	767ca60008	Use native big int	2020-04-18 20:53:13 +02:00
Jordi Baylina	ca7379995e	Error reporting fixes	2020-03-31 15:36:26 +02:00
Jordi Baylina	80cce0ccbb	deps	2020-03-28 21:26:43 +01:00
Jordi Baylina	f261992689	deps and compatible with node10	2020-03-26 22:36:47 +01:00
Jordi Baylina	eb8cb0af74	Almost ready for 0.5.0	2020-03-26 17:42:25 +01:00
Jordi Baylina	ef899e618b	Wasm generation finished	2020-03-16 20:37:08 +01:00
Jordi Baylina	8f63d18ff4	Begining of wasm	2020-03-09 21:16:56 +01:00
Jordi Baylina	6c1a3e7687	Isolate code generation to output different languages	2020-02-04 19:21:37 +01:00
Jordi Baylina	111c91c70d	bigarray	2020-01-30 07:25:48 +01:00
Jordi Baylina	a8d597d8c5	Optimize number of getSignalOffset and getSignalSizes	2020-01-28 15:17:47 +01:00
Jordi Baylina	3a9766a008	write code in stream mode	2020-01-27 13:08:11 +07:00
Jordi Baylina	f6092e3944	Integrated with asm and tested	2020-01-23 07:20:58 +07:00
Jordi Baylina	63fd72cdc7	Assembly library started	2020-01-14 22:43:58 +01:00
Jordi Baylina	da969a5e16	Construction phase redone	2019-12-23 19:34:52 +01:00
Jordi Baylina	b564201170	Multithread	2019-12-20 22:01:12 +01:00
Jordi Baylina	e62c1cdbc3	Fixes and tests passed	2019-12-16 21:37:14 +01:00
Jordi Baylina	ec0e7f421b	roll unrolled loops with code	2019-12-10 18:46:10 +01:00
Jordi Baylina	afa8201c2c	All operators finished	2019-12-08 16:20:15 +01:00
Jordi Baylina	1f94f7f3ec	All Bit and logical operators working	2019-12-08 13:39:16 +01:00
Jordi Baylina	eaf4396cb3	div operators	2019-12-07 21:47:00 +01:00
Jordi Baylina	2a45647274	If added	2019-12-07 14:15:27 +01:00
Jordi Baylina	ff1c12bcc3	scopes work og in code generation	2019-12-07 12:58:11 +01:00