mratsim

21 ms·

181.
by mratsim 5y ago
Thankfully DeFi doesn't require 3 days of settlement when you buy/sell an asset. Or 2 weeks to send a SWIFT. DeFi has a UX/UI, onboarding and fee problems, but the technology is about 2 years old and has tremendous momentum a
182.
by mratsim 5y ago
Time I'm investing in developing Ethereum led me to work on state of the art cryptography, acquire advanced peer-to-peer fault tolerant computing concept, exposed me to formal verification techniques, writing code expecting an hostile
183.
by mratsim 5y ago
A Ponzi is when the returns of early investors are "sustained" by the flux of new investors. A cashflow producing venture is not a Ponzi since that cashflow is supposed to ensure the returns of all investors.
184.
by mratsim 5y ago
Projects related to fixed income I know of are: - https://88mph.app/ - https://alchemix.fi/ - https://www.apwine.fi/ - And https://curve.fi/ allows for 4 years lockup of th
185.
by mratsim 5y ago
I'd like to add that there is a critical shortage of security auditors for smart contracts and blockchain protocols. Projects are willing to spend up to millions to squash away vulnerabilities. For example Balancer opened a bug bounty
186.
by mratsim 5y ago
To provide some parallel on how the research was carried about: I see it as similar to - allowing recording of people without their consent (or warrant), - experimenting on PTSD by inducing PTSD without people consent, - or medical experime
187.
by mratsim 5y ago
By your logic, you allow recording people without their consent, experimenting on PTSD by inducing PTSD without people consent, or medical experimentation without the subject consent. Try to introduce yourself in the White House and when yo
188.
by mratsim 6y ago
As a human being you are entitled to personal time.
189.
by mratsim 6y ago
It's a relevant answer to your personal attack "I don't think you've studied how the attack would work." My job is literally implementing proof-of-stake securely. Also when I work and implement an algorithm, I provi
190.
by mratsim 6y ago
Well of course they have to determine it themselves otherwise they are centralized and dependent on a third-party. Please expand on what you think is flawed and what are the downsides.
191.
by mratsim 6y ago
> I don't think you've studied how the attack would work. It's my day job to implement proof-of-stake https://github.com/status-im/nimbus-eth2/pull/865
192.
by mratsim 6y ago
The bribery can be solved with slashing and making it economically unviable to cede to bribery. Regarding plutocracy, it depends on proof-of-stake vs delegated-proof-of-stake. In one, everyone can become a staker and earnings are spread to
193.
by mratsim 6y ago
There can't be 2 equally valid chains or your protocol is buggy. One chain must have more votes from stakers than the other after a while.
194.
by mratsim 6y ago
The 3-by-2 division is from Burnikel and Ziegler [1][2] with a nice comparison from Hasselstrom between division approaches. OpenSSL has introduced another 3 by 2, but this one is written with constant-time concerns for cryptography [4] [1]
195.
by mratsim 6y ago
Tor browser
196.
by mratsim 6y ago
I think you have the chain of causality wrong. The Ethereum network is congested because it has users. Ethereum has the critical mass and first mover advantage. The clones need to be sufficiently attractive (10x ?) to break that hold, it&#x
197.
by mratsim 6y ago
It's the same when currencies around the world stopped using the gold standard and became floating across each other. I'd say the value of currencies is that you have to pay your taxes in one that is legal tender. In that case, th
198.
by mratsim 6y ago
Venezuela has a government-backed cryptocurrency, the Petro, which failed spectacularly: - https://en.wikipedia.org/wiki/Petro_(cryptocurrency) . In fact colleagues at Status went to Venezuela to check how payments work
199.
by mratsim 6y ago
Delegated proof-of-stake is worse than Proof-of-Stake or Proof-of-Work from a decentralization perspective as the "delegators" can bribe their way to stay in power. Some resources (they link to DPoS alternatives and discuss them):
200.
by mratsim 6y ago
It's likely that the shadiest people use cash though.
201.
by mratsim 6y ago
L2 can scale Eth2 as well. In fact Vitalik mentions often that scaling can go 100x with Eth2 and 100x with L2 for 10000x total scaling.
202.
by mratsim 6y ago
The word is misrepresenting the problem of synchronization and reducing to only memory safety. If it was that simple, Tokio wouldn't need to formally verify their implementation with an external tool and it wouldn't have found doz
203.
by mratsim 6y ago
Coming up with a new threadsafe queue design is worthy of a paper even though it's just enqueueing and dequeueing items. Memory safety is just a small part and is a much easier problem than ensuring the absence of race conditions.
204.
by mratsim 6y ago
> There are other kinds of concurrency bugs, such as poor use of locking primitives causing higher-level logical race conditions or deadlocks, and Rust can't eliminate them, but they're usually easier to diagnose and fix. Which
205.
by mratsim 6y ago
Ah I see.
206.
by mratsim 6y ago
The author of the talk, Vivek Sarkar, is co-author in both the X10 paper from 2004 and the Habanero paper of 2011. That's why those are not part of his influences, he co-wrote those papers.
207.
by mratsim 6y ago
X10 Programming language is from 2004, http://x10-lang.org/x10-community/publications-using-x10.htm... Habanero Java from 2011 https://www.cs.rice.edu/~vs3/PDF/hj-pppj11.pdf
208.
by mratsim 6y ago
Aren't all statically typed languages colored anyway? With something called a type. What's the point of using a type system if "color" is not a feature? It eases maintenance and working as a team. And regarding complains
209.
by mratsim 6y ago
I don't think you read my comment properly. I'm saying that shared memory parallelism has done its time even at the hardware level within a CPU. Most programming languages are using construct that assume memory coherency for synch
210.
by mratsim 6y ago
I checked my code dozens of times over days. I thought I had bugs in my code for sure, I couldn't believe glibc and musl had a bug. Then I decided to spend a couple days to learn formal verification, solved all the bugs it found. It wo

More ›