ed255/pod2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix anchored keys syntax (#283)

Browse source
This commit is contained in:
Eduard S. 2025-06-12 18:15:02 +02:00 • committed by GitHub
parent 3ea0d5be71
commit 03485d6fd3
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
book/src/examples.md
View file

@ -59,10 +59,10 @@ loan_check(receiver, private: gov_id, paystub, nullifier, sk, sk_pok) = AND(
Equal(?gov_id[KEY_SIGNER], ZOO_GOV) Equal(?gov_id[KEY_SIGNER], ZOO_GOV)
Equal(?gov_id[KEY_TYPE], SIGNATURE) Equal(?gov_id[KEY_TYPE], SIGNATURE)
// At least 18 years old // At least 18 years old
Lt(?gov_id.date_of_birth, NOW_MINUS_18Y) # date_of_birdth is more than 18y old Lt(?gov_id["date_of_birth"], NOW_MINUS_18Y) # date_of_birdth is more than 18y old
Equal(?paystub[KEY_SIGNER], ZOO_DEEL) Equal(?paystub[KEY_SIGNER], ZOO_DEEL)
Equal(?paystub[KEY_TYPE], SIGNATURE) Equal(?paystub[KEY_TYPE], SIGNATURE)
Equal(?paystub[ssn], ?gov_id.ssn) Equal(?paystub[ssn], ?gov_id["ssn"])
// At least one year of consistent employment with your current employer // At least one year of consistent employment with your current employer
Lt(?paystub["start_date"], NOW_MINUS_1Y) # start_date is more than 1y old Lt(?paystub["start_date"], NOW_MINUS_1Y) # start_date is more than 1y old
Gt(?paystub["issue_date"], NOW_MINUS_7D) # issue_date is less than 7d old Gt(?paystub["issue_date"], NOW_MINUS_7D) # issue_date is less than 7d old