aggre

@mizchi 計算量に依存しないでってことと思いますが時間そのものが状態を持たないので何かを観察しないと取り出せない == 放射性崩壊とか宇宙のどこかにある100億年に1回ランダム値を生成する何かとかを利用しないと無理そう

ゼロ知識で時間経過だけをトリガーに複合できる暗号って成立するのかな

Try it in under 5 min: `git clone git@github.com:lemmaoracle/example-origin.git && pnpm install && pnpm demo` Receiver-side middleware SDK waitlist: tally.so/r/kd0bZR

Runs locally with no provisioning. Lightweight local proofs for evaluation, then upgrades to production-grade ZK artifacts via SDK. Evaluate first, build later.

Published: a working demo of pre-execution attestation for cross-chain bridges (Kelp DAO / rsETH scenario) + a blog post on why post-hoc forensics is the wrong layer. lemma.frame00.com/blog/verifiabl…

Bridge exploits in 2026 aren't accidents anymore. They're a category problem. Funds keep moving through cryptographically valid transactions — across systems whose ownership and origin assumptions never aligned. Forensics works. Pre-execution attestation is missing.

Just posted a Show HN. We put ZK attribute proofs inside x402 payment headers. Issuer identity, data integrity, and BBS+ selective disclosure, all verifiable in a single settlement round trip. news.ycombinator.com/item?id=479365…

The BBS+ disclosure is bound to the x402 settlement (condition.circuitId = "x402-payment-v1"), so re-using a disclosure without paying isn't possible. That binding is the part I'd most like other x402 builders to poke at. Feedback welcome.

Server-side wiring stays boring on purpose. paymentMiddleware auto-attaches the enrichSettlementResponse hook that writes extensions.lemma into PAYMENT-RESPONSE. Route handlers don't change.

Agents can pay over HTTP now (x402). What they can't do: prove who authorized the payment, under what policy, or that the data they paid for is intact. We put ZK attribute proofs inside the x402 PAYMENT-RESPONSE header. End-to-end verifiable. Live on Base Sepolia.

DeepSeek v4 出てる huggingface.co/deepseek-ai/De…

Every emission on jibot.md now carries a zero-knowledge cryptographic proof -- ECIES docHash, Poseidon Merkle commitment, BBS+ selective disclosure. From idea to production in one afternoon. jibot.md/emissions/2026…

Qwen3Max:Plan->Qwen3CoderNext:Build 🍵