I periodically watch the status of Lanzaboote [1] to know when it will be upstreamed to Nixpkgs so that it will be easier for people (e.g. me) to switch to NixOS. It has been funded by the Next Generation Internet initiative that the article says is being eliminated.
[1] https://github.com/nix-community/lanzaboote