# Älykkäiden sopimusten avulla toteutettu syntetisen datan lisensointi ja valvonta Formizella

Syntetinen data on muodostunut kulmakiveksi AI‑mallien kouluttamisessa samalla suojaten yksityisyyttä, mutta datan generaattorien nopea leviäminen luo uusia lisensointi‑ ja vaatimustenmukaisuusongelmia. Perinteiset lisenssisopimukset ovat staattisia, manuaalisesti valvottuja ja usein eivät pysy mukana syntetisen datan dynaamisessa tuotantoprosessissa.  

Tässä astuvat **älykkäät sopimukset** – itse­suorittava koodi lohkoketjussa, joka voi koodata lisenssiehdot, valvoa käyttöpolitiikat ja tarjota muuttumattoman auditointijäljen. Kun ne yhdistetään **Formizeen**, nollaluottamus‑orchestrointialustaan datanhallinnassa, organisaatiot voivat saavuttaa **reaaliaikaisen, automatisoidun ja todistettavasti vaatimustenmukaisen** syntetisen datan jakamisen sisäisten tiimien, kumppaneiden ja ulkoisten markkinapaikkojen välillä.

Tässä artikkelissa käymme läpi:

1. Miksi syntetisen datan lisensointi tarvitsee ohjelmoitavan, muuttumattoman kerroksen.  
2. Arkkitehtuurin, joka yhdistää Formizen nollaluottamus‑datakankaan lohkoketjun älykkäät sopimukset.  
3. Täydellisen end‑to‑end‑työnkulun, havainnollistettuna Mermaid‑kaavioilla.  
4. Vaatimustenmukaisuuden, auditoinnin ja liiketoimintahyötyjen korostaminen.  
5. Käytännön toteutusohjeet ja lyhyt koodinpätkä Solidity‑pohjaiseen lisenssisopimukseen.

---

## 1. Lisensointikuilu syntetisen datan ekosysteemeissä

| Haaste | Perinteinen lähestymistapa | Älykkäiden sopimusten mahdollistama lähestymistapa |
|--------|----------------------------|---------------------------------------------------|
| **Dynaamiset käyttöoikeudet** | Kiinteät ehdot PDF‑tiedostoissa, manuaaliset päivitykset | Ohjelmalliset oikeudet, joita voidaan kysyä ja muuttaa ketjussa |
| **Auditointikyky** | Paperijäljet, sähköpostilokit | Muuttumaton lohkoketju |
| **Valvonta** | Manuaalinen seuranta, oikeudelliset ilmoitukset | Automaattinen oikeuksien peruuttaminen ja rangaistukset sopimuslogiikan kautta |
| **Monivaltiollinen vaatimustenmukaisuus** | Maankohtainen oikeudellinen tarkastus | Älykkäät sopimukset voivat sisällyttää lainkäyttöaluekohtaisia sääntöjä ja versioida ne automaattisesti |

Syntetisiä datageneraattoreita (esim. GAN‑mallit, diffuusio‑mallit) voi tuottaa miljardeja rivejä päivässä. Lisensoinnin on siksi oltava **skaalautuvaa**, **koneellisesti luettavaa** ja **toteutettavissa datan käyttökerroksessa**. Formize tarjoaa jo **nollaluottamus‑datapääsynhallintamoottorin**, joka autentikoi jokaisen pyynnön, kirjaa alkuperän ja tarkistaa politiikkojen vaatimustenmukaisuuden. Lisäämällä lohkoketjupohjaisen älykkään sopimuksen kerroksen voimme **siirtää lisenssipäätökset oikeudellisesta tiimistä suoritusaikaiseksi moottoriksi**, varmistaen, että jokainen data‑lukeminen tai -kirjoittaminen noudattaa sovittuja ehtoja.

---

## 2. Arkkitehtuurin yleiskatsaus

Ratkaisu koostuu kolmesta tiiviisti kytketystä kerroksesta:

