Commit Graph

31 Commits

Author SHA1 Message Date
damirka
0b798dc950 console + definition + core 2021-05-03 16:47:33 +03:00
Protryon
534f36a077 compiler tests 2021-04-19 18:08:14 -07:00
howardwu
4eac040178 chore(leo): bump version for new release 2021-04-15 13:49:42 -07:00
howardwu
62ee4c3b8b chore(leo): bump version for new release 2021-04-09 14:08:52 -07:00
howardwu
ccea624184 Remove no defaults on synthesizer 2021-04-09 13:56:03 -07:00
ljedrz
670e3c0b47 deps: update snarkVM
Signed-off-by: ljedrz <ljedrz@gmail.com>
2021-04-07 10:01:26 +02:00
collin
f16bb70da9 test pedersen hash constraint numbers 2021-03-23 14:16:51 -07:00
howardwu
284bee6fe8 Update to ToBitsBEGadget, update to snarkVM v0.2.1 2021-03-15 21:02:03 -07:00
ljedrz
34f5ab782a refactor: introduce a helper ConstraintSet object
Signed-off-by: ljedrz <ljedrz@gmail.com>
2021-03-11 13:40:15 +01:00
dependabot-preview[bot]
ab5da38aa0
Bump num-bigint from 0.3.1 to 0.4.0
Bumps [num-bigint](https://github.com/rust-num/num-bigint) from 0.3.1 to 0.4.0.
- [Release notes](https://github.com/rust-num/num-bigint/releases)
- [Changelog](https://github.com/rust-num/num-bigint/blob/master/RELEASES.md)
- [Commits](https://github.com/rust-num/num-bigint/compare/num-bigint-0.3.1...num-bigint-0.4.0)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
2021-03-08 23:39:44 +00:00
howardwu
2e7b542b8b Format and clean up, enable default on snarkvm_algorithms 2021-03-04 11:09:24 -08:00
howardwu
4650b5cd80 Update gadget traits 2021-03-04 11:01:00 -08:00
howardwu
4fec97083d Adds gadgets dep 2021-03-04 10:48:48 -08:00
howardwu
d8e9edc941 Update fields structs 2021-03-04 10:48:28 -08:00
howardwu
187f738811 Update fields errors 2021-03-04 10:48:01 -08:00
howardwu
ff4412d7d0 Update curves errors 2021-03-04 10:47:32 -08:00
howardwu
3421e891b6 Adds r1cs dep 2021-03-04 10:46:47 -08:00
howardwu
24f5b168aa Updates r1cs traits 2021-03-04 10:45:37 -08:00
howardwu
88e76c7fa3 Adds fields dep 2021-03-04 10:42:34 -08:00
howardwu
78e8a3b456 Update curves traits 2021-03-04 10:42:14 -08:00
howardwu
f3daba63df Update gadgets traits 2021-03-04 10:41:33 -08:00
howardwu
fc4bc537dd Update primefield traits 2021-03-04 10:39:56 -08:00
howardwu
3c4b8e9f68 Update gadgets traits 2021-03-04 10:38:28 -08:00
howardwu
400e3dd440 Update r1cs traits 2021-03-04 10:36:54 -08:00
howardwu
4f50b44a63 itemize imports 2021-03-04 10:33:51 -08:00
howardwu
c9f70800fd Update .tomls to 0.2.0 2021-03-04 10:33:21 -08:00
ljedrz
9695442e77 fix: fix build OOMs by performing out-of-scope cleanups for CircuitSynthesizer objects
Signed-off-by: ljedrz <ljedrz@gmail.com>
2021-03-02 15:54:58 +01:00
howardwu
b86e8f01e9 Adds README.md 2021-02-27 13:22:37 -08:00
howardwu
2bfb64f83e Update synthesizer to support new terminology 2021-02-27 13:21:29 -08:00
howardwu
8a05594b42 Bump snarkvm to v0.0.6 2021-02-27 13:10:39 -08:00
howardwu
ec056a2877 Migrates synthesizer to a dedicated module 2021-02-27 08:48:20 -08:00