The thing is, auditors already use security tools as part of the audit, so do developers. Now they will have a possibility to do it much easier.
Besides, when you have the tool that integrates with other developer tools, you can embed it into the development process, which is a good security practice.
Wow, thanks for the great question. The thing is, the tool can also scan bytecode for some platformes, which includes Android and iOS. It's kinda spoiler, I saved this info for the next article)
Frankly speaking, I cannot say it is necessety. We were trying to find a way to utilize the technology for the hacathon so that it will bring value.
And yes, it did consume a lot of time. First we wanted to use ZoKrates to generate Rust code for Fluence. However, we found out that it does not generate Rust source code - only bytecode. So, we had to write the code ourselves, which was pretty complecated since none of us knew Rust) A mentor from Fluence team helped us a lot. Also, we contunued working on that part after the hackathon, too.
It will. The gas used by single CREATE2 transaction may increase due to EIP 2026 (https://eips.ethereum.org/EIPS/eip-2026), however this prepayment is refunded upon selfdestruct (i.e. in the same transaction). To be honest, I still do not understand, whether the prepayment is refunded in ether or gas.
Bitcoin is about taking responsibility of your own money. If you don't know how Bitcoin works, you don't actually own it. It's like "not your keys - not your coins", but "not your knowledge - not your coins".
Yes, that kind of instrument (with crypto under the hood) would not be perfect or "pure". However, people use cash or banks, which are perfect neither, and benefit from it. Anyway, we should better try to build it than try to guess how it will be used.
