logos-blockchain/logos-blockchain-pocs
1
0
Fork 0
mirror of https://github.com/logos-blockchain/logos-blockchain-pocs.git synced 2026-01-06 23:23:08 +00:00
Code Issues Packages Projects Releases Wiki Activity

cr comments

Browse Source
This commit is contained in:
David Rusu 2024-12-10 20:13:58 +04:00
parent 98f0a3b752
commit 29cd911654
2 changed files with 0 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
emmarin/cl/ledger/src/ledger.rs
View File

@ -25,8 +25,6 @@ impl ProvedLedgerTransition {
env.add_assumption(proved_bundle.risc0_receipt.clone());
let bundle = proved_bundle.public();
println!("OUTSIDE LEDGER_PROOF {:?}", bundle);
println!("BUNDLE_ID {:?}", nomos_cl_bundle_risc0_proof::BUNDLE_ID);
let zone_ledger_update = bundle
.zone_ledger_updates
@ -48,10 +46,6 @@ impl ProvedLedgerTransition {
nf_proofs.push(nf_proof);
}
for cm in &zone_ledger_update.commitments {
ledger.add_commitment(cm);
}
let ledger_bundle = LedgerBundleWitness {
bundle,
cm_root_proofs,

2
emmarin/cl/ledger_validity_proof/ledger/src/main.rs
View File

@ -16,8 +16,6 @@ fn main() {
let mut outputs = vec![];
for LedgerBundleWitness { bundle, cm_root_proofs, nf_proofs } in bundles {
println!("IN LEDGER PROOF {:?}", bundle);
println!("BUNDLE_ID {:?}", nomos_cl_bundle_risc0_proof::BUNDLE_ID);
env::verify(nomos_cl_bundle_risc0_proof::BUNDLE_ID, &serde::to_vec(&bundle).unwrap()).unwrap();
if let Some(ledger_update) = bundle.zone_ledger_updates.get(&id) {