Eirik Ogilvie-Wigley
|
1a2bc19b44
|
cargo fmt
|
2019-08-20 17:17:21 -06:00 |
Eirik Ogilvie-Wigley
|
ad37878533
|
cargo fix --edition for bellman
|
2019-08-20 16:45:10 -06:00 |
Eirik Ogilvie-Wigley
|
e73d1a2637
|
cargo fmt bellman
|
2019-08-15 10:38:41 -06:00 |
Jack Grigg
|
dfb86fcf11
|
Move generic circuit gadgets into bellman
|
2019-08-14 10:45:58 +01:00 |
Jack Grigg
|
533d5860bd
|
Migrate bellman to rand 0.5
|
2019-07-19 00:35:06 +02:00 |
str4d
|
bfa9aaf7ee
|
Merge pull request #61 from rex4539/fix-typos
Fix typos
|
2019-05-29 17:38:30 +01:00 |
Sean Bowe
|
3dd849053a
|
Place bellman multicore operations behind a (default) feature flag
Co-authored-by: Jack Grigg <jack@z.cash>
|
2019-04-10 06:01:24 -07:00 |
Dimitris Apostolou
|
d4ddaa93c7
|
Fix typos
|
2019-02-18 13:17:49 +02:00 |
Jack Grigg
|
4272cfa5b0
|
Make pairing and groth16 optional 🎉
|
2018-07-06 21:51:22 +01:00 |
Jack Grigg
|
276e09f1fb
|
Use ff:ScalarEngine instead of pairing::Engine in bellman core
|
2018-07-06 21:37:28 +01:00 |
Jack Grigg
|
3e8f2f8202
|
Use group crate for curve traits and wNAF
|
2018-07-06 21:24:03 +01:00 |
Jack Grigg
|
718b25c949
|
Use ff crate for Field traits
|
2018-07-06 21:10:44 +01:00 |
Sean Bowe
|
96b2d3e41a
|
Prevent trivial subversion attack against prover.
|
2018-04-02 22:21:42 -06:00 |
Sean Bowe
|
d14f2af8fa
|
Make fields of Parameters/VerifyingKey/Proof public.
|
2018-04-02 18:15:39 -06:00 |
Sean Bowe
|
6ec7272586
|
Serialize lengths as 32-bit integers, not 64-bit.
|
2018-03-31 23:23:08 -06:00 |
Sean Bowe
|
c4fd8856ae
|
Make multicore module public for now, because Worker is part of the EvaluationDomain API.
|
2018-03-31 23:16:55 -06:00 |
Sean Bowe
|
c9cacc7467
|
Bump version and integrate pairing 0.14.
|
2018-03-04 19:51:03 -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
|
cb53708767
|
New implementation of library API.
|
2018-02-14 12:31:43 -07: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 |
Sean Bowe
|
5a88b4f818
|
Guarantee inheritance of variable type for public constraint system contexts.
|
2017-12-02 23:30:23 -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 |
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 |
Sean Bowe
|
a1e1aa30b5
|
More infrastructure for test development.
|
2017-11-18 20:10:47 -07:00 |
Sean Bowe
|
13a5cbf9d5
|
Modify the public api surrounding multiexp.
|
2017-11-12 15:52:10 -07:00 |
Sean Bowe
|
e4c62180d7
|
Use a basic heuristic to choose c for multiexp.
|
2017-11-12 15:50:34 -07:00 |
Sean Bowe
|
b15f5f6f43
|
Fix some warnings and TODO's.
|
2017-11-12 13:45:13 -07:00 |
Sean Bowe
|
d616362884
|
Add `TestConstraintSystem`
|
2017-11-12 13:26:03 -07:00 |
Sean Bowe
|
bc19c76326
|
Change API to support constraint/variable annotation.
|
2017-11-11 04:50:30 -07:00 |
Sean Bowe
|
326996139e
|
Update to use the latest version of pairing library.
|
2017-10-22 05:45:26 -06:00 |
Sean Bowe
|
3148662234
|
Reimplementation of groth16 using `pairing` library.
|
2017-08-22 16:03:04 -06:00 |
Sean Bowe
|
bf03be0b9d
|
Starting fresh...
|
2017-08-07 07:43:39 -06:00 |
Sean Bowe
|
9c94216a87
|
Fix comment about sqrt.
|
2017-06-19 13:58:30 -06:00 |
Sean Bowe
|
e9dee9de16
|
Move `domain` to `curves`.
|
2017-06-17 20:53:26 -06:00 |
Sean Bowe
|
fd3774118a
|
Move BitIterator into root of crate.
|
2017-06-17 19:46:40 -06:00 |
Sean Bowe
|
5cf6acd21a
|
Clean up prime field representation.
|
2017-06-17 18:57:56 -06:00 |
Sean Bowe
|
d4903f19fe
|
Refactoring of multiexp/wnaf.
|
2017-06-17 17:04:14 -06:00 |
Sean Bowe
|
8f6a5737c0
|
Avoid the use of dynamic dispatch during verification.
|
2017-06-15 17:40:06 -06:00 |
Sean Bowe
|
97d58c7954
|
Add batchexp utility function to Engine.
|
2017-05-16 16:41:31 -06:00 |
Sean Bowe
|
33dd0de661
|
Parallelism improvements.
|
2017-05-16 12:06:59 -06:00 |
Sean Bowe
|
bb73258ce9
|
Parallel FFTs.
|
2017-05-14 19:37:02 -06:00 |