3 ms·
I hope they or Prossimo will also look and reimplement in the similar fashion the core Internet protocols - BGP, OSPF and RIP, other routing implementations, DN
by xvilka 1y ago
I hope they or Prossimo will also look and reimplement in the similar fashion the core Internet protocols - BGP, OSPF and RIP, other routing implementations, DNS servers, and so on.
- dataking 1y agohttps://www.memorysafety.org/initiative/ https://www.memorysafety.org/initiative/ this page mentions TLS and DNS which goes some way towards your suggestion.
- throw10920 1y agoIs that domain actually about memory safety or about Rust?
- glowiefedposter 1y ago[dead]
- nickpsecurity 1y agoOne guy did Ironsides DNS in SPARK Ada which has stronger proofs.
- xvilka 1y agoNothing against Ada, it's a good language. The only problem would be finding contributors in that case.
- everfrustrated 1y agoCheck out https://nlnet.nl/project/current.html https://nlnet.nl/project/current.html https://www.sovereign.tech/programs/fund https://www.sovereign.tech/programs/fund There's been good support over the last couple of years to fund rewriting critical internet & OS tools into safer languages like Rust. Eg BGP in Rust https://www.nlnetlabs.nl/projects/routing/rotonda/ https://www.nlnetlabs.nl/projects/routing/rotonda/
- xvilka 1y agoThank you, precisely what I had in mind! Somehow I missed this project. As well as Holo[1] (routing) [1] https://github.com/holo-routing/holo https://github.com/holo-routing/holo