If you can so that in C all the better. I know there exists a formally verified secure C compiler. Ideally you would have a similar compiler which guarantees l

If you can so that in C all the better. I know there exists a formally verified secure C compiler. Ideally you would have a similar compiler which guarantees low energy uses. In my experience Rust already does a great job there but I’m happy to behold whatever evidence exists for C being more energy efficient.