1. **Syntetisen datan generointikerros** – AI‑mallit, jotka tuottavat syntetisiä tietoaineistoja.  
2. **Nollaluottamus‑hallintakerros (Formize)** – Hoitaa autentikoinnin, attribuuttipohjaisen pääsynvalvonnan (ABAC) ja reaaliaikaisen politiikkatarkistuksen.  
3. **Lohkoketjun älykkäiden sopimusten kerros** – Tallentaa lisenssiehdot, käyttömäärät ja valvontalogiikan.

### 2.1 Datan virtauskaavio

```mermaid
graph LR
    A["Synthetic Data Generator"] --> B["Formize Data Hub"]
    B --> C["Smart Contract Registry (Ethereum/Polygon)"]
    D["Data Consumer"] --> B
    B --> E["Access Decision Engine"]
    E --> F["Data Delivery"]
    C --> G["Audit Log (IPFS)"]
    style A fill:#f9f,stroke:#333,stroke-width:2px
    style B fill:#bbf,stroke:#333,stroke-width:2px
    style C fill:#ff9,stroke:#333,stroke-width:2px
    style D fill:#cfc,stroke:#333,stroke-width:2px
    style E fill:#fcc,stroke:#333,stroke-width:2px
    style F fill:#9ff,stroke:#333,stroke-width:2px
    style G fill:#ddd,stroke:#333,stroke-width:2px
```

* **Vaihe 1 – Rekisteröinti**: Kun syntetinen tietoaineisto on luotu, generaattori kutsuu Formizen **Data Hub API**‑rajapintaa rekisteröidäkseen resurssin. Formize tallentaa metatiedot (hash, skeema, alkuperä) ja luo automaattisesti **lisenssisopimuksen** valitulle lohkoketjulle, linkaten aineiston ID:n sopimuksen osoitteeseen.  
* **Vaihe 2 – Kuluttajan pyyntö**: Kuluttaja autentikoi itsensä Formizen kautta (OAuth, SSO tai hajautettu DID). Pyyntö sisältää kuluttajan lompakon osoitteen.  
* **Vaihe 3 – Politiikkatarkistus**: Formize kysyy älykkäältä sopimukselta kuluttajan nykyisen lisenssitilan (esim. jäljellä oleva kvotti, voimassaolo). **Pääsynpäättymismoduuli** yhdistää tämän sisäisiin ABAC‑sääntöihin (rooli, tarkoitus, maantieteellinen sijainti).  
* **Vaihe 4 – Valvonta**: Jos sopimus osoittaa rikkomuksen (esim. kvotti ylitetty), Formize hylkää pyynnön ja voi tarvittaessa käynnistää ketjussa tapahtuvan rangaistuksen (esim. token‑leikkaus).  
* **Vaihe 5 – Auditointi**: Jokainen päätös sekä sopimuksen tilannevedos kirjoitetaan muuttumattomaan **IPFS‑pohjaiseen auditointilokiin**, johon viitataan lohkoketjutapahtuman hash‑arvolla.

---

## 3. Älykkäiden sopimusten suunnittelumallit

Alla on minimaalinen **Solidity**‑sopimus, joka havainnollistaa olennaiset lisensointiominaisuudet. Sopimus on tarkoituksellisesti yksinkertainen, jotta periaatteet ovat selkeät; tuotantokäytössä tulisi lisätä päivitettävyyttä (esim. OpenZeppelin Transparent Proxy) ja roolipohjaista pääsynhallintaa.

```solidity
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.24;

contract SyntheticDataLicense {
    address public owner;          // Data provider
    address public dataHash;       // IPFS CID of the dataset (stored as address for simplicity)
    uint256 public expiry;         // Unix timestamp
    uint256 public maxAccesses;    // Total allowed reads
    uint256 public usedAccesses;   // Counter

    mapping(address => bool) public whitelisted; // Optional per‑consumer whitelist

    event AccessGranted(address indexed consumer, uint256 remaining);
    event LicenseRevoked(address indexed consumer, string reason);

    modifier onlyOwner() {
        require(msg.sender == owner, "Not owner");
        _;
    }

    constructor(address _dataHash, uint256 _expiry, uint256 _maxAccesses) {
        owner = msg.sender;
        dataHash = _dataHash;
        expiry = _expiry;
        maxAccesses = _maxAccesses;
    }

    function whitelistConsumer(address consumer) external onlyOwner {
        whitelisted[consumer] = true;
    }

    function revokeConsumer(address consumer, string calldata reason) external onlyOwner {
        whitelisted[consumer] = false;
        emit LicenseRevoked(consumer, reason);
    }

    function requestAccess() external returns (bool) {
        require(block.timestamp <= expiry, "License expired");
        require(usedAccesses < maxAccesses, "Quota exhausted");
        require(whitelisted[msg.sender], "Not whitelisted");

        usedAccesses += 1;
        emit AccessGranted(msg.sender, maxAccesses - usedAccesses);
        return true;
    }

    // View function for Formize to poll license state
    function getLicenseStatus() external view returns (uint256 remaining, bool active) {
        remaining = maxAccesses - usedAccesses;
        active = (block.timestamp <= expiry) && (remaining > 0);
    }
}
```

