📜 Smart Contracts - gip · Scour

Comparing Smart Contract Paradigms: A Preliminary Study of Security and Developer Experience 🔒Hardware Security

Replacing probabilistic AI with deterministic math and Dafny formal verification 🔒Hardware Security

gist.github.com·6d·Hacker News

Upgrade any Ethereum wallet to post-quantum security in one transaction using ZK proofs with a hidden public key 🔒Hardware Security

ethresear.ch·1d

Tired of Being Burned by Crypto? Consider Ethereum, Crypto's Settlement Layer. 🔗Crypto

Allocation Update - Q1 2026 🧮Homomorphic Encryption

blog.ethereum.org·2d

Mosaic: Practical Malicious Security for Garbled Circuits on Bitcoin 🧮Homomorphic Encryption

eprint.iacr.org·6d

Mamata storms EVM strong room amid rigging claims 🔐Zero-Knowledge Proofs

KLOUCEO/klou-verify: Deterministic cloud cost governance via Z3 SMT Solver. Formal verification of infrastructure states to prove and prevent waste. Zero-server & metadata-sovereign by design. ✅Formal Verification

github.com·1d·Hacker News

South Korea’s Shinhan Card taps Solana to test real-world stablecoin payments 🔒Hardware Security

cointelegraph.com·12h

LibVLC Audit Complete! 🔧MLIR

The Final Form of Software Development 🔧MLIR

blog.zksecurity.xyz·1d·Lobsters, Hacker News

[Proposal] Public Fraud Proofs for Just-in-Time Channels 🔗Crypto

delvingbitcoin.org·6d

Show HN: 1990s Game Dev Algorithms for Distributed Systems 🔒Hardware Security

docs.merca.earth·2d·Hacker News

How To Stop Losing Money To DeFi Hacks 🔒Hardware Security

systematiclongshort.com·3d

Machine Payments Protocol Ships Multi-Method Discovery (3 minute read) 🔗Crypto

Leveraging Agentic AI Techniques to Improve Formal Verification (Infineon, et al.) 🤖AI

semiengineering.com·2d

Beyond censorship resistance: hiding, simultaneous binding, and accountable last look 🔄Protocol Design

decentralizedthoughts.github.io·3d

Bitcoin's Options Tape Supports Recovery, But ETH Gives A Less Clean Read 🔗Crypto

seekingalpha.com

·1d

Week 17 🔒Hardware Security

thisweekin4n6.com·4d

This Firm Wants To Own 5% of Ethereum 🔗Crypto

youtube.com·2d

Log in to enable infinite scrolling