Sean Bowe
a0904e3a30
Use 2^42 iterations instead of 2^40.
2018-03-18 13:14:05 -06:00
Sean Bowe
2537d11f17
Add random beacon query code.
2018-03-18 12:39:55 -06:00
ebfull
33feb3763f
Merge pull request #17 from plutomonkey/update-rand-dependency
...
Update "rand" dependency to 0.4.
2018-03-04 20:45:28 -07:00
bmerge
ef7ade8c2c
Auto merge of #78 - ebfull:release-0.14, r=ebfull
...
Release of pairing 0.14.0.
This release makes some changes in response to an audit of this library, as well as some obversations about the API that I made. Some names were changed (`divn` -> `shr`, `muln` -> `shl`) and `add_nocarry`/`sub_noborrow` no longer return anything (as their names would suggest.) Some potentially misleading comments are fixed as well.
The release also applies `rustfmt` and new lints from `clippy` to the codebase, enforced by the CI on a more recent version of the Nightly compiler.
Thanks go to @jasondavies for his contributions to this release.
2018-03-05 03:31:26 +00:00
Sean Bowe
92d2c13285
Release of pairing 0.14.0.
2018-03-04 20:01:23 -07:00
Sean Bowe
c9cacc7467
Bump version and integrate pairing 0.14.
2018-03-04 19:51:03 -07:00
bmerge
6fea7e382d
Auto merge of #77 - ebfull:rustfmt-application-2, r=ebfull
...
Apply rustfmt
Supersedes #76
I've made a change to the CI which checks `rustfmt` against the code. Let's see if it worked.
2018-03-05 02:49:40 +00:00
Sean Bowe
f5370057bd
Test deserialization of proofs in MiMC test example.
2018-03-04 19:41:59 -07:00
Sean Bowe
5f8747a0f4
Move MiMC example to tests.
2018-03-04 19:33:59 -07:00
Sean Bowe
86f652fa9f
Some minor documentation/changes to domain.
2018-03-04 19:27:33 -07:00
Sean Bowe
f7815f6e49
Remove unused tests and fix documentation.
2018-03-04 18:49:07 -07:00
Sean Bowe
ab1487025f
Serialization of parameters and proofs.
2018-03-04 18:49:05 -07:00
Sean Bowe
53083f4290
Apply rustfmt to the codebase.
2018-02-21 11:08:58 -07:00
bmerge
d51a5b0122
Auto merge of #73 - plutomonkey:update-rand-dependency, r=ebfull
...
Update "rand" dependency to 0.4.
2018-02-21 16:33:33 +00:00
bmerge
da717f4472
Auto merge of #75 - ebfull:primerepr-fixes, r=ebfull
...
PrimeRepr improvements
These are API-breaking changes that make `PrimeRepr` a little nicer.
2018-02-21 15:56:41 +00:00
Sean Bowe
749d6ceed4
Bump version
2018-02-15 22:22:50 -07:00
Sean Bowe
cb53708767
New implementation of library API.
2018-02-14 12:31:43 -07:00
Sean Bowe
541fda7580
Fix misleading comments on write_be and read_be.
2018-02-13 17:14:17 -07:00
Sean Bowe
b971bdedda
Rename divn/muln to shr/shl.
2018-02-13 17:07:10 -07:00
bmerge
7b6e13bcb9
Auto merge of #74 - plutomonkey:clippy, r=ebfull
...
Update clippy and fix code indentation.
(The code indentation issue was not caught by clippy -- I noticed it by chance!)
2018-02-14 00:03:26 +00:00
Sean Bowe
a0fcf717c8
add_nocarry and sub_noborrow should no longer return anything.
2018-02-13 16:41:10 -07:00
Jason Davies
bce9f5d639
Update clippy and fix code indentation.
...
(The code indentation issue was not caught by clippy -- I noticed it by
chance!)
2018-02-13 16:02:30 +00:00
Jason Davies
2338174244
Update "rand" dependency to 0.4.
2018-02-13 15:51:16 +00:00
Jason Davies
137b410196
Update "rand" dependency to 0.4.
2018-02-13 15:43:35 +00:00
Sean Bowe
7211d98c1e
Implement linear combination addition with coefficient.
2018-01-07 11:31:35 -07:00
Sean Bowe
dc981e6abc
Allow linear combinations to be added together.
2017-12-14 16:11:24 -07:00
bmerge
a8583dd818
Auto merge of #71 - ebfull:expose-arith, r=ebfull
...
Expose arithmetic
This exposes `adc`/`sbb`/`mac_with_carry` from this library for downstream use, as long as a `expose-arith` feature is enabled. We need this downstream to avoid code duplication.
This also bumps to `0.13.2`.
2017-12-05 04:43:24 +00:00
Sean Bowe
fb679470db
Bump version.
2017-12-04 21:48:22 -07:00
Sean Bowe
04a32fb443
Introduce expose-arith unstable feature for exposing arithmetic functions downstream.
2017-12-04 21:47:45 -07:00
Sean Bowe
70a588ceee
Version bump
2017-12-02 23:31:37 -07:00
ebfull
3163e801b9
Merge pull request #16 from ebfull/recode
...
Part one of recoding bellman
2017-12-02 23:30:57 -07:00
Sean Bowe
5a88b4f818
Guarantee inheritance of variable type for public constraint system contexts.
2017-12-02 23:30:23 -07:00
bmerge
cc8be5b780
Auto merge of #70 - ebfull:comment-fixes, r=ebfull
...
Fix some comments
The `mod q` stuff was spotted by @Pratyush and/or @howardwu.
I just noticed the `// 2` typo.
2017-11-26 10:19:09 +00:00
Sean Bowe
b8394bf14d
Fix some comments.
2017-11-26 03:09:06 -07:00
bmerge
ed5a7f31e2
Auto merge of #69 - ebfull:0.13.1-release, r=ebfull
...
Release of 0.13.1
This release features the following changes:
* The `byteorder` version is now set to `1` as conventional.
* The `CurveAffine`/`CurveProjective` traits now enforce that the scalar field of the `Engine` is the same scalar field for the curves.
* `Engine` is now `'static` and `Clone` to avoid problems with lifetime quirks and auto-derives.
* The scalar field of `Engine` is now guaranteed to be `SqrtField` which helps downstream abstractions.
In this PR I will be updating the `clippy` version and fixing any linting problems that show up. The builder should be using the newest nightly/stable versions of Rust also.
2017-11-26 04:27:58 +00:00
Sean Bowe
bb1ced0bd7
Update clippy version.
2017-11-25 21:32:14 -07:00
Sean Bowe
566f100480
Release of 0.13.1.
2017-11-25 21:01:55 -07:00
bmerge
df9d2aaa37
Auto merge of #68 - ebfull:scalar-sqrt, r=ebfull
...
Scalar field should be guaranteed to be SqrtField
2017-11-26 03:50:21 +00:00
Sean Bowe
aa0cc06e5e
Scalar field should be guaranteed to be SqrtField.
2017-11-25 20:57:10 -07:00
Sean Bowe
1fc640e88f
Guarantee that we inherit the correct variable type.
2017-11-24 10:14:11 -07:00
Sean Bowe
92029393f6
Guarantee that variables are Copy+Clone.
2017-11-22 22:55:32 -07:00
Sean Bowe
1d394e00f6
Allow linear combination terms to be inspected for downstream evaluation.
2017-11-22 21:11:41 -07:00
Sean Bowe
e54c4bc1b3
Rename to namespace_public.
2017-11-21 14:00:00 -07:00
Sean Bowe
af91dcda33
Infrastructure for public input namespacing.
2017-11-21 13:44:56 -07:00
Sean Bowe
b7f2f9e409
Part one of Bellman being recoded.
2017-11-21 01:59:49 -07:00
bmerge
affead11a5
Auto merge of #67 - ebfull:static-engine, r=ebfull
...
Engine should always be 'static, for flexibility in downstream code.
2017-11-21 06:47:28 +00:00
Sean Bowe
4a1ac94799
Implement Clone for Bls12.
2017-11-20 23:53:58 -07:00
Sean Bowe
4b366a143d
Ensure Engine's are always Clone.
2017-11-20 23:20:11 -07:00
Sean Bowe
6d55a4052a
Move everything into oldsrc.
2017-11-20 23:01:15 -07:00
Sean Bowe
945d86fe7d
Make the namespacing not introduce too much indirection.
2017-11-20 15:50:41 -07:00
