Giacomo Pasini dc2fd35894

Sync Bedrock with latest spec (#49) ...

* update cl

* move zoneid into NoteWitness

* Update emmarin/cl/ledger_proof_statements/src/ledger.rs

Co-authored-by: davidrusu <davidrusu.me@gmail.com>

* update

* update note cm order

* remove NoteWitness

* mv indexed and merkle into /ds/; rework padded_leaves interface

* ledger cross zone update test is now passing

* clippy

* pad nullifiers in cross zone update test

* print user and total cycles for each proof

* only publish sync logs for cross zone bundles

---------

Co-authored-by: davidrusu <davidrusu.me@gmail.com>

2025-02-18 11:41:57 +01:00

circom_circuits

fix minor poseidon error (hash is now truncation of the addition of the state elements) instead of the addition of the entire state

2024-09-11 10:50:21 +02:00

cryptarchia

cryptarchia fork choice experiments

2024-11-25 19:28:53 +04:00

da

DA: Feasability test for large number of udp connections (#5)

2024-07-22 21:15:48 +03:00

emmarin

Sync Bedrock with latest spec (#49)

2025-02-18 11:41:57 +01:00

goas

goas: move nonce into note

2024-08-27 15:57:19 +04:00

proof_of_equivalence/Circom

remove unwanted files

2024-09-11 09:30:51 +02:00

proof_of_leadership

fix minor poseidon error (hash is now truncation of the addition of the state elements) instead of the addition of the entire state

2024-09-11 10:50:21 +02:00

proof_of_validator

set the minimum stake amount as an input to enable dynamicity

2024-08-07 08:40:19 +02:00

.gitignore

aat: scaffolding for the user ptx

2024-08-01 16:57:20 +04:00

.gitmodules

and add the correct gitmodule file

2024-07-26 08:03:22 +02:00

Description

Proof of Concepts for the Nomos project

Languages

Jupyter Notebook 67.9%

Python 12.3%

Rust 10.3%

Circom 9.4%