Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @MartinLundfall
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @MartinLundfall
-
Prikvačeni tweet
"Ownership" is a sloppy shorthand for a collection of rights that an agent has to some object. These rights are rarely as broad as "you can do anything you want with it" but invariably includes "you may exclude others from it"
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
This promotes Dai and Chai to first class Ethereum tokens. Front end distributed under AGPL at https://github.com/MrChico/stablecoin.services …. Feel free to reach out if you are interested in integrating with the api! Made by me,
@amcassetti with the support of Lev Livnev. Pixel art by@abbey_titcomb.Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Transaction fees are paid for in either Dai or Chai, and processed using the Dai Automated Clearing House contract, deployed here: https://etherscan.io/address/0x64043a98f097fD6ef0D3ad41588a6B0424723b3a … Api provided at http://api.stablecoin.services for integrating gas-free conveniences into other dapps:https://github.com/MrChico/stablecoin.services/blob/master/api-doc.md …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Introducing http://stablecoin.services
A site offering a collection of common Dai and Chai operations, gas-free. You can now:
- Transfer Dai or Chai
- Sell Dai -> Eth, Chai -> Eth on uniswap
- Convert Dai <-> Chai
without holding any Ether!
Read more at http://stablecoin.services/about.html Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Martin Lundfall proslijedio/la je Tweet
Floating points should never warrant the title "number". They don't share qualities fundamental to how numbers work.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Martin Lundfall proslijedio/la je Tweet
More details on the Formal Verification of
@ethereum 2.0 Deposit Smart Contract: http://bit.ly/2TJLNdX The final report is available here: http://bit.ly/38qm0M8 pic.twitter.com/jBHGhqG61n
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Here's the deposit contract in a gif: - white nodes: `zero_hashes` (on chain) - red nodes: `branch` (on chain) - blue nodes: historical data (off chain) - green nodes: computable using red and white Check out the full report from
@rv_inc here: https://github.com/runtimeverification/verified-smart-contracts/blob/master/deposit/deposit-formal-verification.pdf …pic.twitter.com/jwz7YtpGZXPrikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Here's the final state of our little (height=3) merkle tree, storing only 3 (non-constant) nodes on-chain. In the real deposit contract of height 32, we would of course keep going from here by filling up more subtrees to the right. 2^32 is slightly north of 4.2 billion entries.pic.twitter.com/VIGPe7WE6b
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
In the process, a number of bugs in both the contract implementation and the vyper compiler was discovered, which are disclosed in the report. These issues were promptly fixed by either the vyper development team, or by rewriting the contract to add extra checks.pic.twitter.com/iCaJcWu4SY
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
This is done in a suite of K specs that formally describes how the contract functions should update storage and what they should return. Here's the claims in human-readable form: https://github.com/runtimeverification/verified-smart-contracts/blob/master/deposit/bytecode-verification/deposit-spec.ini.md … These are then proven by symbolically exploring all possible execution pathspic.twitter.com/rj1F8iQdcM
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Besides checking that the optimized algorithm matches the "naïve" version (which stores every leaf directly), the main efforts of the verification endeavor dealt with verifying that the vyper generated bytecode actually implements the procedure correctly.pic.twitter.com/QGxZzpeHkk
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
A`deposit` is a SSZ object consisting of: - the validator public key (hot key) - the hash of a withdrawal key (cold key) - eth amount deposited - a signature for 1-3 SSZ objects are themselves merkle trees. Scientists believe it might actually be merkle trees all the way down
pic.twitter.com/goUjNPOTvK
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Notice that only one red node is added or changed for each entry. For validators putting up a deposit, this means that they only have to pay for one SSTORE. At no point will the contract contain more that 63 storage entries (31 zero hashes + 32 branch nodes).pic.twitter.com/0mYUt4hniy
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
As deposits are added, only red "branch nodes" are stored on chain, saving most leaves (or any blue node) to be recoverable via an emitted LOG. The first part of the verification shows this optimization to be safe – the root can always be recovered given the red and white nodes:pic.twitter.com/RR645oqZWq
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Deposits are added from left to right, in an "incremental merkle tree algorithm", which is space and time linear in the tree height. In order to compute the merkle root (or any green node), we only need the red nodes and the zero_hashes (white). After the first deposit, we have:pic.twitter.com/6KW80zs3Rl
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The contract keeps track of a Merkle tree of height 32, where each leaf can store the credentials of an aspiring eth2 validator and a deposit to use for staking. Initially, the leaves are empty. The nodes at height n are all equal, so we only store one per level: `zero_hashes[n]`pic.twitter.com/eG53dtBeWI
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Martin Lundfall proslijedio/la je Tweet
1/ 𝚛 𝚊 𝚍 𝚒 𝚌 𝚕 𝚎 > Towards decentralized code collaboration
Last April we launched Radicle alpha. After lots of experimentation, user feedback and support [love
], we're sharing a bigger update on where we are and where we're going.
https://radicle.xyz/towards-decentralized-code-collaboration.html …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Martin Lundfall proslijedio/la je Tweet
In an effort to spread categorical thinking, Statebox is organising a
#categorytheory course in March in#Berlin. Interested? Sign up here
https://training.statebox.org/ Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Martin Lundfall proslijedio/la je Tweet
The machines will betray you. I know because they whisper in my ear.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Martin Lundfall proslijedio/la je Tweet
Chosen-prefix collisions on SHA-1 for $45000https://twitter.com/IACR_News/status/1214482323808358400 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Martin Lundfall proslijedio/la je Tweet
People tweet all sorts of things about real numbers, especially when it comes to computation. I've studied the topic for years, and I often disagree with such statements. Let me address just one such statement: "A computer cannot represent all reals, only the computable ones."
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.