Beyond computational assumptions: How BGKW replaced hardness with isolation
reddit.com·15h·
Discuss: r/compsci
🧮Homomorphic Encryption
Flag this post
🔐 ZK Proofs: The Hidden Engine Behind Web3 Privacy
dev.to·3d·
Discuss: DEV
🔗Crypto
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·9h
Formal Verification
Flag this post
AI Safety at the Frontier: Paper Highlights of October 2025
lesswrong.com·50m
🛡️AI Safety
Flag this post
News for October 2025
ptreview.sublinear.info·1d
🧮Homomorphic Encryption
Flag this post
Enhancing Federated Learning Privacy with QUBO
arxiv.org·9h
🌐Decentralized AI
Flag this post
A Note on Notes: Towards Scalable Anonymous Payments via Evolving Nullifiers and Oblivious Synchronization
eprint.iacr.org·3d
🧮Homomorphic Encryption
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·2d·
Discuss: Hacker News
🌐Decentralized AI
Flag this post
Online Identity Is Evolving: From Data Storage to Proof-Based Verification with zkTLS
blogger.com·3d
📜Smart Contracts
Flag this post
Leakage-abuse Attack Against Substring-SSE with Partially Known Dataset
arxiv.org·1d
🧮Homomorphic Encryption
Flag this post
BoolSkel: Unlocking Boolean Network Efficiency Through Structural Pruning by Arvind Sundararajan
dev.to·1h·
Discuss: DEV
🌐Decentralized AI
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
jstrieb.github.io·4h·
Discuss: Hacker News
⚙️Programming
Flag this post
Building Trinity Protocol v3.1: A Deep Dive into 2-of-3 Multi-Chain Consensus
dev.to·1d·
Discuss: DEV
📜Smart Contracts
Flag this post
Zama Announces Strategic Acquisition of KKRT Labs to Scale Confidentiality on Public Blockchains
techstartups.com·4h
🔗Crypto
Flag this post
A Soft‑Fork Proposal for Blockchain‑Based Distributed AI Computation
hackernoon.com·2d
🌐Decentralized AI
Flag this post
Credentials Evidence or Simulate
preludes.eu·1d·
Discuss: Hacker News
📜Smart Contracts
Flag this post
Zero-Trust with Zero-Friction eBPF in Calico v3.31
tigera.io·17h
🔒Hardware Security
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·3h·
Discuss: r/programming
⚙️Programming
Flag this post