 parazyd
|
587f0b4b93
make fix and minor manual cleanups.
|
пре 4 година |
|
parazyd
|
d765387fd0
Update dependencies and reduce compilation time.
|
пре 4 година |
|
aggstam
|
698db2bd9d
example/lead.rs: removed duplicate dependencies
|
пре 4 година |
|
parazyd
|
f8c2ee5617
Port codebase to latest halo2 API.
|
пре 4 година |
|
Dastan-glitch
|
5b467f4cef
update Cargo.lock and fix formatting
|
пре 4 година |
|
mohab
|
8b9bdac46f
miscellaneous changes
|
пре 4 година |
|
mohab
|
683b96369d
[example/lead] provingkey is panking on leadcontract, fallback to previous example
|
пре 4 година |
|
mohab
|
24882c8cc9
[example/lead] create_lead_coin_public_inputs
|
пре 4 година |
|
mohab
|
3ea82ee8a3
[example/lead] create_coins_sk as PRF derived from previous sks
|
пре 4 година |
|
lunar-mining
|
40e48eacb0
dnetview: cleanup msg log Span assignment and cargo fmt
|
пре 4 година |
|
mohab
|
a9d9fa0abc
[zk/lead] pruned abit..
|
пре 4 година |
|
mohab
|
fe5e6f7def
[zk/lead] set commitment tree for product of point's coordinates
|
пре 4 година |
|
mohab
|
0d7c7ce3fc
[zk/lead] removed commit1, commit2 for the contract, constrained the commitment instead
|
пре 4 година |
|
mohab
|
ead5e339e7
[zk/lead] replaced failing hash with mul
|
пре 4 година |
|
mohab
|
8d5b757ab4
[zk/lead] cop with changed incrementalmerkletree api
|
пре 4 година |
|
mohab
|
acc15409b4
[zk/lead] removed unused imports
|
пре 4 година |
|
lunar-mining
|
fac25736a1
dnetview: remove unused data structures and cleanup
|
пре 4 година |
|
mohab
|
1aa3e0245c
[zk/lead_contract] used y_commit in place it's coordinates
|
пре 4 година |
|
mohab
|
6765f079df
[example/lead] serialize point to deserizlied base instead of PointNode
|
пре 4 година |
|
mohab
|
762d80ac8b
[zk/circuit/lead_contract] removed redundant serial number
|
пре 4 година |
|
mohab
|
d5cb5d3424
[example/lead] pad sk with zeros, mismatch in sk len, and node len
|
пре 4 година |
|
mohab
|
3d5ae40f40
WIP, lead example
|
пре 4 година |
