Commit Graph

70 Commits

Author SHA1 Message Date
David Rusu 72e198eeb5 goas: bind the deposit tx to the deposit note 2024-08-09 19:46:36 +04:00
David Rusu aa4e03b567 aat: deposit ptx test 2024-08-09 19:41:34 +04:00
Giacomo Pasini 1aa7a7f81f
bind proofs (#22)
* bind proofs

* refactor to remove cycle
2024-08-09 17:33:01 +02:00
Giacomo Pasini 85a3e941b9
add zone tx inclusion proof (#20)
* add zone tx inclusion proof

* rename input to tx
2024-08-09 11:52:42 +02:00
Giacomo Pasini 5d3f3ab9fb
Refactor zone auth (#19)
* Refactor zone auth

* remove redundant check
2024-08-08 17:50:28 +02:00
davidrusu 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
thomaslavaur 5547b739c5
Merge pull request #10 from logos-co/PoV
Proof of Validator
2024-08-07 08:43:03 +02:00
thomaslavaur 6c53186245 set the minimum stake amount as an input to enable dynamicity 2024-08-07 08:40:19 +02:00
thomaslavaur 7f4ccde70f add Caulk support supposing we have a proof of equivalence between two Pedersen commitment over different curves 2024-08-05 09:23:38 +02:00
davidrusu fddba3db2d
Merge pull request #16 from logos-co/zone-metadata
Zone metadata
2024-08-03 11:49:56 +04:00
Giacomo Pasini 5b03e070b5
Add evolved nonce 2024-08-02 17:57:19 +02:00
Giacomo Pasini ca2c141d91
use NullifierNonce::evolve 2024-08-02 17:44:03 +02:00
Giacomo Pasini ca42d3ed4f
simply merkle root calc 2024-08-02 17:43:53 +02:00
Giacomo Pasini 584f814465
check zone id in zone funds auth 2024-08-02 15:06:40 +02:00
Giacomo Pasini e7ba67d09b
add death constraints to metadata 2024-08-02 14:42:13 +02:00
davidrusu 2a459b7551
Merge pull request #15 from logos-co/zone-input-output
validate zone input/output notes
2024-08-02 15:37:30 +04:00
Giacomo Pasini 4cf93c4ef1
validate zone input/output notes 2024-08-02 00:10:17 +02:00
davidrusu b8fa49edc8
Merge pull request #14 from logos-co/cl/user-side-of-atomic-asset-transfer
scaffolding for user ptx
2024-08-01 17:01:23 +04:00
David Rusu 2c32905112 aat: scaffolding for the user ptx 2024-08-01 16:57:20 +04:00
David Rusu 7ab248646c cl: rename goas/zone to goas/atomic_asset_transfer 2024-08-01 16:45:08 +04:00
Giacomo Pasini 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
davidrusu e9d43eaee9
Merge pull request #13 from logos-co/cl/ensure-output-value-is-non-zero
cl: ban zero valued outputs
2024-07-30 18:42:34 +04:00
David Rusu 4abd98b951 cl: ban zero valued outputs 2024-07-30 18:22:39 +04:00
davidrusu 94bef73ba4
Merge pull request #11 from logos-co/drusu/cl/add-death-constraints
cl: add death constraints to simple transfer scenario
2024-07-29 15:37:43 +04:00
David Rusu 762fdcc980 cl: typo 2024-07-29 14:52:45 +04:00
thomaslavaur 035132ae60 add the nullifer computation and the evolution of the used notes 2024-07-29 12:32:30 +02:00
David Rusu 1d16f40a4c cl: add death constraints to simple transfer scenario 2024-07-27 18:55:43 +04:00
thomaslavaur 2cbe5e1d8f add a TODO comment in order to remember the dynamic potential feature of minimum_stake 2024-07-26 12:40:27 +02:00
thomaslavaur a5d001bab0 PoV circom circuits with fixes on PoL circuit dependencies 2024-07-26 10:27:51 +02:00
thomaslavaur 8e374a2881 and add the correct gitmodule file 2024-07-26 08:03:22 +02:00
thomaslavaur 14c0580335 moved hash circuit and circomlib properly. Changed the leadership circuit dependencies to reflect the different paths 2024-07-26 08:02:54 +02:00
thomaslavaur 9038e55101 move circomlib for PoV 2024-07-26 07:52:31 +02:00
davidrusu 182db86af3
Merge pull request #9 from logos-co/pol/risc0
Proof of Leadership in risc0
2024-07-25 16:29:09 +04:00
David Rusu 7e19f8bce9 pol: lottery evaluation looks correct 2024-07-25 16:27:59 +04:00
David Rusu a268129ee9 pol: remove copied proof statements 2024-07-25 02:24:56 +04:00
David Rusu 884232b2d3 pol: risc0 implementation of the PoL zk statemetn 2024-07-25 02:19:03 +04:00
David Rusu c97499f6ac pol: attempt to fix circom submodule 2024-07-24 14:34:31 +04:00
David Rusu 5743b5e9ab pol:mv circom impl into folder 2024-07-24 14:27:16 +04:00
davidrusu 30d92af73d
Merge pull request #3 from logos-co/thomas/PoL/circuits
PoL circuits
2024-07-24 14:15:58 +04:00
davidrusu 57433f2201
Merge pull request #4 from logos-co/drusu/cl/fix-balance-commitment
CL: unlink input and output balance commitments
2024-07-24 13:31:02 +04:00
davidrusu bb3840ab14
Merge pull request #7 from logos-co/drusu/cl/simple-transfer
CL PoC: simple transfer
2024-07-24 13:30:38 +04:00
thomaslavaur cbb0359ad9 fix membership checker with correct indexes 2024-07-24 08:13:34 +02:00
thomaslavaur ca2ff45255 correct commiter to committer 2024-07-24 08:10:38 +02:00
thomaslavaur 4907a2c702 update submodule name 2024-07-23 15:40:14 +02:00
thomaslavaur 568ffabba5 rename folder 2024-07-23 15:30:11 +02:00
David Rusu c5bcf3ebe7 cl: InputWitness does not need utxo_balance_blinding 2024-07-23 13:47:27 +04:00
gusto 97c3076e57
DA: Feasability test for large number of udp connections (#5)
* Client and server setup for testing increasing number of connections over udp

* Add results and conclusions

* Move udp poc to the same directory as network poc

* Add readme for subnets pocs
2024-07-22 21:15:48 +03:00
David Rusu 247f3f042b cl: give a name to the balance unit point in zero commitment 2024-07-22 19:02:30 +04:00
David Rusu 6463d9c65b cl: use BundleWitness in bundle proof 2024-07-22 18:08:54 +04:00
David Rusu 61388121fb cl: doc zero commitment; drop Ptx::balance_delta, rm InputProof 2024-07-22 16:39:15 +04:00