<p>https://www.youtube.com/watch?v=rx0NPckEWGI</p>
| author | kanabis420pm |
|---|---|
| permlink | formal-verification-of-smart-contracts-dr-christian-reitwiessner-ic3-ethereum-crypto-boot-camp |
| category | ethereum |
| json_metadata | {"tags":["ethereum"],"links":["https://www.youtube.com/watch?v=rx0NPckEWGI"]} |
| created | 2016-07-27 13:49:18 |
| last_update | 2016-07-27 13:49:18 |
| depth | 0 |
| children | 0 |
| last_payout | 2016-08-27 02:08:18 |
| cashout_time | 1969-12-31 23:59:59 |
| total_payout_value | 0.000 HBD |
| curator_payout_value | 0.000 HBD |
| pending_payout_value | 0.000 HBD |
| promoted | 0.000 HBD |
| body_length | 50 |
| author_reputation | -162,275,130,071 |
| root_title | "Formal Verification of Smart Contracts: Dr. Christian Reitwiessner - IC3-Ethereum Crypto Boot Camp" |
| beneficiaries | [] |
| max_accepted_payout | 1,000,000.000 HBD |
| percent_hbd | 10,000 |
| post_id | 404,323 |
| net_rshares | 80,963,824 |
| author_curate_reward | "" |
| voter | weight | wgt% | rshares | pct | time |
|---|---|---|---|---|---|
| cire81 | 0 | 2,499,652 | 100% | ||
| pax | 0 | 50,584,011 | 100% | ||
| kanabis420pm | 0 | 27,880,161 | 100% |
hiveblocks