GitHub - transmissions11/solcurity: Opinionated security and code quality standard for Solidity smart contracts.
Read the project's docs, specs, and whitepaper to understand what the smart contracts are meant to do. Construct a mental model of what you expect the contracts to look like before checking out the code. Glance over the contracts to get a sense of the project's architecture. Tools like Surya can come in handy. Compare the architecture to your mental model. Look into areas that are surprising. Crea
ZeppelinOSを評価する | ALIS
Ethereumデベロッパの間ではOpenZeppelin Solidity(旧: Zeppelin Solidity・ALISでもお世話になっている)で有名なZeppelinが新たにZeppelinOSをリリースしました。 ZeppelinOS is an operating system designed specifically for smart contracts. It provides an on-chain set of upgradeable standard libraries, and an incentive structure to continually upgrade and patch itself. (意訳: ZeppelinOSはスマートコントラクトに特化したOSです。更新可能なコントラクトを作成するための標準ライブラリを含み、スマートコントラクトの継続
ERC20トークンに起きた脆弱性問題について (BatchOverFlow) - Gunosy Blockchain Blog
はじめに こんにちは。新規事業開発室の山口 (@yamarkz) です。 ERC20に準拠したトークンコントラクトの脆弱性問題について4/25辺りからSNS上で大きな話題になりました。 ERC20速報:イーサリアムベースのプロジェクトが使用するERC20準拠のコントラクトのBatch Transfer関数のバグで取扱い数を超えるトークンをコスト0で生成し送金できるバグが発見される。実際にBeautyChainトークンの $BEC が数十兆を優に超える数が送金される #イーサリアム #ERC20 #仮想通貨 https://t.co/wy7eF7zFx5— 墨汁うまい(BlockchainUmai) (@bokujyuumai) 2018年4月25日 今回はこの脆弱性問題について技術的な観点からどういった問題なのかを解説していきたいと思います。 ERC20やトークンコントラクトの解説は下記記
Solidityでの時間表現の注意すべきポイントとそのテスト方法
Solidityでスマートコントラクトを記述する際に、何らかの時間依存関係を含むロジックを入れたい場合があります。例えば、「ICOである時間が経過したら応募をクローズする」といったロジックや「ゲームで次の相手と戦う場合は最低1時間待たなければならない」といったときに必要になります。 そこで、当記事では、このような条件をスマートコントラクトに入れたい場合はどのような表現方法があり、それをテストするためにはどのようにすればいいのか見ていきます。 また、スマートコントラクトで将来の特定の時間に関数を実行したり、定期的に処理を行うような方法について実装したい場合の解決策も紹介していきます。 Solidityにおける時間表現 Solidityにおいて呼び出した時点でのタイムスタンプを得る方法がいくつかあげられるので、まずはその表現方法について見ていきましょう。 例えば、javasciprtであればD
Solidityで配列の任意のデータを削除できない理由 - アルゴリズムとかオーダーとか
ethereumコミュニティーで、配列の途中のデータを削除して、全体を詰めたいのですがSolidityでどうやったらいいのですか？っていう質問があったので、いろいろと調べてみました。 結論としては、Solidityでは配列の要素を削除できません。 理由としてはgas代が予想できないほど膨れ上がる可能性があってなかなか難しいっていうのがわかりました。 ただ、gas代を無視すれば自分でそうした処理を書くことはできます。以降では実際に実装しながら理解したSolidityで配列の要素の削除が難しい理由を説明していきます。 なお、本記事で公開しているコードはいろいろな問題を含んでいますので実案件では利用しないでください。 1.普通に実装してみる 冒頭でも書きましたが、Solidity自体には配列の要素を削除するfunctionは用意されていません。ので自分で実装します。 一番単純なアルゴリズムとして
EthereumとContracts開発を取り巻くエコシステムの概要 - Gunosy Blockchain Blog
はじめに こんにちは、新規事業開発室の @yamarkz です。 今回はEthereumプラットフォーム上で動くアプリケーション(Smart contracts)の開発を取り巻くエコシステムを広く浅く紹介します。 はじめに Ethereum Smart contracts Contracts 開発 開発言語 Solidity Serpent Viper LLL 開発環境 (クライアント) geth Parity 開発サポート Remix (browser-solidity) Truffle & OpenZeppelin Truffle OpenZeppelin Etherscan Web3 Mist MetaMask Test & CI 参考にしているコントラクト開発 CryptoKitties Zilliqa Bread ALIS まとめ 最後に 宣伝 Ethereum Ethereum
DAICOの最初の実装を公開しました - DRI Blog
(English post is here) 数日前、Ethereumの開発者Vitalik Buterin氏によってDAICOが発表されました。DAICOで提案されているビジョンは、フェアなICOの未来を示しています。また、我々の開発するICOフレームワークであるRICOの思想と共通している点が多く、とても興味深いものです。 そこで私たちは、DAICOの最初の実装となるコードを書き、公開しました。これは、分散型のICOフレームワークであるRICOをベースに書かれています。具体的な実装をGithubで見ることができます。 注意：これは現在開発中のものであり、バグが含まれている可能性があります。 DAICOとは何かこれまでのICOには、詐欺的なICOや、資金調達後に全く進行が見られないICOが多く存在してきました。その理由として、プロジェクトが一度資金を集め終わると、その後は開発を進めること
Solidityのassertとrequireとrevertの違い - アルゴリズムとかオーダーとか
Solidityでは引数などの値の妥当性を検証するためにassertとrequire関数が用意されています。また、コードの実行をストップさせるためのrevert()関数もあります。今回はこれらの関数の挙動についてまとめてみました。 assert(condition) assert関数はconditionがfalseを返した場合、そこでcontractの実行を停止し、contractの状態を実行前に戻して残りのすべてのガスを消費します。 assertをコンパイルするとopcode=0xfeになり、evm上では0xfeは未定義のopcodeなので動作が停止されます。 require(condition) require関数はconsitiongafalseを返した場合、そこでcontractの実行を停止し、contractの状態を実行前に戻して残りのガスをcallerに返却します。 asser
Learning Solidity Part 1: Contract Dev with MetaMask
What you will need ✅ 1. The **Chrome** web browser - [Download here](https://www.google.com/chrome/browser/desktop/) 2. The **Metamask** Chrome extension - [Download here](https://chrome.google.com/webstore/detail/metamask/nkbihfbeogaeaoehlefnkodbefgpgknn) Metamask allows you to sign Ethereum transactions *without* running a full Geth node. Contract Programming Key Terms 🔥 #### ETH ETH is the mai
仮想子猫経済を支える ERC721
この記事は ブロックチェーン Advent Calendar 2017 の 18 日目の記事です。この記事では、近頃 Ethereum 界隈で人気を博している Ðapp「CryptoKitties」が利用している ERC721（※まだドラフト段階なので注意）というトークンの仕様について紹介するとともに、実装・動作確認を通して ERC721 に対する理解を深めていこうと思います。 CryptoKitties について この記事は CryptoKitties について説明するのが目的ではないので、ざっくりと紹介だけ。 まず、語弊を覚悟で一言でイメージを伝えると Blockchain 上で育てるたまごっち みたいなものです（え、たまごっちを知らないだって。。。？なんてこった。。。）。 これが、近頃 Ethereum 界隈で一大ブームを巻き起こしたというわけです。 ref. イーサリアム上で「仮想
Expressions and Control Structures — Solidity 0.6.3 documentation
Control Structures¶ Most of the control structures known from curly-braces languages are available in Solidity: There is: if, else, while, do, for, break, continue, return, with the usual semantics known from C or JavaScript. Solidity also supports exception handling in the form of try/catch-statements, but only for external function calls and contract creation calls. Parentheses can not be omitte
Decentralized autonomous organizations (DAOs) | ethereum.org
On this pageWhat are DAOs?A DAO is a collectively-owned organization working towards a shared mission. DAOs allow us to work with like-minded folks around the globe without trusting a benevolent leader to manage the funds or operations. There is no CEO who can spend funds on a whim or CFO who can manipulate the books. Instead, blockchain-based rules baked into the code define how the organization
ALISのICOについての技術的FAQ
こんにちは、ALIS CTOの石井です。 みなさまに応援していただき、ALISのICOは目標額の3.5億円を超える約4億円を調達できました。ありがとうございます。ICOにはEthereumを利用していますが、Ethereum上に構築したICO用スマートコントラクトについて多くの方から技術的な質問をいただいております。 せっかくなので、こちらにまとめます。 前提ICOを検討している組織や個人のエンジニアが対象です。(質問をいただいた方々がそうでしたので)ALISのICO用スマートコントラクトのコードへの質問が多いので、こちらをベースに回答いたします。Ethereum上で、Solidity、Truffle、openzeppelin-solidity、Gnosis:MultiSigWallet を使用しています。Contractのコードを書く時に参考にしているもの（サイトや書籍など）を教えていた
Style Guide — Solidity 0.5.13 documentation
Introduction¶ This guide is intended to provide coding conventions for writing solidity code. This guide should be thought of as an evolving document that will change over time as useful conventions are found and old conventions are rendered obsolete. Many projects will implement their own style guides. In the event of conflicts, project specific style guides take precedence. The structure and man
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
#1 Solidity Tutorial & Ethereum Blockchain Programming Course | CryptoZombies
Solidity with Test & CI