ニュース
アルゴランド財団 1,000万ドルの開発ツール・スーパグラント
アルゴランド・エコシステムのトップチームによるハッカソン「HACKALGO」開催中(〜4月22日まで)
AlgorandとQuickNode、金融インフラを民主化するためのパートナーシップ締結
アルゴランド財団、「Zero to Hero PyTeal」無料コースを開始
Algorand Networkのアップグレードにより、スマートコントラクトの機能をコントラクト間コールで拡張、トラストレスなクロスチェーン相互運用のためのポスト量子セキュア・キーをリリース
Algorand State Proofs - ブロックチェーンの相互運用性とポスト量子セキュリティの実現に向けて
コントラクト・コール(Contract Call)のご紹介
State Proofsについて
Guardrail、AWS MarketplaceでAlgorandブロックチェーンの一般提供開始を発表
Hack Algo - アルゴランド・トップチーム主催のハッカソン
Runtime Verificationがアルゴランド財団のセキュリティ・パートナーに
Runtime Verification、アルゴランド財団のセキュリティ・パートナーに就任
Tech Circus、アルゴランド財団と提携し、世界をリードするブロックチェーン教育コンテンツを提供
Runtime Verification、アルゴランド・コミュニティ・ガバナンスの報酬契約を監査
Runtime Verificationとアルゴランド、アルゴランドのスマートコントラクト・エコシステムのためのフォーマル・ツール構築のための新たなエンゲージメントを発表
アルゴランドをフォーマルに検証:鋼鉄のチェーンを補強(モデリングと安全性) by Runtime Verification