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
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
faf399eaaf
moved from incorrect location at nomos-specs
2024-07-19 13:19:35 -05:00
88b955ec99
rename main template properly and remove useless file
2024-07-19 13:04:37 +02: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
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
0374f848c4
Minor fix on poseidon function bug
2024-07-18 09:23:02 +02: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
d6a33d7b4b
Add circuits
2024-07-17 11:12:55 +02:00
15d4581921
Add circomlib dependency
2024-07-17 11:11:26 +02:00
221d7102a9
init
2024-07-16 17:06:54 +02:00
David Rusu
holisticode
holisticode
thomaslavaur
Giacomo Pasini
Giacomo Pasini