Lumoin / Lumoin.Veridical Star 1 Code Issues Pull requests A .NET stack for advanced cryptography: zero-knowledge proofs, polynomial commitments, folding schemes, BBS selective-disclosure signatures, and split-ECDSA sole-control signing.bbscryptographycsharpdotnetnovahyraxfoldingspartanzero-knowledgep256bulletproofsligerobls12-381selective-disclosurebn254blake3zk-proofseudi-walletbasefoldsecdsa Updated Aug 12, 2026C#
oscartiz / whir-rs Star 0 Code Issues Pull requests From-scratch Rust implementation of WHIR/BaseFold multilinear polynomial commitment schemes (learning exercise)rustcryptographyzero-knowledgepolynomial-commitmentbasefold Updated Jun 10, 2026Rust
ignotusnemo / parano1d-soundness Star 0 Code Issues Pull requests Executable soundness analysis for ParanO(1)d production proof parameters, with theorem-backed bounds and reproducible industry-metric comparisons.rustcryptographyreproducible-researchsecurity-analysisgkrfrizero-knowledge-proofssoundnesscryptographic-proofsproof-systemsbinary-fieldsinteractive-oracle-proofsbasefoldparano1d Updated Aug 7, 2026Rust