ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-27 04:01:47 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,148 Commits 54 Branches 46 Tags 340 MiB
fc4bc537dd
Commit Graph

96 Commits

Author SHA1 Message Date
howardwu
fc4bc537dd Update primefield traits 2021-03-04 10:39:56 -08:00
howardwu
b95495bab3 Update r1cs error 2021-03-04 10:39:22 -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
bfdf3c4dca Update field trait 2021-03-04 10:36:29 -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
howardwu
8a05594b42 Bump snarkvm to v0.0.6 2021-02-27 13:10:39 -08:00
howardwu
77a0af18fe chore(leo): bump version for new release 2021-02-26 19:42:35 -08:00
howardwu
be398437c6 Updates snarkVM to 0.0.5, updates rand usage 2021-02-25 08:56:20 -08:00
gluax
ba3ca6069a refactor Field + PrimeField -> PrimeField, all tests still pass 2021-02-16 14:41:59 -05:00
collin
537ea39513 bump snarkvm module versions to 0.0.4 2021-02-11 17:33:53 -08:00
howardwu
777a67fb40 Adds README.md 2021-02-10 22:27:37 -08:00
howardwu
55db999a9e Adds LICENSE.md 2021-02-10 22:23:45 -08:00
howardwu
1898cc6840 chore(leo): bump version for new release 2021-02-07 08:14:56 -08:00
collin
c706ef65b8 bump snarkvm module versions 2021-02-04 13:00:30 -08:00
howardwu
90fc6a9c12 chore(leo): bump version for new release 2021-02-03 13:34:03 -08:00
howardwu
0d907bbb26 chore(leo): bump version for new release 2021-02-03 12:36:17 -08:00
howardwu
c935d6a486 Update license to 2021 2021-02-01 20:26:56 -08:00
howardwu
1a36a262b8 chore(leo): bump version for new release 2021-01-12 17:03:16 -04:00
howardwu
87ccc0fe3d Update snarkVM deps to crates 2021-01-03 22:37:06 -04:00
howardwu
d5cb59c206 Update ci.yml 2021-01-02 19:18:38 -04:00
howardwu
c20822e828 Update revision 2021-01-02 18:17:26 -04:00
howardwu
11fc60c9e0 Update revision 2020-12-30 18:07:20 -04:00
howardwu
f4ad1ffff4 Add revision for snarkvm 2020-12-30 12:54:48 -04:00
howardwu
2d64515763 Migrate to snarkVM 2020-12-30 12:40:45 -04:00
howardwu
638f367908 Remove unused snarkos dev-dep 2020-12-30 11:43:54 -04:00
howardwu
1d9215a1ac Migrates to hot 1.1.4 and adds memory usage improvements for programs 2020-12-30 11:32:10 -04:00
howardwu
9038c5a17a chore(leo): bump version for new release 2020-12-14 13:57:01 -04:00
Collin Chin
ed615117cc
Merge pull request #464 from ljedrz/improve_pow_mul_perf 
Improve pow & mul performance
 2020-12-09 16:19:27 -05:00
howardwu
dbae691e49 chore(leo): bump version for new release 2020-12-03 16:16:42 -04:00
ljedrz
e3bfcdaf84 perf(arithmetic): reuse some vectors used in mul and pow 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-12-02 12:34:47 +01:00
howardwu
74f7f24b19 chore(leo): bump version for new release 2020-12-01 22:57:11 -04:00
howardwu
0d966d1d5c chore(leo): bump version for new release 2020-11-06 19:56:12 -08:00
ljedrz
710bbc6730 perf: reduce allocations in Boolean's SignExtend impl 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-22 17:36:26 +02:00
ljedrz
78f98f1f26 perf: reduce allocations in signed_integer's CondSelectGadget impl 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-22 17:36:26 +02:00
ljedrz
f9e6b3caa8 perf: a small optimization to signed_integer equality checks 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-22 17:36:26 +02:00
ljedrz
63f80c0472 perf: reduce allocations in AllocGadget::{alloc, alloc_input} 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-22 17:36:26 +02:00
ljedrz
55d0f2e340 perf: reduce allocations in the Neg impl for Vec<Boolean> 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-22 17:36:26 +02:00
ljedrz
1e25738890 refactor: minor tweaks for signed_integer::div 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-22 17:36:26 +02:00
ljedrz
09d456c01e bench: introduce integer arithmetic benchmarks 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-22 17:36:26 +02:00
ljedrz
c62337e1fe perf: remove a redundant clone 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-22 09:36:08 +02:00
ljedrz
5fc4179e20 cleanup: remove a redundant map 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-22 09:36:08 +02:00
ljedrz
afe669babd perf: make signed_integer's is_constant method faster 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-22 09:36:08 +02:00
ljedrz
e1e22a2310 perf: vector pre-allocation and associated tweaks 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-08 11:47:03 +02:00
ljedrz
bbcafd16de clippy: fix match_ref_parts 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 13:37:51 +02:00
ljedrz
1fc9b902dd clippy: fix redundant_clone & clone_on_copy 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
266e6247e4 clippy: fix assign_op_pattern 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:50:43 +02:00
ljedrz
c21b5ad2f3 clippy: fix useless_format 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-06 12:12:35 +02:00
ljedrz
b4ae089d29 clippy: fix double_must_use 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-05 17:18:29 +02:00