thomaslavaur 3f12e9c279 use euclidean division to match the rust implementation (the difference is negligible as it would make you lose 1 block every 10^16 blocks that you should have win

2025-09-02 10:33:02 +02:00

.github

ci: Split circuit bundle into one per each (#85)

2025-08-07 11:36:29 +02:00

circom_circuits

use euclidean division to match the rust implementation (the difference is negligible as it would make you lose 1 block every 10^16 blocks that you should have win

2025-09-02 10:33:02 +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

fix tests

2025-03-17 10:51:28 +01:00

goas

goas: move nonce into note

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

proof_of_leadership/risc0

Clean the repo and push the new PoL

2025-03-26 11:46:34 +01:00

.DS_Store

Wire PoL inputs into PoQ circuit

2025-05-27 11:41:50 +03:00

.gitignore

aat: scaffolding for the user ptx

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

.gitmodules

ci: Prover (#81)

2025-08-05 15:44:18 +02:00

Description

Proof of Concepts for the Nomos project

Languages

Jupyter Notebook 93.8%

Rust 2.4%

Python 1.4%

JavaScript 1.1%

CSS 0.9%

Other 0.3%