Wow.. I'm a bit ashamed as I searched for algorithms on that topic but was obviously unable to get the right keywords to find that one.
Thanks for pointing it out. I will look into that one more deeply, but on the first glance its basically the same algorithm.
didnt read the whole comments; so sorry, if duplicate.
After a short review of the add function for handling of complex structs i found a possible bug as they miss to perform a deep copy of objects containing references to other objects. they would only copy the value of the pointers of a struct like that:
struct {
obj* ptr;
}
and not the content of ptr.
I agree in the point that its the task of the fv-system to take care of this, and so its a flaw in it, if its necessary.
imho,in this case it is a flaw, as the 'public' api function base64_encode wants the user to input pointer to 2 ptr to buffer with only for 1 given the length. and the code makes implicit assumption of the user input without checking it (encoded is manipulated).
Good example for the weaknesses of the 'formally verified' sale strategy. It may be formally correct, but the code is full of weaknesses, like no NULL checks, no out of bounds checks, one endless loop based on pointer arithmetic..
Referencing this post and your first:
The fact that bitcoins can be divided until 10^-8 is mainly the feature where the idea was relying. Your state of the power plant compare was right, but as bitcoins get divided the number of transaction will rise causing the blocks to get higher. sure they will settle at a current level, but this will provide the stability in its value.
the problem of the value is already present at the moment. Taking that simple example of the 10000BTC pizza, the Pizza service, if they still hold that amount, are now millionaires. but thats the point with every currency. but they use reforms to handle the problem, which requires an authority to control it, which will not be possible with btc.
Because it offers the opportunity to trade without the shadow market of banks and financial regulators which get pennys of every damn good you buy without doing something important.
the only problem is exchanging bitcoins which is the root of all evil for a non-backed per-trade-valued currency.