A Framework for Witness Encryption from Linearly Verifiable SNARKs and Applications
eprint.iacr.orgยท1d
๐Ÿ”’Cryptography
Zero Knowledge Proof
en.wikipedia.orgยท4dยท
Discuss: Hacker News
๐Ÿ”’Cryptography
How to Copy-Protect Malleable-Puncturable Cryptographic Functionalities Under Arbitrary Challenge Distributions
eprint.iacr.orgยท2d
๐Ÿ”’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ยท1dยท
Discuss: Hacker News
โœ…Formal Methods
Age and Authenticated Encryption
words.filippo.ioยท16hยท
Discuss: Hacker News
๐Ÿ”’Cryptography
On "local" and "global" errors in mathematical papers, and how to detect them
terrytao.wordpress.comยท1dยท
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
Improved homomorphic evaluation for hash function based on TFHE (2024)
cybersecurity.springeropen.comยท1dยท
Discuss: Hacker News
๐Ÿ”’Cryptography
Group Signatures with Message-Dependent Opening Directly Imply Timed-Release Encryption
eprint.iacr.orgยท2d
๐Ÿ”’Cryptography
A deterministic ฯ€-driven algorithm for the Partition Problem (NP-complete)
osf.ioยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust
Show HN: I made a full Ethereum account-proof circuit in Circom
github.comยท19hยท
Discuss: Hacker News
๐Ÿฆ€Rust
AlphaGo Moment for Model Architecture Discovery
arxiv.orgยท2dยท
Discuss: Hacker News
โœ…Formal Methods
Post to HN
blog.cloudflare.comยท4hยท
Discuss: Hacker News
๐Ÿ”’Cryptography
Rules for AI coding assistants working with the Linux kernel codebase
lore.kernel.orgยท17hยท
Discuss: Hacker News
๐Ÿฆ€Rust
Personalized AI is rerunning the worst part of social media's playbook
helentoner.substack.comยท22hยท
Discuss: Substack
๐Ÿฆ€Rust
Milk Sad: Secure private key generation write up
milksad.infoยท20hยท
Discuss: Hacker News
๐Ÿ”’Cryptography
Pair Programming With ChatGPT: An Experience Report
brainbaking.comยท14hยท
Discuss: Hacker News
โœ…Formal Methods
Implementing Bloom Filters in C (2022)
andreinc.netยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust
(Weak) Factorization Systems
bartoszmilewski.comยท19hยท
Discuss: Hacker News
โœ…Formal Methods