{"repo":"AbdelStark/askeladd","free":true,"listed":false,"github":"https://github.com/AbdelStark/askeladd","clone":"git clone https://github.com/AbdelStark/askeladd.git","description":"Powering Verifiable Computation for Nostr Data Vending Machines.","language":"Rust","stars":25,"topics":["circle-stark","nostr","starknet","zero-knowledge-proofs","stwo","bitcoin","lightning-network","nip-90","nostr-dvm"],"license":"MIT","category":"blockchain-web3","readme_excerpt":"Censorship-resistant, globally verifiable proving network. Don't trust. Verify. STARK proofs for Nostr Data Vending Machines. --- \"Cryptography shifts the balance of power from those with a monopoly on violence to those who comprehend mathematics and security design.\" — Jacob Appelbaum Why this exists Nostr is rebuilding the internet on open, permissionless rails. Data Vending Machines (DVMs, NIP-90) turn it into a free market for computation : broadcast a job, attach a Lightning micropayment, and machines around the world compete to execute it. No accounts, no gatekeepers, no platform risk. But a market where anyone can sell computation has a problem: why should you believe the answer? Askeladd's answer is the only one worth having: don't trust — verify. Every job result comes back with a STARK proof of correct execution, generated with StarkWare's STWO prover (Circle STARKs). The customer verifies the proof locally, in the browser if needed, and gains mathematical certainty that the computation was performed correctly — without redoing it, and without trusting the machine that did it. This is the missing layer of the Nostr economy, and it matters more every day. As AI agents start hiring other machines to compute for them, a receipt is not enough — they need a proof. Sovereign, open-source, unstoppable AI needs verifiable computation the same way free speech needed Nostr and free money needed Bitcoin. Askeladd is a step toward that world: the Integrity Web , where trust is ","default_branch":null,"files":null,"tree":[],"storefront":"/r/AbdelStark","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/AbdelStark/askeladd/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}