Trustix
Make build logs available as publicly verifiable, tamper-proof Merkle trees
ProjectID
Trustix-Nix
Acronym
Trustix-Nix
Additional Info
- Resources
- Source code
- https://github.com/nix-community/trustix
- Talk
- Internet Relay Chat (IRC)
- ircs://irc.libera.chat:6697/untrustix
Enduser Relevance
Not available yet
Contact
https://nlnet.nl/contact/
Endorsements
Not available yet
Disclaimer
Not available yet
Country:
NGI Project: NGI assure
Status: Early research demo
Category: Decentralized solutions (including blockchain and distributed ledger technologies)Measurement, monitoring, analysis and abuse handlingOperating systems, firmware and virtualisationSoftware engineering, protocols, interoperability, cryptography, algorithms, proofs
check other similar innovations
Hardware accelerated 2D graphics
Design hardware accelerated 2D graphics using C to Verilog
jaq
Implementation of jq in Rust with formal semantics
Mobilizon
Find, create and organize events
Hardware Roots of Trust
Hardware Roots of Trust as Enabler of Trust in Digital Transactions (DOOR) empowers entities to establish trust by providing strong...
