Ethereum’s Move to Proof of Stake

2022-04-16

Zkverse – Introduction to zero knowledge proof

2022-04-14

How Did Software Get So Reliable Without Proof? (1996) [pdf]

2022-04-14

Show HN: Tamper-Proof Ledger Web App (OSS)

2022-04-14

Ask HN: Can the same individual accomplish more with programming than proofs?

2022-04-14

The Proof of Stake Trojan Horse

2022-04-14

Apple II “Lemmings” Proof of Concept

2022-04-13

Steam Deck’s future-proofed potential borne out by ray-tracing tests

2022-04-13

Ethereum transition to proof-of-stake delayed again

2022-04-13

Ethereum transition to proof-of-stake delayed again, as is tradition

2022-04-13