logos-co
/
nomos-pocs
mirror of https://github.com/logos-co/nomos-pocs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
130 Commits 18 Branches 0 Tags 2.6 MiB
Commit Graph

130 Commits

Author SHA1 Message Date
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
David Rusu 05fbbdfe81 cl: make transfer scenario readable 2024-07-21 19:59:10 +04:00
David Rusu 9ca5e8af57 goas: output + partial_tx + bundle proofs all working together! 2024-07-21 19:05:35 +04:00
holisticode e518bf363c
Merge pull request #6 from logos-co/da-poc 
DA PoC for subnets and protobuf protocols
 2024-07-19 15:58:06 -05:00
holisticode faf399eaaf moved from incorrect location at nomos-specs 2024-07-19 13:19:35 -05:00
thomaslavaur 88b955ec99 rename main template properly and remove useless file 2024-07-19 13:04:37 +02:00
David Rusu 91e0108fb2 goas/ledger: test_input_nullifier_prover to test_input_prover 2024-07-19 01:30:59 +04:00
David Rusu 5208164204 goas/ledger: move prove_input to ProvedInput::prove 2024-07-19 01:29:26 +04:00
David Rusu d424a95786 goas/ledger: build ProvedInput artifact from input proof 2024-07-19 01:27:27 +04:00
David Rusu 6b1d0c4172 cl: simple_transfer integration test 2024-07-19 00:40:12 +04:00
thomaslavaur 068fec7b09 Add a python script to generate winning note input file for Anemoi/Poseidon Merkle and any VRF 2024-07-18 10:57:45 +02:00
thomaslavaur 0374f848c4 Minor fix on poseidon function bug 2024-07-18 09:23:02 +02:00
David Rusu 6a45163014 goas: BundleWitness::balance to BundleWitness::balance_blinding 2024-07-18 01:44:01 +04:00
David Rusu b73182b3df goas: drop compress from balance tests 2024-07-18 01:22:48 +04:00
David Rusu 849b0b539d goas: rename balance to balance_blinding in witness 2024-07-17 23:30:27 +04:00
David Rusu e57566d674 goas: unlink input and output balance commitments 2024-07-17 22:03:16 +04:00
David Rusu b20121e293 goas: switch nullifier to sha2; drop unused dependencies 2024-07-17 22:03:16 +04:00
Giacomo Pasini 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
thomaslavaur d6a33d7b4b Add circuits 2024-07-17 11:12:55 +02:00
thomaslavaur 15d4581921 Add circomlib dependency 2024-07-17 11:11:26 +02:00
Giacomo Pasini 221d7102a9
init 2024-07-16 17:06:54 +02:00