Difference between revisions of "OHSNAP"
(add link to NetBSD ARM926 porting article)
|Line 18:||Line 18:|
<h3>June 18, 2021</h3>
<h3>June 18, 2021</h3>
We've settled on a roadmap:
We've settled on a roadmap:
Revision as of 04:57, 30 June 2021
- 1 Open Hardware for Secure Networks And Privacy (OHSNAP)
- 1.1 Motivation
- 1.2 Device Summary
- 1.3 Design Goals
- 1.4 Status
- 1.5 Tentative Project Stages
- 1.6 Possible Design Choices for Future Versions
- 1.7 Open Questions
- 1.8 Meetings
- 1.9 Links to Resources
Open Hardware for Secure Networks And Privacy (OHSNAP)
This is the project page for OHSNAP, an open-source platform for building secure networks with a known hardware root of trust.
Virtually all commercially-available networking equipment is proprietary and closed-source and cannot be independently verified to be free of malware. There have been documented cases of attackers – sometimes entire nation-states – physically modifying networking equipment and networkable devices in order to exfiltrate data and/or command & control otherwise-trusted systems. This leaves the average individual with little choice but to hope that their home network consists of and is secured by devices which do not phone home or contain other backdoors. Such a situation breaks the guarantee that the user's data and devices remain their sovereign property and instead places control into the hands of manufacturers and governments.
The goal of this project is to produce a completely open design and implementation for a network router with a verifiable root of trust. By making the hardware design, manufacturing process, and firmware and software stacks fully verifiable, it allows users to inspect the entire end-to-end flow of their data and to directly control some or all of the fabrication of the device in order to establish positive provenance.
The OHSNAP router will be a single-board computer running an open source firmware and OS. It will expose at least two Ethernet ports.
- No closed-source firmware or software allowed anywhere in the stack
- Implementation must be independently reproducible by third parties
- Factory-made PCBs must be physically produced in the USA
- Components should be as supplier-diversified as possible
June 25, 2021
- Created v0.1 schematic for NUC980-based dev board. Will first be used with bare metal firmware.
- Ordered samples of NUC980DR61Y and the Nuvoton Chili dev board. The latter will be used to test firmware and Linux and to begin the OpenBSD port.
- Found article on porting NetBSD to ARM926EJ-S, the same core as in the Nuvoton chip.
June 18, 2021
We've settled on a roadmap:
- Create a fully homebuilt, low-performance 10/100 single Ethernet board that is capable of running OpenBSD ("Option A" from March 27, 2021). This approach will:
- Provide us with hands-on experience in designing, building, debugging our own hardware.
- Give us a testbed for experimenting with secure manufacturing practices.
- Require us to learn how to port OpenBSD to a new chip and board.
- Provide a ready-to-use reference design for other, related secure manufacturing projects at Noisebridge and beyond.
- Produce a physical deliverable that will create buy-in and grow our ecosystem.
- In parallel, we will continue to identify and engage potential vendors for high-performance designs which require securely outsourcing manufacturing.
- HWPOC (Hardware Proof Of Concept): A minimal board designed to allow creating bare metal firmware to test basic design and in-house manufacturing on the Voltera PCB printer. We may attempt to boot Linux from this board, as there is kernel support for it and the design will be derived from the Nuvoton Chili dev board.
- SWPOC (Software Proof of Concept): Use the Nuvoton Chili board to port OpenBSD to the target chip.
- Proto: Boot OpenBSD from the minimal in-house board.
- EVT: First in-house board featuring Ethernet and all planned features. Still contains debugging connections.
- DVT: Finalized PCB. Begin testing low-qty mass production using pick & place machine.
- PVT: Final production units. Goes on to ramp build.
May 8, 2021
- Continued exploration of threat vectors and possible mitigations.
- More links added to resource list.
- Setting up Tinfoil Chat as a realtime collaboration platform and exploration of secure methodologies.
- Setting up OpenBSD on various SBCs and virtual machines to evaluate its fitness for use.
April 3, 2021
Identified three regimes for threat models, some concrete examples, and some hypothetical mitigations:
|Threat Regime||Example Scenario||Possible Mitigations|
|During assembly||Manufacturer tampering||
|During transit to end-user||Vendor/reseller tampering|
|Embed device in another device|
|At customer's install site||Evil user tampering||Live system intrusion detection (examples??)|
|Routine pogo board testing|
|Passive monitoring, e.g.,
March 27, 2021
Still looking for a non-BGA ARM processor that contains two Ethernet PHYs and has 0.5mm or greater lead pitch (for Voltera V-1 PCB production. We are now considering three options for design:
- (A) Non-BGA ARM processor on a homemade mainboard [simplest but limited to non-gigabit speeds; may require SW porting]
- (B) BGA ARM processor on a fabbed carrier board attached to a homemade mainboard [more complicated but higher performance and easier to source; may avoid SW porting]
- E.g., NXP i.MX6SoloX
- Unpopulated carrier board will need to be examined, probably via x-ray, after production
- Carrier board reflow is still done by us
- Still need to look for more ways to increase provenance
- (C) Use an existing open source BGA-based project (e.g., Kosagi Novena) and modify it for trusted manufacturing [complexity likely between (A) and (B)]
- Will still likely need a BGA carrier board from (B) but may reduce R&D costs of the project
We’ll be setting up an IRC server in parallel to testing local deployment of the Element secure chat system.
March 20, 2021
In order to make forward progress on the hardware, we will choose OpenBSD as the initial operating system and an ARM-based architecture for the CPU. Users will be able to use their own ARM-compatible OS if they choose, including Linux and Plan9 (if software support is added).
We will first create a Software-Intent Proof of Concept (SIPoC), which will be an OpenBSD-based router running on a commercially available SBC. We may then want, as a Proof of Concept (PoC), to port the software stack to the Common Networks nodes at Noisebridge and begin deploying them across sites.
The first version of our custom hardware should be amendable to DIY manufacturing. This means no BGA parts. This severely restricts the list of CPUs/SoCs to older and lower-performance chips, limiting our capability to 100MBps initially. We'll expand this list as we discover more:
List of non-BGA ARM SoCs
Current leading candidate: Nuvoton NUC980DR61Y - 64-eLQFP 0.5mm Pros: Low pin count, has 10/100 PHY, 64 MB SiP RAM, HW crypto, relatively cheap (~$10 low qty) Cons: No native OpenBSD/NetBSD support, no video out, RAM may be tight, 0.5mm pitch is tough with Voltera, no USB 1 port (USB 2 needs 1 GHz scope for debugging) Open source sample code Reference schematics & design docs
- Dealbreaker: Only one PHY on 0.5mm package
- TI AM1705 - 176-PQFP 0.5mm
- NXP i.MX233 - 128-LQFP 0.4mm
- Allwinner V3s - 128-eLQFP 0.4mm
March 13, 2021
- Looking for secure communications platform for project collaboration. Element / Matrix look promising.
- Possibly partner with CircuitLaunch for local hardware builds?
March 6, 2021
Initial meeting. Discussed range of HW/SW design choices.
Tentative Project Stages
- SIPoC: OpenBSD router on commercial SBC
- PoC: SW stack on Common Networks
- Proto 1 build: Low-speed (10/100 Mbps) DIY version
- Full build: 1 Gbps
Possible Design Choices for Future Versions
- ARM/ARM64 SoC
- RISC-V SoC
- Specifically no Intel/compatible architectures due to poor security record
- OS / Application Code
- Alpine Linux
- Custom FPGA code
- Trusted manufacturers
- How to offer root-of-trust guarantees to non-DIY customers
We are currently meeting every Friday at 14:00 PT (GMT-8) on the Noisebridge Jitsi video platform.
Links to Resources
- Related projects
- Kosagi Novena - bunnie Huang's open hardware ARM SBC with OpenBSD support and dual Ethernet
- Linuxstamp – open source non-BGA ARM9 Linux-capable SBC with 10/100 Ethernet on a 2-layer board
- EthernetFMC - open hardware GigE transceiver with RGMII interface based on Marvell 88E1510 chip
- Deprecated projects
- SecurityRouter - OpenBSD distro for network management
- Other OpenBSD-capable boards
- Software & firmware
- Other architectures
- Communication & collaboration platforms
- Hardware manufacturers
- Design tools
- KiCAD - schematic capture and PCB layout
- Transparent PCB manufacturer
- Tamper evident markers
- Wikipedia article on Tamper Evident Technology
- "Open Source is insufficient to solve trust problems in hardware" by Bunnie Huang (video presentation)
- DustIdentity embedded diamond nanocrystals for system ID
- PUFs (Physically Unclonable Functions) created in silicon on the IC wafer
- Paper describing principle
- Stealthy Dopant-Level Hardware Trojans