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
nomos-pocs/goas/cl/risc0_proofs
History
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
..
bundle Integrate zone withdrawal with CL (#17) 2024-08-07 21:37:21 +02:00
death_constraint_nop Integrate zone withdrawal with CL (#17) 2024-08-07 21:37:21 +02:00
input Integrate zone withdrawal with CL (#17) 2024-08-07 21:37:21 +02:00
output Integrate zone withdrawal with CL (#17) 2024-08-07 21:37:21 +02:00
src init 2024-07-16 17:06:54 +02:00
Cargo.toml goas: output + partial_tx + bundle proofs all working together! 2024-07-21 19:05:35 +04:00
build.rs init 2024-07-16 17:06:54 +02:00