Il tornado si è schiantato (o si è schiantato?)

Il Tesoro statunitense sanziona Tornado Cash per riciclaggio di denaro, ma riconosce la legittimità della maggior parte delle attività crittografiche

di Ryan Shea

Percorsi chiave

• Il Tesoro degli Stati Uniti ha recentemente annunciato di voler sanzionare il mixer virtuale di criptovalute Tornado Cash perché utilizzato dagli hacker per riciclare fondi illegali.
• Nonostante questa azione, e contrariamente alla narrativa popolare che vede le criptovalute come un rifugio sicuro per i criminali, il comunicato stampa del Tesoro ha riconosciuto che "la maggior parte delle attività in valuta virtuale è lecita" - un notevole cambiamento di percezione da parte del governo statunitense.
• A prima vista, la decisione del governo statunitense di applicare una sanzione è giustificabile. Tuttavia, Tornado Cash continua a operare e l'azione apre una serie di problemi per le autorità di regolamentazione, le società di criptovalute e, più in generale, le società di software.
• Questo episodio illustra il compito estremamente difficile che gli Stati nazionali geograficamente delimitati devono affrontare nel tentativo di regolamentare entità crittografiche decentralizzate che, per definizione, non sono definite o limitate dai confini nazionali.

Non mi capita spesso di trovare interessanti i comunicati stampa degli enti governativi, ma il recente comunicato del Dipartimento del Tesoro degli Stati Uniti sul Tornado Cash (TC) lo era[1]. Anzi, è stato così interessante che vale la pena approfondirlo.

Innanzitutto, qualche informazione di base per chi non è informato sul TC. Secondo il comunicato stampa del Tesoro, il TC è (notare la tensione presente, è importante) un "mixer di valuta virtuale". In apparenza, si tratta di una serie di librerie software open source che consentono agli utenti di implementare contratti intelligenti sulla blockchain di Ethereum[2]. Questi contratti intelligenti, noti come TC Pools, consentono agli utenti di depositare e successivamente ritirare criptovalute da un indirizzo, o portafoglio, a un altro indirizzo.

Il codice alla base dei contratti garantisce che gli utenti possano ritirare solo i fondi che hanno depositato (il che significa che rimangono autocustoditi), ma poiché questa funzione si basa su prove a conoscenza zero[3] e poiché questi pool sono utilizzati da più utenti contemporaneamente, il legame tra gli indirizzi di deposito e di prelievo viene reciso anche se le transazioni sono pubblicamente visibili sulla blockchain di Ethereum[4]. Questa separazione garantisce la privacy o l'anonimato delle transazioni finanziarie.

La battaglia per la privacy

Secondo le Nazioni Unite, la privacy è un diritto umano fondamentale. Sebbene il buon senso suggerirebbe che questo diritto comprenda anche il diritto alla privacy finanziaria, i governi esigono che i loro cittadini rispettino le leggi del paese e non si impegnino in attività criminali o evitino di pagare le tasse, che sono, dopo tutto, una fonte fondamentale di finanziamento del governo[5].

Per garantire questa conformità, i governi richiedono la capacità di monitorare le transazioni finanziarie di individui e aziende. È per questo che vengono imposte le norme KYC/AML, che collegano direttamente le transazioni finanziarie alle informazioni di identificazione personale e rivelano la fonte ultima dei fondi, spesso al di sopra di un importo prestabilito. È anche il motivo per cui alcune agenzie governative possono accedere ai registri bancari (anche se sotto la direzione del ramo giudiziario).

Non sorprende che, alla luce di questi requisiti governativi di divulgazione, le tecnologie che garantiscono la privacy delle transazioni finanziarie siano attraenti per gli attori che desiderano intraprendere attività illecite e, altrettanto non sorprende, che le forze dell'ordine non vedano di buon occhio l'utilizzo di queste tecnologie per tali scopi. Infatti, nel 2021 gli sviluppatori dei servizi di miscelazione di criptovalute Bitcoin Fog[6] e Helix[7] sono stati entrambi arrestati e accusati di riciclaggio di denaro dalle autorità statunitensi. Inoltre, all'inizio di quest'anno Blender.io ha avuto il dubbio riconoscimento di essere il primo miscelatore di valute virtuali ad essere sanzionato dal Tesoro statunitense[8]. È chiaro che le forze dell'ordine hanno nel mirino i miscelatori di criptovalute che tutelano l'anonimato.

