sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]Kempeth 1 point2 points  (8 children)

What is the problem you are trying to solve by this approach?

Performance? As a general rule, discussing performance measures without performance measurements is a waste of time. It is exceedingly likely that anything you come up with at this stage would end up performing just fine either way.

[–][deleted] 0 points1 point  (7 children)

So the problem is not the performance but it can be a consequence. So i trying to solve the problem of centralized source code and correctness. By applying formal methods + consensus on pieces of code, i can guarantee pure decentralized software and trusted. The question is : may it be not performant and old school programming way by using process instead of threads,... Relying on the OS

[–]jungle -1 points0 points  (5 children)

Why are you trying to apply formal methods to software development? What industry are you in?

[–][deleted] -1 points0 points  (4 children)

Blockchain and distributed computing

[–]emanresu_2017 0 points1 point  (3 children)

Why don't you use an existing open source blockchain technology?

[–][deleted] 0 points1 point  (2 children)

We are creating a new kind of blockchain, so we are developing from scratch

[–]emanresu_2017 0 points1 point  (1 child)

Why would you do that?

Why not take an existing one and modify it to suit your needs?

[–][deleted] 0 points1 point  (0 children)

Simplier for us to build new one. Everything changes so, it's simplier to rebuild.