**Avainkohdat**:

* **Muuttumattomat ehdot** – `expiry` ja `maxAccesses` asetetaan sopimuksen luontivaiheessa, eikä niitä voi muuttaa ilman uutta sopimusta.  
* **Dynaaminen peruuttaminen** – Palveluntarjoaja voi välittömästi peruuttaa kuluttajan oikeudet `revokeConsumer`‑funktiolla.  
* **Ketjussa tapahtuvat tapahtumat** – `AccessGranted` ja `LicenseRevoked` lähetetään, jolloin Formize voi kuunnella reaaliaikaisia päivityksiä.  
* **Kevyt kysely** – `getLicenseStatus` mahdollistaa Formizelle tilan tarkistuksen ilman kaasukustannuksia (luku‑kutsu).

---

## 4. Formizen integrointi älykkäiden sopimusten kanssa

Formizen **Politiikkamoottori** voidaan laajentaa **Web3‑adapterilla**, joka:

1. **Välimuistittaa sopimuksen tilan** Redis‑tietokantaan alhaisen viiveen varmistamiseksi.  
2. **Kuuntelee sopimustapahtumia** WebSocket‑palveluntarjoajan (esim. Alchemy, Infura) kautta.  
3. **Mappaa ketjussa olevat osoitteet** Formizen käyttäjätunnuksiin DID‑to‑wallet‑rekisterin avulla.

### 4.1 Esimerkkipolitiikkasääntö (YAML)

```yaml
policy:
  name: synthetic_data_license_check
  description: Verify on‑chain license before granting access
  conditions:
    - type: web3
      contract: "{{dataset.contractAddress}}"
      method: getLicenseStatus
      args: []
      expect:
        active: true
        remaining: ">0"
  actions:
    - allow: true
    - log: true
```

Kun pyyntö saapuu, Formize arvioi tämän säännön. Jos sopimus raportoi `active: false` tai `remaining: 0`, pyyntö hylätään ja **auditointitapahtuma** kirjataan.

---

## 5. Vaatimustenmukaisuus ja liiketoimintahyödyt

| Hyöty | Selitys |
|-------|---------|
| **Sääntelyn mukaisuus** | Muuttumaton lisenssirekisteri täyttää GDPR‑, CCPA‑ ja nousevien AI‑säädösten vaatimukset, jotka edellyttävät todistettavaa datan käyttöoikeutta. |
| **Vähennetty oikeudellinen kuormitus** | Automaattinen oikeuksien peruuttaminen poistaa tarpeen manuaalisille lakikirjeille. |
| **Rahan ansaintamahdollisuus** | Palveluntarjoajat voivat myydä käyttöperusteisia lisenssejä (pay‑per‑access) ja toteuttaa maksut token‑siirroilla sopimuksen sisällä. |
| **Läpinäkyvyys tarkastajille** | Tarkastajat voivat tarkistaa lohkoketjun suoraan, mikä vähentää riippuvuutta sisäisestä dokumentaatiosta. |
| **Organisaatioiden välinen luottamus** | Nollaluottamus‑autentikointi yhdistettynä ketjussa tapahtuvaan vahvistukseen luo “luota‑mutta‑tarkista” -mallin, joka toimii organisaatioiden rajapinnoilla. |

---

## 6. Todelliset käyttötapaukset

### 6.1 Terveydenhuollon tutkimuskonsortio

