[GUEST ACCESS MODE: Data is scrambled or limited to provide examples. Make requests using your API key to unlock full data. Check https://lunarcrush.ai/auth for authentication information.]

@coset_io "3/3 Proposal: OP_STARK_VERIFY - Native STARK Proof Verification in Bitcoin Script This post proposes adding an opcode OP_STARK_VERIFY to Tapscript that verifies a bounded-size STARK proof. The goal is to enable on-chain verification of a Zero Knowledge Proof with transparent post-quantum-secure assumptions without resorting to ad-hoc Script encodings (e.g. OP_CAT) or enshrining a large family of arithmetic opcodes. We outline the motivation threat model bounding/pricing approach initial opcode semantics and open questions. Feedback welcome on scope parameter bounding pricing alternatives and"
X Link @coset_io 2025-10-27T13:05Z 2363 followers, XX engagements