Alex Vlasov
|
cd00c4eaf7
|
mark progress
|
2019-02-06 02:23:27 +03:00 |
|
Alex Vlasov
|
a3f910cb52
|
done junction with ETH
|
2019-02-06 01:20:41 +03:00 |
|
Alex Vlasov
|
746eb56e0f
|
verifying key is now self-sufficient for exports
|
2019-02-05 23:10:14 +03:00 |
|
Alex Vlasov
|
9cb62348fb
|
can get Q too
|
2019-02-05 19:46:00 +03:00 |
|
Alex Vlasov
|
e5bc2c197f
|
fetch values for input verification from synthesized circuit
|
2019-02-05 18:56:04 +03:00 |
|
Alex Vlasov
|
e8409bb70b
|
rename and make field public. Prepare to test on Eth
|
2019-02-05 17:28:38 +03:00 |
|
Alex Vlasov
|
7239a60044
|
make custom transcript that is implementable as SC
|
2019-02-05 17:23:26 +03:00 |
|
Alex Vlasov
|
528f0623ef
|
proper funciton name
|
2019-02-05 14:15:49 +03:00 |
|
Alex Vlasov
|
e51284e754
|
start real integration
|
2019-02-05 14:14:17 +03:00 |
|
Alex Vlasov
|
e41e3624f7
|
make TODO plan
|
2019-02-04 14:01:44 +03:00 |
|
Alex Vlasov
|
f06f92a9cc
|
integrate initial part of SONIC. Use original code, restructure, mock Transcript
|
2019-02-04 13:18:44 +03:00 |
|
Alex Vlasov
|
ff6c46240b
|
start implementing GM17 proof system
|
2019-02-01 18:36:50 +03:00 |
|
Alex Vlasov
|
e775b47d99
|
- add some benches
- cleanup dependencies
- will work on WASM and GM17
|
2019-01-23 21:02:11 +03:00 |
|
Alex Vlasov
|
6e5cfe211f
|
remove verbosity, migrate dependencies
|
2019-01-17 11:38:54 +03:00 |
|
Alexander
|
d87d815037
|
Merge pull request #2 from gluk64/master
demo added, docs updated
|
2018-12-21 06:34:29 +03:00 |
|
Alex
|
d9be906ed7
|
demo added, docs updated
|
2018-12-21 11:24:33 +08:00 |
|
Alex Vlasov
|
e544678a6a
|
has overwritten by accident
|
2018-12-08 06:04:08 +08:00 |
|
Alex Vlasov
|
57095fbf2b
|
add readme
|
2018-12-08 05:51:23 +08:00 |
|
Alex Vlasov
|
0a3dd7157c
|
fix case
|
2018-12-08 05:41:21 +08:00 |
|
Alex Vlasov
|
3c982d9305
|
Update readme
|
2018-12-08 05:33:14 +08:00 |
|
Alex Vlasov
|
d7d2b45441
|
migrate to community edition
|
2018-12-08 05:31:26 +08:00 |
|
ebfull
|
10c5010fd9
|
Merge pull request #22 from ebfull/final-changes
Final changes
|
2018-04-03 18:56:06 -06: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
|
6e57ef0c4a
|
Bump version
|
2018-03-31 23:23:37 -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 |
|
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 |
|
Sean Bowe
|
c9cacc7467
|
Bump version and integrate pairing 0.14.
|
2018-03-04 19:51:03 -07: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
|
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 |
|
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 |
|
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 |
|
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 |
|