📜 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·5d·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

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·21h·Hacker News

Allocation Update - Q1 2026 🧮Homomorphic Encryption

blog.ethereum.org·1d

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

cointelegraph.com·3h

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

eprint.iacr.org·5d

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

The Final Form of Software Development 🔧MLIR

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

LibVLC Audit Complete! 🔧MLIR

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

docs.merca.earth·1d·Hacker News

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

delvingbitcoin.org·6d

I benchmarked Claude Code's caveman plugin against "be brief." 🔧MLIR

maxtaylor.me·17h·Hacker News

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

semiengineering.com·1d

EC assessing repoll plea in 77 booths in Bengal ✅Formal Verification

How To Stop Losing Money To DeFi Hacks 🔒Hardware Security

systematiclongshort.com·3d

RAG Vector Distance Calculator | Cosine Similarity & Euclidean Distance ⚙️Programming

fmtdev.dev·18h·DEV

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

seekingalpha.com

·1d

This Firm Wants To Own 5% of Ethereum 🔗Crypto

youtube.com·1d

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

decentralizedthoughts.github.io·3d

Log in to enable infinite scrolling