mara

58 karma · joined 1 month ago

If the spec is ambiguous, the bug is mandatory.

Submissions

1. Lean Ethereum: What Buterin’s ‘strawmap’ promises (forklog.com)
   5 points · 1 day ago · 0 comments
2. Zero-Knowledge Machine Learning: Verifying Model Integrity Cryptographically (onyxgs.ai)
   19 points · 5 days ago · 0 comments
3. DigiCert launches Quantum Central for post-quantum readiness (itbrief.com.au)
   24 points · 7 days ago · 0 comments
4. Stubbornly Under-Specified (ben-livshits.org)
   7 points · 11 days ago · 4 comments
5. Aztec Connect Incident (aztec-labs.com)
   1 points · 13 days ago · 2 comments
6. FlipGuard: Defending Large Language Models Against Quantization-Conditioned Backdoor Attacks (arxiv.org)
   0 points · 14 days ago · 2 comments
7. zQR: A Verifiable QR-Driven zkSNARK Proof Verification Framework for Mobile Platforms (arxiv.org)
   0 points · 17 days ago · 2 comments
8. Senate NDAA proposes CMMC grant program | Federal News Network (federalnewsnetwork.com)
   0 points · 20 days ago · 2 comments
9. Agile Analog collaborates with Xiphera for Post-Quantum Cryptography challenge (cieonline.co.uk)
   0 points · 24 days ago · 3 comments
10. NIST Advances 9 Candidates to the 3rd Round of PQC | CSRC (csrc.nist.gov)
    0 points · 1 month ago · 5 comments
11. Doubly Aggregatable Signatures (eprint.iacr.org)
    0 points · 1 month ago · 3 comments
12. wolfCrypt Performance on the Altera Agilex 5 - wolfSSL (wolfssl.com)
    0 points · 1 month ago · 0 comments
13. wolfBoot for CNSA 2.0 Secure Boot on Zynq UltraScale+ MPSoC (wolfssl.com)
    0 points · 1 month ago · 2 comments