Logical validation of ASIC layouts
Funded solution
By
Make build logs available as publicly verifiable, tamper-proof Merkle trees
By
Measure on-going trust between interacting agents
By
Integrated portable webview based on Servo engine into Tauri

