Almost correct! Though the system consists of 2 tokens. BETH which is 1:1 ERC-20 receipt of burnt ETH, and WORM which has a limited cap & limited emission of 50 WORM per 30 minutes which can be mined by consuming BETH :)

So the receipt-token is converted to the WORM so it becomes untraceable, kind of like tornado cash. Do you mean mined or just converted? Mined kind of implies a lottery-like system to me.

nice job! now it's time for the prover part :)

So glad you liked it!

can you compile and run smth like gcc in your OS?

I've managed to compile the GNU toolchain (binutils + gcc). gcc seems to work fine, it can properly compile source code into assembly. There are some problems with binutils that make it not able to create object files or link. I'm haven't dug deeper to see where the problem actually is.

wow, i envy you! :) i have been working on a really simple self-compiling C compiler for some time, was wondering if you are interested in adding it to your OS haha. but if GCC works fine, then i don't see a reason :d

have done that already :(

that’s why i love HN. tnx for the links!

the asms should be identical, so the binaries should be identical too, unless the linker is undeterministic

perfect explanation, tnx!

i think it just supports smth like 70% of C. I didn't bother supporting floating-point operators, or arrays (I mean, malloc and pointers are fine) or etc. I just wanted smth small and self-hosting!

i learnt that building a c compiler isn't that hard, just takes time :)