Popular repositories Loading
-
suave-fba-dex
suave-fba-dex PublicProof of concept for a Frequent Batch Auction on Suave.
-
-
-
tsl-formal-verification
tsl-formal-verification PublicFormal Verification of Top Single Layer Encoding
Lean 11
Repositories
- simplex-fv Public
Formal-verification reference notes for the Simplex consensus protocol (IACR ePrint 2023/463)
NyxFoundation/simplex-fv’s past year of commit activity - verifiable-stf Public
NyxFoundation/verifiable-stf’s past year of commit activity - presentation-agent Public
NyxFoundation/presentation-agent’s past year of commit activity - goldfish-fv Public
Formal-verification reference notes for the Goldfish Ethereum consensus protocol (IACR ePrint 2022/1171)
NyxFoundation/goldfish-fv’s past year of commit activity - consensus-lean4 Public
Lean 4 formalization of Lean Consensus (3SF-mini) — generated from Rust via Aeneas
NyxFoundation/consensus-lean4’s past year of commit activity - formal-leanSpec Public
NyxFoundation/formal-leanSpec’s past year of commit activity - verity Public
The Provable Consensus Client — a formally verified Ethereum consensus client built with Lean 4.
NyxFoundation/verity’s past year of commit activity - rlmd-ghost-fv Public
Formal-verification reference notes for the RLMD-GHOST consensus protocol (arXiv:2302.11326, CSF 2024)
NyxFoundation/rlmd-ghost-fv’s past year of commit activity - minimmit-fv Public
Formal-verification reference notes for the Minimmit consensus protocol (arXiv:2508.10862, FC'26)
NyxFoundation/minimmit-fv’s past year of commit activity - visually-3d Public
A platform to visualize machinery from blueprints/names in 3D, learn about part composition, connectivity, and roles.
NyxFoundation/visually-3d’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…