github/darkfi
1
1
Fork 0
mirror of https://github.com/darkrenaissance/darkfi.git synced 2026-01-09 22:57:59 -05:00
Code Issues Packages Projects Releases Wiki Activity

proof/tx.zk, proof/lead.zk witness const pallas::Base in zkas

Browse Source
This commit is contained in:
mohab metwally
2022-11-17 18:30:39 +02:00
parent ccfcc59e09
commit 764fd812e5
2 changed files with 13 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
proof/lead.zk
View File

@@ -2,12 +2,6 @@ constant "Lead" {
EcFixedPointShort VALUE_COMMIT_VALUE, EcFixedPointShort VALUE_COMMIT_VALUE,
EcFixedPoint VALUE_COMMIT_RANDOM, EcFixedPoint VALUE_COMMIT_RANDOM,
EcFixedPointBase NULLIFIER_K, EcFixedPointBase NULLIFIER_K,
Base PREFIX_CM,
Base PREFIX_PK,
Base PREFIX_EVL,
BASE PREFIX_SEED,
Base ONE,
Base ZERO,
} }
contract "Lead" { contract "Lead" {
@@ -29,6 +23,13 @@ Base sigma2
} }
circuit "Lead" { circuit "Lead" {
ONE = witness_base(2);
ZERO = witness_base(0);
PREFIX_EVL = witness_base(2);
PREFIX_SEED = witness_base(3);
PREFIX_CM = witness_base(4);
PREFIX_PK = witness_base(5);
# coin (1) pk # coin (1) pk
pk = poseidon_hash(PREFIX_PK, c1_sk_root, c1_tau, ZERO); pk = poseidon_hash(PREFIX_PK, c1_sk_root, c1_tau, ZERO);
constrain_instance(pk); constrain_instance(pk);

12
proof/tx.zk
View File

@@ -2,12 +2,6 @@ constant "tx" {
EcFixedPointShort VALUE_COMMIT_VALUE, EcFixedPointShort VALUE_COMMIT_VALUE,
EcFixedPoint VALUE_COMMIT_RANDOM, EcFixedPoint VALUE_COMMIT_RANDOM,
EcFixedPointBase NULLIFIER_K, EcFixedPointBase NULLIFIER_K,
Base PREFIX_CM,
Base PREFIX_PK,
Base PREFIX_EVL,
BASE PREFIX_SEED,
Base ONE,
Base ZERO,
} }
contract "tx" { contract "tx" {
@@ -48,6 +42,12 @@ EcPoint c4_cm,
} }
circuit "tx" { circuit "tx" {
ONE = witness_base(2);
ZERO = witness_base(0);
PREFIX_EVL = witness_base(2);
PREFIX_SEED = witness_base(3);
PREFIX_CM = witness_base(4);
PREFIX_PK = witness_base(5);
# coin (1) pk/public key # coin (1) pk/public key
c1_pk = poseidon_hash(PREFIX_PK, c1_root_sk); c1_pk = poseidon_hash(PREFIX_PK, c1_root_sk);
constrain_instance(c1_pk); constrain_instance(c1_pk);