Metastate AG era un'organizzazione di ricerca e engineering multi‑rete che applicava risultati di informatica, teoria dei linguaggi di programmazione e crittografia a problemi di scalabilità, verificabilità e privacy nelle reti blockchain. Il sito dell'organizzazione è mantenuto a scopi archivistici e non viene più aggiornato.
Generato dall’IA
Offerta
Prodotti e servizi
Settore:Sviluppo Software
✓ Offerto6
Ricerca e sviluppo per protocolli decentralizzati
Ricerca e sviluppo su consenso, scalabilità, interoperabilità e crittografia per reti decentralizzate, permissionless e resistenti alla censura.
R&D del core di Tezos
Ricerca e sviluppo del protocollo Tezos e realizzazione di aggiornamenti per la macchina a stati Tezos, incluse migliorie nella configurazione di rete, nell'affidabilità e nelle prestazioni.
Sviluppo di linguaggi di smart contract formalmente verificabili
Ricerca su linguaggi di programmazione, un linguaggio core con tipi dipendenti, la quantizzazione dell'uso e modelli di esecuzione per smart contract eseguibili in modo efficiente e costruiti correttamente.
Crittografia a conoscenza zero e privacy
Schemi di firme digitali, funzioni di ritardo verificabili e costruzioni di prove a conoscenza zero per sorgenti di casualità sicure, aggregazione di firme, compressione e riservatezza.
Pool shieldato multi-asset
Circuito a conoscenza zero per ledger multi-asset, in modo che più denominazioni di asset possano condividere lo stesso insieme di anonimato.
Outbound Leads by COHAGA
Cerchi indirizzi e-mail e numeri di telefono diretti?
Leadhub fornisce contatti verificati e referenti di oltre 750’000 aziende svizzere — direzione, acquisti, marketing, HR.