Mitigazione del contenzioso (tentato)

Senza dubbio nel tentativo di mitigare qualsiasi azione legale futura, il giorno dopo che il Tesoro degli Stati Uniti ha esteso l'elenco SDN nel tentativo di impedire a Lazarus Group[9] di riciclare i proventi dell'hacking del Ronin Bridge da $600m[10], il co-fondatore di TC Semenov ha annunciato che stava utilizzando i contratti oracolo di Chainalysis per bloccare gli indirizzi dei portafogli nell'elenco SDN.

Questa nuova misura sembra aver placato le preoccupazioni delle forze dell'ordine in merito ai TC Pool. Dopo tutto, se le criptovalute che entrano nei TC Pool sono "non contaminate" perché provengono da portafogli non inclusi nella lista SDN, allora la natura auto-custodiale delle transazioni dei TC Pool significa che devono essere non contaminate anche quando vengono ritirate, anche se ora sono anonime. Il problema, tuttavia, era che l'oracolo Chainalysis funzionava solo con la dApp di TC. Non funzionava con lo smart contract sottostante, perché nel maggio 2020 le chiavi di amministrazione di TC sono state effettivamente distrutte[11] in una cerimonia di allestimento di fiducia[12]. Questo ha reso tecnologicamente impossibile per gli smart contract di TC essere conformi alla lista SDN perché erano, come Semenov ha twittato all'epoca, "immutabili"[13].

Certamente, come dimostrano le successive sanzioni del Tesoro, questa mossa non ha soddisfatto il governo statunitense. Tracciando i flussi di criptovalute provenienti da atti criminali noti, in questo caso l’attacco hacker al ponte cross-chain Ronin, le forze dell’ordine statunitensi e le società private di analisi blockchain (vedi grafico sottostante[14]) sono riuscite a stabilire che gli hacker avevano riciclato denaro tramite TC.

Ronin Bridge Hack Flussi di criptovaluta  

Naturalmente, il governo statunitense non è stato in grado di individuare la destinazione delle criptovalute, ma l'analisi della blockchain è stata una prova più che sufficiente per dimostrare che la TC è stata utilizzata per scopi illegali, e questa è stata la base per sanzionarla, come chiarisce il comunicato stampa.

"Oggi l'Office of Foreign Assets Control (OFAC) del Dipartimento del Tesoro degli Stati Uniti ha sanzionato il mixer di valuta virtuale Tornado Cash, che è stato utilizzato per riciclare oltre $7 miliardi di valuta virtuale dalla sua creazione nel 2019. Questo include oltre $455 milioni rubati dal Lazarus Group, un gruppo di hacker sponsorizzato dallo Stato della Repubblica Popolare Democratica di Corea (DPRK) che è stato sanzionato dagli Stati Uniti nel 2019".

Il declino dello stigma dell'illegalità

Per molti, l'idea che le criptovalute siano un rifugio sicuro per le attività illegali non è una novità. In effetti, come ho notato in una precedente nota di ricerca, è stata una delle narrazioni più durature per il Bitcoin[15], la criptovaluta seminale. Tuttavia, come ho sottolineato in una nota di ricerca separata che analizza più specificamente la diffusione dell'uso illegale delle criptovalute[16], questa percezione è fuori luogo.

Sorprendentemente, e questo è il primo aspetto interessante del comunicato stampa, il Tesoro degli Stati Uniti riconosce esplicitamente questo difetto narrativo, osservando che mentre le criptovalute, o valute virtuali nel linguaggio del comunicato, possono essere utilizzate per attività illecite "la maggior parte delle attività in valuta virtuale è lecita".

Si tratta di un cambiamento di percezione notevole se si considera che il capo del Tesoro statunitense, Janet Yellen, durante la sua audizione di conferma, poco più di 18 mesi fa, ha affermato, cito testualmente, che "molte [criptovalute] sono utilizzate, almeno a livello di transazioni, principalmente per finanziamenti illeciti"[17].

Sembra che lo stigma dell'illegalità stia finalmente scomparendo. È una tendenza che mi aspetto e spero continui, perché è una delle ragioni spesso citate per cui le criptovalute non sono state adottate in modo più ampio[18].

Azioni controverse

