ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-09-22 11:17:37 +03:00
Code Issues Packages Projects Releases Wiki Activity
1,771 Commits 45 Branches 43 Tags 363 MiB
9215d911e6
Commit Graph

76 Commits

Author SHA1 Message Date
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
howardwu
2620ae7bc2 chore(leo): bump version for new release 2020-09-03 03:08:33 -07:00
howardwu
bf82bf4d1b chore(leo): bump version for new release 2020-08-28 23:26:19 -07:00
howardwu
12971b9cbb Update Cargo.toml 2020-08-27 01:33:00 -07:00
howardwu
cc183475ee Update logging with custom formatter 2020-08-27 00:55:29 -07:00
howardwu
c07958e292 Clean up Cargo.toml 2020-08-21 05:09:48 -07:00
howardwu
13f4a68903 Update Cargo.toml 2020-08-21 03:17:09 -07:00
howardwu
b6238470cc Update Cargo.toml 2020-08-21 03:07:15 -07:00
howardwu
4da4fc4344 Update cargo.toml 2020-08-21 02:54:04 -07:00
howardwu
0405ff4f89 Bump version and repair Leo update description 2020-08-19 03:00:30 -07:00
raychu86
ae10a78eb5 Add license header 2020-08-18 03:50:26 -07:00
raychu86
c13852dc88 Add and fix tests for all signed integer types 2020-08-14 16:10:48 -07:00
raychu86
ce4c2977a8 Update signed integer pow impl 2020-08-14 16:10:26 -07:00
collin
279c322f2d fix division max value bug 2020-08-03 18:54:27 -07:00
howardwu
61d92ecc91 Remove revision peg for snarkOS dependency, change Leo to groth16, update to proper calling convention for snarks 2020-07-30 19:09:27 -07:00
collin
92bfad8cc3 clean up pr. remove field comparison 2020-07-17 16:14:13 -07:00
collin
6f9db500c7 add mul pseudocode 2020-07-17 14:15:22 -07:00
collin
7405a6284a rename gadgets, remove unused files 2020-07-17 13:56:13 -07:00
collin
cc33c68bea fix field tests, use num_bigint 2020-07-17 12:44:08 -07:00
collin
77d93d11bd refactor arithmetic gadgets into separate module 2020-07-16 22:35:30 -07:00
collin
2607204b79 remove unused zero extend 2020-07-16 21:07:42 -07:00