1fd4c6bd64
goas: move nonce into note
2024-08-27 15:57:19 +04:00
cffd687e50
goas: rename DeathConstraint to Constraint
2024-08-27 15:56:41 +04:00
30354a08bd
goas: remove found flag from balance insert helpers
2024-08-23 13:39:36 +04:00
7a706583dc
goas: switch balance commitments to hash based commitments
2024-08-21 22:00:49 +04:00
7488dea9d1
goas: move balance blinding to ptx level
2024-08-21 13:00:35 +04:00
edd69d63bd
goas: remove input/output proofs
2024-08-21 00:03:41 +04:00
310932818a
goas: replace input/output proofs with ptx proof
2024-08-20 23:58:38 +04:00
8870a32cbe
Use basepoint as the blinding point ( #31 )
2024-08-19 19:18:42 +02:00
213be6ccd7
goas: more robust nonce evolution strategy
2024-08-17 16:58:13 +04:00
75ff879770
goas: nullifier does not need to re-commit to nonce
...
since it's included in note commitment
2024-08-17 15:17:09 +04:00
c0aa2b0e08
goas: make nullifier is collision resistant
2024-08-17 10:52:29 +04:00
a320c20d25
Integrate zone withdrawal with CL ( #17 )
...
* aat: integrate withdraw with CL
* aat: withdrawal passes!
* aat: cleanup withdrawals a bit
* aat: move Ptx{Input|Output|Private to cl::partial_tx
* aat: zone_state zone transition validation coded w.r.t. metadata
* aat: rename meta to in_meta in zone transition validation
2024-08-07 21:37:21 +02:00
5b03e070b5
Add evolved nonce
2024-08-02 17:57:19 +02:00
7e67014042
Deposit ( #8 )
...
* Add native zone deposits
* check note unit and death constraints
* fix deposit logic
* fix ptx merkle root derivation
* restrict ptx inputs/outputs
* re-org directories
2024-08-01 12:46:17 +02:00
4abd98b951
cl: ban zero valued outputs
2024-07-30 18:22:39 +04:00
762fdcc980
cl: typo
2024-07-29 14:52:45 +04:00
1d16f40a4c
cl: add death constraints to simple transfer scenario
2024-07-27 18:55:43 +04:00
884232b2d3
pol: risc0 implementation of the PoL zk statemetn
2024-07-25 02:19:03 +04:00
c5bcf3ebe7
cl: InputWitness does not need utxo_balance_blinding
2024-07-23 13:47:27 +04:00
247f3f042b
cl: give a name to the balance unit point in zero commitment
2024-07-22 19:02:30 +04:00
6463d9c65b
cl: use BundleWitness in bundle proof
2024-07-22 18:08:54 +04:00
61388121fb
cl: doc zero commitment; drop Ptx::balance_delta, rm InputProof
2024-07-22 16:39:15 +04:00
05fbbdfe81
cl: make transfer scenario readable
2024-07-21 19:59:10 +04:00
9ca5e8af57
goas: output + partial_tx + bundle proofs all working together!
2024-07-21 19:05:35 +04:00
91e0108fb2
goas/ledger: test_input_nullifier_prover to test_input_prover
2024-07-19 01:30:59 +04:00
5208164204
goas/ledger: move prove_input to ProvedInput::prove
2024-07-19 01:29:26 +04:00
d424a95786
goas/ledger: build ProvedInput artifact from input proof
2024-07-19 01:27:27 +04:00
6b1d0c4172
cl: simple_transfer integration test
2024-07-19 00:40:12 +04:00
6a45163014
goas: BundleWitness::balance to BundleWitness::balance_blinding
2024-07-18 01:44:01 +04:00
b73182b3df
goas: drop compress from balance tests
2024-07-18 01:22:48 +04:00
849b0b539d
goas: rename balance to balance_blinding in witness
2024-07-17 23:30:27 +04:00
e57566d674
goas: unlink input and output balance commitments
2024-07-17 22:03:16 +04:00
b20121e293
goas: switch nullifier to sha2; drop unused dependencies
2024-07-17 22:03:16 +04:00
e6402007f0
Add zone funds spending logic ( #2 )
...
* Add zone funds spending logic
First iteration of the zone funds death constraints
* Add zone logic support for withdrawal txs
* move zone proofs out of cl crate
* Address review comments
2024-07-17 19:14:53 +02:00
221d7102a9
init
2024-07-16 17:06:54 +02:00
David Rusu
Giacomo Pasini
Giacomo Pasini