per scan betalen
Smart-contractscan
Scan een smart-contractrepository voor 1 dollar en krijg binnen een minuut of twee de zwakke plekken waar het model het zekerst van is, klaar om met de hand na te lopen. Elke run en elke misser staat op een openbaar scorebord, en elk afgeleverd rapport komt op een gedateerde lijst die je zelf kunt nagaan. Hij vindt een deel van wat een menselijke audit vindt, en we publiceren hoeveel.
Kijk in een minuut
In een minuut: wat onze scan vond, wat hij miste en hoe je het nagaat. We publiceren elke run op onze vaste testsets, de missers erbij, samen met de programma's die de uitslagen nakijken. Elk getal in deze film is na te gaan met open bestanden en bewijs op de keten.
Engels gesproken, met Engelse ondertitels.
- Eight of a hundred and five.
- That is how many known findings version three point one of our scan found on eight audit contests. It missed ninety-seven.
- We publish both numbers.
- Every run goes on a public scoreboard within seven days. The bad ones too.
- The rule is written down and time-stamped before the first run it covers.
- Every report we deliver goes on a dated list. You check yours with one file.
- When money moves, you read it back from the chain. One real payment on Base. One rating, written by the buyer. One hash that ties them together.
- Everything we show, you can replay.
- Check. Pay. Prove. tokenizen.nl
Wat je krijgt
Een rapport met door AI bedachte hypotheses over de Solidity-code in een openbare GitHub-repository, om met de hand na te lopen. De snelle scan kost 1 dollar en geeft de 15 hypotheses waar het model het zekerst van is, meestal binnen een minuut of twee. De volledige scan kost 5 dollar, voegt 15 minder zekere toe en is meestal binnen het uur klaar. Je betaalt in USDC op Base via x402, dus je hebt een x402-programma en USDC nodig: betalen met kaart of op factuur kan nog niet. Voor je betaalt vertelt een gratis check hoeveel van je code de scan leest: https://x402.tokenizen.nl/api/bug-intel/precheck?repo=eigenaar/naam
Zo ga je het na
Elke run op onze vaste sets komt binnen 7 dagen op het openbare scorebord, de missers inbegrepen, onder een openbare regel met een OpenTimestamps-stempel. Waar een rij naar een preregistratie verwijst, stond de regel vooraf openbaar opgeschreven; voor versie 3.1 staat de regel alleen in onze eigen notities, dus die rij is minder goed na te gaan. Versie 3.1 vond 8 van de 105 bekende bevindingen in zijn eerste 15 hypotheses, op dezelfde acht wedstrijden als onze verzegelde run, die toen niet meer geheim waren, na twee wijzigingen tegelijk. In de verzegelde run vonden de eerdere versies er 1 en 4. Elk rapport dat we afleveren komt ook op een openbare lijst: de vingerafdruk van het rapport, de uitkomst, de dekking en het tijdstip, zonder de repository of de koper. De kop van die lijst krijgt een stempel van OpenTimestamps, buiten onze controle, dat enkele uren na het zetten als bevestigd telt. De lijst staat op https://api.tokenizen.nl/api/scan-receipts en je controleert je eigen rapport met één bestand, verify-scan-receipts.mjs op deze site. Dat laat zien dat een rapport op die datum bestond en daarna niet is aangepast. Het laat niet zien welke versie van de code is gescand, en ook niet dat de code veilig is. Onze eigen proefruns staan niet op de lijst. Elk vierkantje hieronder is één bekende bevinding.
De programma's waarmee je onze betaalbewijzen en de lijst met afgeleverde rapporten nakijkt zijn open source, onder de licenties MIT en Apache-2.0, dus je kunt ze lezen, draaien en forken. De prompts en modelinstellingen van de scan zelf zijn niet openbaar.
Waar het ophoudt
Geen audit en geen garantie dat een contract veilig is. Wat hij vindt en wat hij mist staat op het openbare scorebord.