#Zk

zkGolf zkGolf is a competition to build the cheapest zero-knowledge circuits, proven correct in Lean 4. Pick a challenge, write a leaner circuit, and prove it stays correct against the spec. Verified submissions ar

From Dev Community: Mathematically Prohibiting 'Cheating' in On-Chain RPS: A Midnight ZK dApp Case Study

Decoding Error 1010: What 'Invalid Transaction' Actually Means You've deployed to Midnight testnet. The circuit compiles. The TypeScript driver looks right. And then: InvalidTransaction. No stack trace. No line number.…