A Framework for Witness Encryption from Linearly Verifiable SNARKs and Applications
eprint.iacr.orgยท22h
๐Ÿ”’Cryptography
Zero Knowledge Proof
en.wikipedia.orgยท3dยท
Discuss: Hacker News
๐Ÿ”’Cryptography
How to Copy-Protect Malleable-Puncturable Cryptographic Functionalities Under Arbitrary Challenge Distributions
eprint.iacr.orgยท1d
๐Ÿ”’Cryptography
Quantum Scientists Have Built a New Math of Cryptography
quantamagazine.orgยท1dยท
Discuss: Hacker News
๐Ÿ”’Cryptography
What if Left-Right and Seq-Lock had a baby?
github.comยท8hยท
Discuss: Hacker News
โœ…Formal Methods
On "local" and "global" errors in mathematical papers, and how to detect them
terrytao.wordpress.comยท17hยท
Discuss: Hacker News
โœ…Formal Methods
The CRO Trilemma : a formal incompatibility between Confidentiality, Reliability and legal Opposability in Post-Quantum proof systems
eprint.iacr.orgยท2d
๐Ÿ”’Cryptography
Group Signatures with Message-Dependent Opening Directly Imply Timed-Release Encryption
eprint.iacr.orgยท1d
๐Ÿ”’Cryptography
Improved homomorphic evaluation for hash function based on TFHE (2024)
cybersecurity.springeropen.comยท22hยท
Discuss: Hacker News
๐Ÿ”’Cryptography
A deterministic ฯ€-driven algorithm for the Partition Problem (NP-complete)
osf.ioยท17hยท
Discuss: Hacker News
๐Ÿฆ€Rust
Show HN: I made a full Ethereum account-proof circuit in Circom
github.comยท1hยท
Discuss: Hacker News
๐Ÿฆ€Rust
Personalized AI is rerunning the worst part of social media's playbook
helentoner.substack.comยท4hยท
Discuss: Substack
๐Ÿฆ€Rust
Milk Sad: Secure private key generation write up
milksad.infoยท2hยท
Discuss: Hacker News
๐Ÿ”’Cryptography
Implementing Bloom Filters in C (2022)
andreinc.netยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust
A breakdown of attacker response times to AWS key leaks
clutch.securityยท2dยท
Discuss: Hacker News
๐Ÿ”’Cryptography
How Solid Protocol Restores Digital Agency
schneier.comยท2dยท
Discuss: Hacker News
๐Ÿ”’Cryptography
I am a SOTA 0-shot classifier of your slop
christopherkrapu.comยท1hยท
Discuss: Hacker News
๐Ÿฆ€Rust
Signing Webhooks with FusionAuth
fusionauth.ioยท1dยท
Discuss: Hacker News
๐Ÿ”’Cryptography
Simon Tatham's Portable Puzzle Collection
chiark.greenend.org.ukยท7hยท
Discuss: Hacker News
โœ…Formal Methods
DIY Serverless (With CoreOS and Dokploy)
nikodunk.comยท19hยท
Discuss: Hacker News
๐Ÿฆ€Rust