Konsortio, jossa useat sairaalat jakavat syntetisiä potilastietoja AI‑mallien kouluttamista varten, antaa jokaiselle jäsenelle **kvanttipohjaisen lisenssin**, joka tallennetaan yksityiseen Ethereum‑verkkoon. Formize varmistaa, että jokaisen tutkijan pyyntö tarkistetaan sopimuksen perusteella, ja lisenssi peruutetaan automaattisesti, jos kvotti ylittyy tai tutkija poistuu konsortiosta.

### 6.2 Syntetisen median markkinapaikka

Markkinapaikka myy AI‑luotuja kuvia **royalty‑free**‑lisenssillä, joka rajoittaa kaupallista käyttöä tiettyyn määrään. Älykkäät sopimukset seuraavat jokaisen latauksen; kun raja saavutetaan, Formize estää lisälataukset ja ilmoittaa ostajalle. Markkinapaikka voi myös sisällyttää **tulonjako‑lausekkeen**, joka maksaa token‑palkkion alkuperäiselle tekijälle jokaisesta hyväksytystä latauksesta.

### 6.3 Edge‑AI‑laitteiden laiteohjelmistopäivitykset

Valmistajat jakavat syntetisiä telemetriatietoja reunalaitteille mallien hienosäätöä varten. Lisenssit sidotaan laitteiden sarjanumeroihin (säilytettyinä lompakon osoitteina). Jos laite joutuu vaarantuneeksi, Formize voi välittömästi peruuttaa sen lisenssin älykkään sopimuksen kautta, estäen lisätietovuodot.

---

## 7. Toteutustarkistuslista

| Vaihe | Tehtävät |
|-------|----------|
| **Suunnittelu** | Määritä data‑asetukset, lisenssiehdot (kvotti, voimassaolo, maantieteellinen rajoitus), valitse lohkoketju (julkinen vs. organisaation oma). |
| **Sopimuksen kehitys** | Kirjoita, testaa ja tarkasta Solidity‑sopimukset; hyödynnä OpenZeppelin‑kirjastoja turvallisuuden varmistamiseksi. |
| **Formizen laajennus** | Ota käyttöön Web3‑adapteri, konfiguroi politiikkasäännöt, kartoita käyttäjätunnukset lompakon osoitteisiin. |
| **Integraatiotestaus** | Simuloi kuluttajapyyntöjä, varmista lohkoketjun tilapäivitykset, tarkista auditointilokin merkinnät IPFS:ssä. |
| **Tuotantoon siirto** | Julkaise sopimukset pää‑verkkoon tai konsortio‑verkkoon, aktivoi valvontapaneelit, kouluta hallintotiimiä. |
| **Jatkuva parantaminen** | Arvioi sopimusversioita säännöllisesti, lisää uusia ehtoja (esim. GDPR‑oikeus “unohdettuun oikeuteen”), päivitä Formizen politiikkoja. |

---

## 8. Tulevaisuuden suuntaukset

1. **Zero‑Knowledge‑todisteet (ZKP)** – Mahdollistavat lisenssien vaatimustenmukaisuuden tarkistamisen ilman kuluttajan identiteetin paljastamista.  
2. **Dynaamiset hinnoittelumallit** – Älykkäät sopimukset voivat sisällyttää **oracle‑pohjaisia hintoja**, jotka säätävät maksut syntetisen datan kysynnän mukaan.  
3. **Moniketju‑yhteensopivuus** – Hyödynnä **Polkadot‑** tai **Cosmos‑siltia**, jotta lisenssit tunnistetaan useissa lohkoketjuympäristöissä.  
4. **LLM‑luodut sopimusehdot** – Käytä suuria kielimalleja automaattisesti luomaan lisenssiehdot sääntöpohjaisten mallien perusteella, jonka jälkeen ne käännetään Solidity‑koodiksi.

---

## Katso myös

- [OpenZeppelin Contracts Library – Secure Smart Contract Patterns](https://github.com/OpenZeppelin/openzeppelin-contracts)  
- [Ethereum Improvement Proposal 4337 – Account Abstraction for Pay‑Per‑Use Models](https://eips.ethereum.org/EIPS/eip-4337)