Jos olet seurannut @SpaceandTimeDB, olet kuullut SQL:n todisteesta (romaanimme zk-todiste). Joten tänään aion opastaa sinut SQL:n todistamisen todellisten käyttötapausten läpi esimerkeillä, jotka kattavat DeFi:n, oraakkelit, ketjujen välisen infrastruktuurin, likviditeetin tarjoamisen ja jopa instituutiot. Ensinnäkin - oletetaan, että haluat käynnistää tunnuksen: $XYZ. joten lähestyt valasta ja teet sopimuksen... "Hei, jos lisäät 1 miljoonan dollarin USDT:tä Uniswapin likviditeettipooliini, annan sinulle 1 % $XYZ tarjonnasta." Tämä sopimus on kirjoitettu älykkääseen sopimukseen, eikö niin? Mutta toisaalta haasteena on nyt se, että tämän sopimuksen on tiedusteltava ja vahvistettava, että tämä valas todella tallettaa sen, mitä he lupasivat, jotta he voivat saada palkkion. Tarvitset siis älykkään sopimuksen, joka: - vahvistaa, että tämä valas todella lisäsi 1 miljoonan dollarin USDT:n. - Seuraa lompakkoa + aikaleimaa. - Panee täytäntöön 1 %:n token-palkkion. mutta tuo 1 miljoonan dollarin USDT elää itse asiassa ketjun ulkopuolella. Prolly DEX-aligrafissa tai Uniswap-sovellusliittymässä. Tässä haluamme tuoda SQL:n todisteen. Joten valaan likviditeettitalletus kysytään SQL:n kautta, sitten se tarkistetaan kryptografisesti ja lopulta syötetään älykkääseen sopimukseen nollaluottamusoletuksilla. Toinen on solmuoperaattorin vastuuvelvollisuus (viiltoleikkaus/palkitseminen). Verkoissa, kuten @chainlink tai missä tahansa Depinissä, useat solmut tekevät töitä (hakevat hinnat, tarkistavat henkilöllisyydet, suorittavat laskentaa jne.) Jokainen solmu on palkittava oikeudenmukaisesti ja vastaavasti. Jos he huijaavat tai menevät offline-tilaan, heidät on leikattava. Mutta siinä on ongelma. Mistä älykäs sopimus tietää, mikä solmu teki minkäkin työn? Huomaa, että operaattorin toiminta on ketjun ulkopuolella (tallennetaan usein lokeihin tai tietokantoihin), joten etkö solmuoperaattorina haluaisi tietojen olevan tarkkoja? Jos sinua on leikattava, haluat olla pirun varma, että sinua viilletään todellisesta syystä. jälleen tässä tulee todiste SQL:stä apuun. Proof of SQL:n avulla verkko voi: - Kysely työn valmistumislokeista. - Luo todennettavissa oleva todiste solmun suorituskyvystä. - Syötä se ketjuun automatisoidaksesi palkitsemis- tai leikkauslogiikan. Joten loppujen lopuksi, jos sinut leikataan, tiedät miksi, koska näet kryptografisen kuitin, joka todistaa, että se oli todellisesta syystä. mitä tulee ketjujen väliseen vakuuksien todentamiseen, tarvitsemme silti SQL-todisteen. Oletetaan, että rakennat lainausprotokollaa Baselle ja Ethereumille, jossa käyttäjät tallettavat vakuuksia molempiin ketjuihin. Miten todistat täydellisen TVL:n? Miten valvotte käyttäjävakuuksia molemmissa ketjuissa? Lisäksi, miten estät kaksinkertaisen laskennan tai petokset? ilman SQL-todisteita sinun täytyy: - Luota mukautettuihin ohjelmointirajapintoihin. - Luota siltatietoihin. - Keskitä taustajärjestelmä. :/ mutta SQL-todisteen avulla voit: - Kysy ketjujen välistä tilaa molempien ketjujen tiedoista. - todista se kryptografisesti. - Käytä yhtä näkymää luotonantoon, likvidointiin ja korkoihin. lopuksi. Oletetaan, että olet suuri Tradfi-pankki, joka haluaa tokenisoida omaisuutesi. Haluat: - käynnistää RWA:t. - lainata varoja vastaan. - todistaa vakavaraisuus tai vakuudet asiakkaille. mutta omaisuustietosi ovat ketjun ulkopuolisessa tietokannassa. Sen sijaan, että dumppaisit arkaluonteisia tietoja ketjuun, voit käyttää SQL-todistetta sisäisen tietokantasi kyselyyn, kryptografisen saldotodistuksen luomiseen ja omaisuuden omistajuuden tai tuen todistamiseen paljastamatta todellisia tietoja. pohjimmiltaan ZK + SQL = institutionaalinen yksityisyys + läpinäkyvyys. jos rakennat tokenia likviditeettisopimuksilla tai käytät DePIN- tai Oraakkeliverkkoa tai jopa otat käyttöön moniketjuista lainaamista, tarvitset todennettavissa olevia ketjun ulkopuolisia tietoja. ja sen Proof of SQL by @SpaceandTimeDB antaa sinulle.