L'altro aspetto interessante del comunicato stampa riguarda la natura delle sanzioni del Tesoro statunitense contro il TC. Per citare nuovamente il comunicato stampa,

"Tutte le proprietà e gli interessi in proprietà dell'entità di cui sopra, Tornado Cash, che si trovano negli Stati Uniti o sono in possesso o sotto il controllo di persone statunitensi sono bloccate e devono essere segnalate all'OFAC. Inoltre, sono bloccate anche le entità che sono possedute, direttamente o indirettamente, al 50% o più da una o più persone bloccate. Tutte le transazioni effettuate da persone statunitensi o all'interno degli Stati Uniti (o in transito) che coinvolgano proprietà o interessi in proprietà di persone designate o altrimenti bloccate sono vietate a meno che non siano autorizzate da una licenza generale o specifica rilasciata dall'OFAC, o siano esenti. Tali divieti includono l'effettuazione di qualsiasi contributo o fornitura di fondi, beni o servizi da, a, o a beneficio di qualsiasi persona bloccata e la ricezione di qualsiasi contributo o fornitura di fondi, beni o servizi da parte di tali persone".

A seguito delle sanzioni del Tesoro, il sito web tornado.cash[19] è offline (è elencato nell'SDN[20]) e Github ha chiuso il repo contenente il codice sorgente originale sul proprio sito e gli account degli sviluppatori principali, anche se non sono stati citati nell'SDN. Le azioni di GitHub si sono rivelate particolarmente controverse.

Il codice è un discorso

Secondo i creatori di TC, "tutto ciò che facciamo è scrivere codice e pubblicarlo su GitHub"[21] e tali azioni sono protette dal Primo Emendamento, poiché precedenti sentenze dei tribunali statunitensi hanno considerato il codice sorgente come un discorso[22]. In effetti, la Electronic Frontier Foundation (EFF) ha chiesto ulteriori chiarimenti al Tesoro in relazione alle sanzioni per TC, temendo che la rimozione del repo canonico per TC dal sito web di Github possa potenzialmente minare le tutele del Primo Emendamento per il codice[23]. L'evoluzione della situazione sarà interessante da osservare e importante per l'industria del software nel suo complesso, non solo per lo spazio delle criptovalute.

Questa non è l'unica questione spinosa che la sanzione del Tesoro nei confronti del TC solleva.

Colpire il perimetro normativo

Le sezioni evidenziate nel comunicato stampa - sottolineate da me - chiariscono abbondantemente che le sanzioni del Tesoro si applicano solo ai cittadini statunitensi o alle persone che utilizzano i suoi servizi all'interno dei suoi confini. Il motivo è semplice: questo segna il perimetro normativo.

Ad esempio, esistono ancora fork verificati di Tornado elencati su Github[24], il che non viola le sanzioni. Inoltre, poiché gli smart contract su cui si basano i TC Pool sono immutabili, se le credenziali dello smart contract vengono rispettate continueranno a eseguire codice.

Non c'è nulla che il governo degli Stati Uniti possa fare per impedire agli utenti al di fuori della giurisdizione statunitense di utilizzare i TC Pools fintanto che la blockchain di Ethereum rimane attiva. La blockchain di Ethereum potrebbe andare in tilt nel caso in cui il Merge non andasse a buon fine – evento previsto ormai tra poche settimane, cosa per cui Vitalik Buterin sembra essere molto «entusiasta»[25] – ma tutto lascia intendere che ciò non accadrà[26]).

Una zona senza banane

Peggio ancora, l'immutabilità degli smart contract di TC significa che anche se il governo degli Stati Uniti riuscisse ad arrestare e perseguire i fondatori di TC e a incarcerarli, il protocollo continuerebbe a funzionare come servizio di miscelazione di valuta virtuale. Questo non è solo in teoria, ma si sta effettivamente verificando nella pratica. Un account Twitter pubblica i volumi delle transazioni giornaliere su TC e, sebbene i volumi delle transazioni siano diminuiti dopo che il Tesoro ha sanzionato TC, non si sono azzerati - si veda il grafico. I pool di TC sono ancora in uso.

Volumi giornalieri delle transazioni TC ($)

Oltre i confini degli Stati Uniti

Per gli utenti al di fuori degli Stati Uniti, l’unico impatto diretto delle sanzioni del Tesoro su TC ha riguardato gli utenti che detenevano fondi denominati in USDC negli smart contract. Tali fondi sono stati congelati poiché l’USDC è una stablecoin centralizzata, garantita da valuta fiat ed emessa da un emittente regolamentato dalle autorità statunitensi; di conseguenza, il Tesoro ha potuto obbligare anche Circle – l’emittente dell’USDC – a congelare fondi per un valore di oltre 75.000 USDC associati agli indirizzi inclusi nell’elenco SDN. Circle e altri emittenti di stablecoin garantite da valuta fiat come loro[27] devono ottemperare, altrimenti corrono il rischio molto grave di essere esclusi dall’accesso ai mercati finanziari tradizionali, il che è fondamentale per la loro attività[28].

Suasione morale

E gli utenti di TC al di fuori degli Stati Uniti che non utilizzano monete stabili sostenute da USD? Per non inimicarsi il governo degli Stati Uniti, numerosi progetti di DeFi hanno istituito divieti sui portafogli in qualche modo legati alla TC, tra cui Aave, Uniswap, dYdX e altri. Tuttavia, non vi è alcuna costrizione per tale azione al di là della moral suasion e in un mondo in cui le relazioni internazionali si sono deteriorate (leggi: aumento delle tensioni geopolitiche in Ucraina [Russia] e Taiwan [Cina]) non è difficile immaginare che gli utenti che considerano gli Stati Uniti come una nazione ostile saranno meno preoccupati di bloccare gli utenti di TC dall'accesso ai suoi servizi o dall'accesso ai loro fondi, soprattutto se si considera che ci sono ancora $188m di valore totale bloccato (TVL) all'interno di TC - vedi grafico. Queste tensioni rendono inoltre estremamente improbabile la possibilità di uno sforzo coordinato a livello globale per vietare tali servizi di miscelazione (che potrebbe essere potenzialmente efficace).

Tornado Cash TVL ($bn)

Hoppity Hop

Un ulteriore fattore di complicazione è che l’idea di vietare le transazioni provenienti da portafogli in qualche modo “contaminati” da criptovalute associate a TC Pools non è così semplice come potrebbe sembrare a prima vista. A seguito dell’imposizione delle sanzioni a TC, numerose figure di spicco del mondo delle criptovalute – come Justin Sun (fondatore di Tron) e Brian Armstrong (CEO di Coinbase) – sono state oggetto di attacchi di “dusting”. In questi attacchi, il “dust” – piccole quantità di criptovalute il cui invio è in genere antieconomico poiché di valore inferiore alle commissioni di transazione, da cui il nome – è stato inviato tramite TC Pools a portafogli associati a queste personalità, con il risultato che alcuni di essi sono stati bloccati[29].

Per quanto fastidiosi, questi attacchi sono relativamente facili da verificare e correggere, poiché i trasferimenti di fondi sono piccoli e poco frequenti. Il problema più grande è stabilire dove le società di criptovalute tracciano la linea di demarcazione per gli utenti che potrebbero aver ricevuto, anche se inconsapevolmente, criptovalute che in precedenza erano passate attraverso il mixer di TC. La metrica più ovvia consiste nell'esaminare il numero di salti, o transazioni, tra i fondi che escono dal pool di TC e arrivano nel portafoglio dell'utente.

Secondo un utente di Twitter, meno di 0,03% di indirizzi hanno ricevuto ETH direttamente dai pool TC. Ma, ed è un grosso ma, entro due hop (cioè due transazioni nel normale gergo finanziario) più di 40% della rete Ethereum ha avuto transazioni da TC, salendo a quasi 92% entro soli quattro hop - vedi grafico[30]. Stabilire anche una soglia di hop relativamente bassa per determinare se congelare i portafogli contenenti fondi di criptovaluta associati al mixer TC è altamente problematico, soprattutto se si considera che i criminali conoscono già bene le tecniche di wash trading per offuscare la fonte dei fondi illegali. Per le società di criptovalute questo rende l'implementazione di un divieto un incubo logistico, in quanto semplici strumenti di screening, come il conteggio degli hop, sono di fatto inutili se non si intende bloccare la rete Ethereum (non è una buona cosa, soprattutto con il Merge di cui si parla a poche settimane di distanza).

Distanza tra i pool di TC e i PF

Barattolo di vermi

A prima vista, la caccia del governo statunitense a TC è giustificabile alla luce dell'utilizzo della criptovaluta da parte degli hacker per riciclare fondi illeciti. Tuttavia, le sue azioni aprono un vaso di Pandora per le autorità di regolamentazione, e non solo negli Stati Uniti.

Le sanzioni imposte a TC sono necessariamente di natura limitata, circoscritte geograficamente e saranno difficili da rispettare per le società di criptovalute in modo efficiente. L'aspetto più significativo è che le azioni dei regolatori statunitensi non sono riuscite a far fallire TC. I suoi servizi di mixaggio sono ancora aperti e disponibili all'uso, anche all'interno degli Stati Uniti, grazie all'ampia disponibilità di servizi VPN di geo-spoofing. Questo dimostra che il perimetro normativo in relazione alle criptovalute non è così ampio come molti sembrano credere.

Se la nazione più potente del mondo non può chiudere i servizi di criptovaluta creati da una manciata di sviluppatori, che speranza hanno gli altri Stati nazionali più piccoli?

L'episodio ha messo in luce il compito estremamente difficile che gli Stati nazionali, geograficamente delimitati, devono affrontare nel tentativo di regolamentare entità crittografiche decentralizzate che, per definizione, non sono definite o limitate dai confini nazionali.

È un lavoro molto difficile per tutti gli standard!

Per ora, questo potrebbe non sembrare un grosso problema, dato che il possesso di criptovalute a livello globale è ancora agli inizi e gli Stati nazionali non sembrano essere eccessivamente preoccupati di perdere i loro profitti da signoraggio (i benefici monetari derivanti dalla possibilità di stampare la propria moneta), ma con l'inflazione a due cifre e l'indebitamento globale ai massimi storici in tempo di pace, la situazione potrebbe cambiare sostanzialmente in un futuro non troppo lontano[31]. Questo è certamente un aspetto che mi terrebbe sveglio la notte se fossi nel settore governativo.

Alla prossima volta.

Di Ryan Shea, economista della criptovaluta

[1] Si veda: https://home.treasury.gov/news/press-releases/jy0916

[2] Che cosa costituisca esattamente il Tornado Cash è una questione controversa che ha notevoli ramificazioni legali.

[3] Le prove a conoscenza zero consentono agli utenti di verificare ad altri utenti che sono in possesso di alcune informazioni private, ma senza rivelare quali siano tali informazioni. Ad esempio, si può dimostrare di avere più di 18 anni senza dover rivelare la propria data di nascita.

[4] Per un'analisi approfondita del funzionamento interno di TC, vedere: https://www.coincenter.org/education/advanced-topics/how-does-tornado-cash-work/ . NB: Nei periodi di scarse transazioni, quando la liquidità è scarsa, le società di metriche blockchain sono state in grado di identificare le transazioni all'interno dei TC Polls.

[5] Non tutto per essere chiari. I governi possono finanziarsi indirizzando la banca centrale verso la moneta, anzi, negli ultimi anni lo hanno fatto in misura considerevole.

[6] Si veda: https://www.justice.gov/opa/pr/individual-arrested-and-charged-operating-notorious-darknet-cryptocurrency-mixer

[7] Si veda: https://www.justice.gov/opa/pr/ohio-resident-pleads-guilty-operating-darknet-based-bitcoin-mixer-laundered-over-300-million

[8] Il sito blender.io, il cui indirizzo web è stato incluso nell'elenco SDN, non è più accessibile ma il sito blendar.io, registrato il 2 ottobre 2021, offre gli stessi servizi e ha persino blender.io incluso nella sua home page, è in linea (almeno al momento in cui scriviamo) - vedi: https://blendar.io/

[9] Il famigerato gruppo di cybercriminali nordcoreani è stato sospettato di aver istigato l'hack.

[10] Si veda: https://home.treasury.gov/policy-issues/financial-sanctions/recent-actions/20220414

[11] Vedi: https://tornado-cash.medium.com/the-biggest-trusted-setup-ceremony-in-the-world-3c6ab9c8fffa

[Come spiega questo post del blog del fondatore di Ethereum Vitalik Buterin, i 1.000 partecipanti che hanno preso parte a questa cerimonia garantiscono effettivamente che il processo sia "abbastanza vicino all'assenza di fiducia" nella pratica - vedi: https://vitalik.ca/general/2022/03/14/trustedsetup.html

[13] Divulgare questo fatto su un'importante piattaforma di social media in quel momento non è stata probabilmente la mossa più intelligente.

[14] Che il gruppo responsabile dell’attacco a Ronin Bridge fosse davvero il Lazarus Group o meno, poco importa. Ciò che conta è che le analisi della blockchain hanno confermato che i fondi provenienti dall’attacco sono stati trasferiti tramite TC Pools – vedi: https://www.elliptic.co/blog/540-million-stolen-from-the-ronin-defi-bridge

[15] Si veda: https://trakx.io/bitcoin-the-inside-out-narrative/

[16] Si veda: https://trakx.io/how-crypto-combat-illicit-transactions/

[17] Si veda: https://cointelegraph.com/news/biden-s-treasury-secretary-nominee-calls-cryptocurrencies-a-particular-concern-for-aml

[18] Si veda: https://trakx.io/focus-on-imminent-uk-crypto-regulation/

[19] Resta da vedere se verrà riproposto in un’altra veste, come nel caso di blendar.io. tornedo.cash sembrerebbe una possibilità concreta, soprattutto perché il nome di dominio non è disponibile, essendo stato registrato il 22 aprile 2022 (una settimana dopo che il cofondatore di TC, Semenov, aveva twittato sull’immutabilità dei loro smart contract) – vedi: https://www.name.com/domain/search/tornedo.cash

[SDN è l'acronimo di Specifically Designated Nationals e Blocked Persons.  https://home.treasury.gov/policy-issues/financial-sanctions/recent-actions/20220808

[21] Si veda: https://www.bloomberg.com/news/articles/2022-03-10/crypto-obfuscator-tornado-says-sanctions-cant-affect-smart-contracts

[Un esempio interessante, anche se un po' nerd, di codice sorgente che rappresenta un discorso è contenuto in un haiku di 465 strofe scritto da Seth Schoen che contiene istruzioni sufficienti ai programmatori di computer per ricreare il software DeCSS sviluppato per aggirare la crittografia dei DVD dal programmatore norvegese Jon Lech Johansen (che fu accusato ma poi assolto) - si veda: https://www.cs.cmu.edu/~dst/DeCSS/Gallery/decss-haiku.txt

[23] Si veda: https://www.eff.org/deeplinks/2022/08/code-speech-and-tornado-cash-mixer

[24] Si veda: https://github.com/tornado-repositories/tornado-verified-forks

[25] Si è trattato di una battuta molto popolare su Twitter, come dimostra il numero di like.

[26] Per ulteriori informazioni sulla fusione, si veda: https://trakx.io/ethereum-proof-of-work-vs-proof-of-stake/

[27] Tether, un altro emittente di stablecoin denominate in USD, finora non ha bloccato alcun portafoglio che utilizzi Tornado Cash, ma solo perché non ha ancora ricevuto una richiesta formale in tal senso; ha tuttavia dichiarato che ottempererebbe qualora gli venisse richiesto – vedi: https://blockworks.co/tether-wont-freeze-sanctioned-tornado-cash-addresses-without-authorities-request/

[MakerDOA, di cui mi sono occupato nella mia precedente nota di ricerca, dovrebbe prendere sul serio tali azioni, dato che utilizza l'USDC come uno dei suoi principali asset di riserva per salvaguardare il suo peg USD ed è stato associato ai TC Pool. Non ha molto senso lodare la propria natura decentralizzata per garantire l'indipendenza operativa se il governo degli Stati Uniti può congelare gran parte del proprio collaterale - vedi: https://blog.trakx.io/maker-dao-tao/

[29] Si veda: https://blockworks.co/defi-web-apps-block-users-hit-by-tornado-cash-dust-attack/

[30] Questo risultato non dovrebbe sorprendere più di tanto se si considera che la stragrande maggioranza delle banconote contiene tracce di cocaina - si veda: https://www.acs.org/content/acs/en/pressroom/newsreleases/2009/august/new-study-up-to-90-percent-of-us-paper-money-contains-traces-of-cocaine.html

[31] Per chi è interessato a comprendere le implicazioni crittografiche dello scenario macro, si veda: https://trakx.io/cryptocurrencies-store-of-value/