 parazyd
|
6a024ab801
zkas: Add a field definition on top of the circuit file.
|
пре 3 година |
|
parazyd
|
99f68db953
zkas: Enforce k declaration on top of the source file.
|
пре 3 година |
|
parazyd
|
be9013ed31
zkas: Rename "contract" to "witness".
|
пре 3 година |
|
mohab metwally
|
8167f81e95
[consensus/stx] verify stx
|
пре 3 година |
|
mohab metwally
|
a41ef16c83
proof/tx.zk use nullifier_k in pedersen
|
пре 3 година |
|
mohab metwally
|
aa356a00bd
fix typo in tx.zk
|
пре 3 година |
|
mohab metwally
|
08eb5936bb
transfer transaction based off lead coin
|
пре 3 година |
|
mohab metwally
|
43f6521a2f
proof/tx.zk fix witness, and constrains
|
пре 3 година |
|
mohab metwally
|
fa89bae1bf
[proof] fix c3/c4 constrained commitments
|
пре 3 година |
|
mohab metwally
|
a12042678a
use new constrain_equal sig
|
пре 3 година |
|
mohab metwally
|
c4e0748dc7
fix typo
|
пре 3 година |
|
mohab metwally
|
764fd812e5
proof/tx.zk, proof/lead.zk witness const pallas::Base in zkas
|
пре 3 година |
|
mohab metwally
|
ccfcc59e09
missing quote
|
пре 3 година |
|
mohab metwally
|
33d2aecf00
proof/tx.zk created
|
пре 3 година |
