{"id":45801,"date":"2026-05-09T20:46:53","date_gmt":"2026-05-09T11:46:53","guid":{"rendered":"https:\/\/sipo.tokyo\/?p=45801"},"modified":"2026-05-09T20:46:54","modified_gmt":"2026-05-09T11:46:54","slug":"sipo-drep-io-cardano-high-assurance-202605","status":"publish","type":"post","link":"https:\/\/sipo.tokyo\/?p=45801","title":{"rendered":"SIPO DRep\uff1a\u300eIO: Cardano High Assurance Technical Collaboration\u300f\u63d0\u6848 \u2015 7 \u7d44\u7e54\u5354\u696d\u306b\u3088\u308b formal verification \u516c\u5171\u8ca1\u5316\u3001SIPO \u306f YES \u3092\u6295\u3058\u308b"},"content":{"rendered":"\n<div class=\"dp_toc_container pos-before_first_h allow-toggle\" role=\"navigation\" data-margin=\"30\"><p class=\"toc_title_block\"><span class=\"toc_title icon-list\">INDEX<\/span><span class=\"toc_toggle icon-up-open\" role=\"button\"><\/span><\/p><ul class=\"dp_toc_ul has_title\"><li><a href=\"#e381afe38198e38281e381ab-1\">\u306f\u3058\u3081\u306b<\/a><\/li><li><a href=\"#e68f90e6a188e381aee585a8e4bd93e5838f-2\">\u63d0\u6848\u306e\u5168\u4f53\u50cf<\/a><\/li><li><a href=\"#7-e7b584e7b994e58d94e6a5ade381aee6a78be980a0-3\">7 \u7d44\u7e54\u5354\u696d\u306e\u69cb\u9020<\/a><\/li><li><a href=\"#e382b9e382b3e383bce38397e8a995e4bea1-4\">\u30b9\u30b3\u30fc\u30d7\u8a55\u4fa1<\/a><ul><li><a href=\"#blaster-uplc-e383ace38399e383abe381a7e58b95e4bd9ce38199e3828b-formal-verification-e381aee6848fe591b3-5\">Blaster: UPLC \u30ec\u30d9\u30eb\u3067\u52d5\u4f5c\u3059\u308b formal verification \u306e\u610f\u5473<\/a><\/li><li><a href=\"#blaster-e381ae-production-e5ae9fe7b8be-6\">Blaster \u306e production \u5b9f\u7e3e<\/a><\/li><li><a href=\"#cbde-e6b8ace5ae9ae38195e3828ce3819f-60-70-e9968be799bae88085e99ba2e884b1e5958fe9a18ce381b8e381aee5afbee5bf9c-7\">CBDE: \u6e2c\u5b9a\u3055\u308c\u305f 60-70% \u958b\u767a\u8005\u96e2\u8131\u554f\u984c\u3078\u306e\u5bfe\u5fdc<\/a><\/li><\/ul><\/li><li><a href=\"#e382ace38390e3838ae383b3e382b9e6a78be980a0-8\">\u30ac\u30d0\u30ca\u30f3\u30b9\u69cb\u9020<\/a><\/li><li><a href=\"#cardano-2030-e695b4e59088-9\">Cardano 2030 \u6574\u5408<\/a><\/li><li><a href=\"#e4ba88e7ae97e8a68fe5be8b-10\">\u4e88\u7b97\u898f\u5f8b<\/a><\/li><li><a href=\"#e382b9e382bfe383b3e382b9e4b880e8b2abe680a7-11\">\u30b9\u30bf\u30f3\u30b9\u4e00\u8cab\u6027<\/a><\/li><li><a href=\"#e69c9fe5be85e4ba8be9a085efbc88yes-e381abe381afe6988ee7a2bae381aae69da1e4bbb6e3818ce4bcb4e38186efbc89-12\">\u671f\u5f85\u4e8b\u9805\uff08YES \u306b\u306f\u660e\u78ba\u306a\u6761\u4ef6\u304c\u4f34\u3046\uff09<\/a><\/li><li><a href=\"#e7b590e381b3-13\">\u7d50\u3073<\/a><\/li><li><a href=\"#sipo-drep-why-we-vote-yes-on-io-cardano-high-assurance-technical-collaboration-14\">SIPO DRep: Why We Vote YES on &#8220;IO: Cardano High Assurance Technical Collaboration&#8221;<\/a><\/li><li><a href=\"#introduction-15\">Introduction<\/a><\/li><li><a href=\"#why-sipo-votes-yes-16\">Why SIPO Votes YES<\/a><\/li><li><a href=\"#expectations-17\">Expectations<\/a><\/li><li><a href=\"#closing-18\">Closing<\/a><\/li><li><a href=\"#references-19\">References<\/a><\/li><\/ul><\/div><h2 class=\"wp-block-heading deb-block deb-block-f44591f\" id=\"e381afe38198e38281e381ab-1\">\u306f\u3058\u3081\u306b<\/h2>\n\n\n\n<p class=\"deb-block deb-block-d1cf8c3\">2026\u5e744\u670822\u65e5\uff08\u30a8\u30dd\u30c3\u30af626\uff09\u306b\u63d0\u51fa\u3055\u308c\u305f\u30ac\u30d0\u30ca\u30f3\u30b9\u30a2\u30af\u30b7\u30e7\u30f3\u300cIO: Cardano High Assurance Technical Collaboration\u300d\u306b\u3064\u3044\u3066\u3001SIPO DRep \u3068\u3057\u3066\u306e\u5206\u6790\u3068\u5224\u65ad\u3092\u304a\u4f1d\u3048\u3057\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-7861dc9\">\u672c\u63d0\u6848\u306f\u3001Input Output (IO) \u3092\u542b\u3080 <strong>7 \u7d44\u7e54\u306e\u5354\u696d<\/strong> \u306b\u3088\u3063\u3066\u63d0\u51fa\u3055\u308c\u305f Treasury Withdrawal \u63d0\u6848\u3067\u3042\u308a\u3001\u7533\u8acb\u984d\u306f <strong>\u20b313,078,578\uff08USD $3,138,859\u3001$0.24\/ADA \u63db\u7b97\uff09<\/strong> \u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-ee90375\">\u53c2\u52a0\u7d44\u7e54: <strong>IO + Lantr (Scalus) + Harmonic Labs (Pebble) + SAIB (Futura) + Midgard Labs (Aiken) + TxPipe + No.Witness Labs<\/strong><\/p>\n\n\n\n<p class=\"deb-block deb-block-7f70236\">\u7d50\u8ad6\u304b\u3089\u7533\u3057\u4e0a\u3052\u307e\u3059\u3002<strong>SIPO \u306f\u672c\u63d0\u6848\u306b\u8cdb\u6210\uff08YES\uff09\u3092\u6295\u3058\u307e\u3059\u3002<\/strong><\/p>\n\n\n\n<p class=\"deb-block deb-block-d1683f7\">\u672c\u63d0\u6848\u306f <strong>\u672c\u30e9\u30a6\u30f3\u30c9\u306b\u304a\u3051\u308b\u6700\u3082\u5148\u9032\u7684\u306a stewardship \u5206\u6563\u306e\u4e8b\u4f8b<\/strong> \u3067\u3059\u3002SIPO \u304c\u3053\u308c\u307e\u3067\u652f\u6301\u3057\u3066\u304d\u305f\u30d1\u30bf\u30fc\u30f3\uff08HLabs Pebble + Gerolamo\u3001Ensurable Systems \u3068\u306e IO Cardano Upgrades co-venture\u3001VacuumLabs \u3068\u306e Enhancing Plutus co-venture\uff09\u3092\u3001\u672c\u63d0\u6848\u306f <strong>7 \u7d44\u7e54\u5354\u696d\u3078\u3068\u66f4\u306b\u62e1\u5f35<\/strong> \u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity deb-block deb-block-e504f2c\"\/>\n\n\n\n<h2 class=\"wp-block-heading deb-block deb-block-b6fea1e\" id=\"e68f90e6a188e381aee585a8e4bd93e5838f-2\">\u63d0\u6848\u306e\u5168\u4f53\u50cf<\/h2>\n\n\n\n<figure class=\"wp-block-table deb-block deb-block-0707169\"><table><thead><tr><th>\u9805\u76ee<\/th><th>\u5185\u5bb9<\/th><\/tr><\/thead><tbody><tr><td>\u63d0\u6848\u540d<\/td><td>IO: Cardano High Assurance Technical Collaboration<\/td><\/tr><tr><td>\u30bf\u30a4\u30d7<\/td><td>Treasury Withdrawal<\/td><\/tr><tr><td>\u7533\u8acb\u984d<\/td><td>\u20b313,078,578\uff08USD $3,138,859\u3001$0.24\/ADA \u63db\u7b97\uff09<\/td><\/tr><tr><td>\u63d0\u6848\u8005<\/td><td>Input Output Global + 6 ecosystem partners<\/td><\/tr><tr><td>\u671f\u9593<\/td><td>Q3 2026 \u301c Q2 2027<\/td><\/tr><tr><td>\u7ba1\u7406<\/td><td>Intersect \/ Sundae Labs treasury-contracts<\/td><\/tr><tr><td>\u63d0\u51fa<\/td><td>2026\u5e744\u670822\u65e5\uff08Epoch 626\uff09<\/td><\/tr><tr><td>\u5931\u52b9<\/td><td>2026\u5e745\u670825\u65e5\uff08Epoch 633\uff09<\/td><\/tr><tr><td>Governance Action ID<\/td><td>gov_action1w0shrfxqwv95kk0v4cn34wylz25a2cmqkq5jpc0e2yrahhqava3q2yd5rxu<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<p class=\"deb-block deb-block-4c76659\"><strong>2 \u3064\u306e\u30ef\u30fc\u30af\u30b9\u30c8\u30ea\u30fc\u30e0:<\/strong><\/p>\n\n\n\n<figure class=\"wp-block-table deb-block deb-block-2a550e7\"><table><thead><tr><th>WS<\/th><th>\u540d\u79f0<\/th><th>\u898f\u6a21<\/th><th>\u5185\u5bb9<\/th><\/tr><\/thead><tbody><tr><td>WS1<\/td><td><strong>Blaster<\/strong> (formal verification)<\/td><td>\u20b310,112,037<\/td><td>\u5358\u4e00\u30b9\u30af\u30ea\u30d7\u30c8\u304b\u3089 DApp \u30ec\u30d9\u30eb verification \u62e1\u5f35 \/ 4 \u8a00\u8a9e\u7d71\u5408 \/ VS Code Extension \/ Common Vulnerability Library \/ Equivalence Checking<\/td><\/tr><tr><td>WS2<\/td><td><strong>CBDE<\/strong> (Container-Based Developer Environment)<\/td><td>\u20b32,966,541<\/td><td>1 \u30b3\u30de\u30f3\u30c9\u3067\u5b8c\u5168\u306a High Assurance toolchain \u30bb\u30c3\u30c8\u30a2\u30c3\u30d7<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity deb-block deb-block-76a6b37\"\/>\n\n\n\n<h2 class=\"wp-block-heading deb-block deb-block-ff97f21\" id=\"7-e7b584e7b994e58d94e6a5ade381aee6a78be980a0-3\">7 \u7d44\u7e54\u5354\u696d\u306e\u69cb\u9020<\/h2>\n\n\n\n<figure class=\"wp-block-table deb-block deb-block-6d077b5\"><table><thead><tr><th>\u30d1\u30fc\u30c8\u30ca\u30fc<\/th><th>\u62c5\u5f53\u30b3\u30f3\u30dd\u30fc\u30cd\u30f3\u30c8<\/th><\/tr><\/thead><tbody><tr><td><strong>Input Output<\/strong><\/td><td>Aiken integration\u3001coordination\u3001Plinth integration<\/td><\/tr><tr><td><strong>Lantr<\/strong><\/td><td>Scalus \u8a00\u8a9e\u3068\u306e Blaster \u7d71\u5408<\/td><\/tr><tr><td><strong>Harmonic Labs<\/strong><\/td><td>Pebble \u8a00\u8a9e\u3068\u306e Blaster \u7d71\u5408<\/td><\/tr><tr><td><strong>SAIB<\/strong><\/td><td>Futura \u8a00\u8a9e\u3068\u306e Blaster \u7d71\u5408<\/td><\/tr><tr><td><strong>Midgard Labs<\/strong><\/td><td>Aiken integration \u3078\u306e\u53c2\u52a0<\/td><\/tr><tr><td><strong>TxPipe<\/strong><\/td><td>Proof reconstruction module\u3001Common Vulnerability Library \u5171\u540c\u958b\u767a<\/td><\/tr><tr><td><strong>No.Witness Labs<\/strong><\/td><td>Common Vulnerability Library \u4e3b\u5c0e\u958b\u767a<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<p class=\"deb-block deb-block-9f6bd1a\">\u3053\u308c\u306f\u300cIO\u3068\u30b3\u30f3\u30b5\u30eb\u30bf\u30f3\u30c8\u300d\u95a2\u4fc2\u3067\u306f\u306a\u304f\u3001<strong>Cardano \u5c02\u9580\u30c1\u30fc\u30e0\u306e consortium<\/strong> \u304c\u5171\u6709\u516c\u5171\u30a4\u30f3\u30d5\u30e9\u306b\u5bfe\u3059\u308b maintenance \u3068 delivery \u8cac\u4efb\u3092\u5206\u62c5\u3059\u308b\u3001\u672c\u683c\u7684\u306a\u591a\u7d44\u7e54\u5354\u696d\u69cb\u9020\u3067\u3059\u3002<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity deb-block deb-block-c3e78fe\"\/>\n\n\n\n<h2 class=\"wp-block-heading deb-block deb-block-453975a\" id=\"e382b9e382b3e383bce38397e8a995e4bea1-4\">\u30b9\u30b3\u30fc\u30d7\u8a55\u4fa1<\/h2>\n\n\n\n<h3 class=\"wp-block-heading deb-block deb-block-f5eeb8d\" id=\"blaster-uplc-e383ace38399e383abe381a7e58b95e4bd9ce38199e3828b-formal-verification-e381aee6848fe591b3-5\">Blaster: UPLC \u30ec\u30d9\u30eb\u3067\u52d5\u4f5c\u3059\u308b formal verification \u306e\u610f\u5473<\/h3>\n\n\n\n<p class=\"deb-block deb-block-5c0e814\"><strong>Untyped Plutus Core (UPLC)<\/strong> \u306f\u3001Aiken\u3001Pebble\u3001Scalus\u3001Futura\u3001Plinth \u306e\u5171\u901a\u30b3\u30f3\u30d1\u30a4\u30eb\u5148\u3067\u3059\u3002Blaster \u304c UPLC \u30ec\u30d9\u30eb\u3067\u52d5\u4f5c\u3059\u308b\u3053\u3068\u3067\u3001<strong>\u7279\u5b9a\u306e\u8a00\u8a9e\u3092\u512a\u9047\u305b\u305a\u3001smart-contract \u8a00\u8a9e\u30a8\u30b3\u30b7\u30b9\u30c6\u30e0\u5168\u4f53\u3092\u540c\u6642\u306b\u652f\u63f4<\/strong> \u3067\u304d\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-7472131\">\u3053\u308c\u306f SIPO \u306e\u30ce\u30fc\u30c9\u591a\u69d8\u6027\u30c9\u30af\u30c8\u30ea\u30f3\u3092\u76f4\u63a5\u62e1\u5f35\u3059\u308b\u8ad6\u7406\u3067\u3059\uff1a<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li><strong>\u5408\u610f\u5c64 (consensus)<\/strong>: Amaru (Rust) + Dingo (Go) \u3067 alt-clients \u591a\u69d8\u6027<\/li><li><strong>smart contract \u5c64<\/strong>: Aiken \/ Pebble \/ Scalus \/ Futura \/ Plinth \u3067\u8a00\u8a9e\u591a\u69d8\u6027<\/li><li><strong>verification \u5c64<\/strong>: UPLC \u30ec\u30d9\u30eb\u306e Blaster \u304c <strong>\u5168\u8a00\u8a9e\u3092\u5e73\u7b49\u306b\u652f\u63f4<\/strong><\/li><\/ul>\n\n\n\n<p class=\"deb-block deb-block-d135a23\">\u3053\u306e 3 \u5c64\u591a\u69d8\u6027\u304c\u5b8c\u6210\u3059\u308b\u3053\u3068\u3067\u3001Cardano \u306f\u300c\u5358\u4e00\u5b9f\u88c5\u30ea\u30b9\u30af\u300d\u3092\u69cb\u9020\u7684\u306b\u8efd\u6e1b\u3057\u305f\u6700\u3082\u6210\u719f\u3057\u305f\u30d6\u30ed\u30c3\u30af\u30c1\u30a7\u30fc\u30f3\u30a8\u30b3\u30b7\u30b9\u30c6\u30e0\u3068\u306a\u308a\u307e\u3059\u3002<\/p>\n\n\n\n<h3 class=\"wp-block-heading deb-block deb-block-fad24e0\" id=\"blaster-e381ae-production-e5ae9fe7b8be-6\">Blaster \u306e production \u5b9f\u7e3e<\/h3>\n\n\n\n<p class=\"deb-block deb-block-2aa58c0\">Blaster \u306f\u65e2\u306b\u4ee5\u4e0b\u306e production DApp \u3067 correctness properties \u3092\u8a3c\u660e\u6e08\u307f\u3067\u3059\uff1a<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li><strong>Djed<\/strong> \u2014 Cardano \u306e overcollateralized stablecoin<\/li><li><strong>USDCx<\/strong> \u2014 Cardano \u4e0a\u306e wrapped USDC<\/li><\/ul>\n\n\n\n<p class=\"deb-block deb-block-46a4d39\">\u3053\u308c\u306f\u300c\u30ea\u30b5\u30fc\u30c1 bet\u300d\u3067\u306f\u306a\u304f\u3001<strong>\u65e2\u306b\u52d5\u4f5c\u3059\u308b\u30c4\u30fc\u30eb\u306e\u30d7\u30ed\u30c0\u30af\u30c8\u5316<\/strong> \u3067\u3059\u3002\u672c\u63d0\u6848\u306f\u5358\u4e00\u30b9\u30af\u30ea\u30d7\u30c8\u304b\u3089 DApp \u30ec\u30d9\u30eb multi-script verification \u3078\u306e\u62e1\u5f35\u30014 \u8a00\u8a9e VS Code Extension\u3001Common Vulnerability Library\uff08DEX\u3001bridge\u3001lending\u3001NFT minting \u30ab\u30c6\u30b4\u30ea\u306e\u30c6\u30f3\u30d7\u30ec\u30fc\u30c8\uff09\u3001Equivalence Checking Tool \u3092\u63d0\u4f9b\u3057\u307e\u3059\u3002<\/p>\n\n\n\n<h3 class=\"wp-block-heading deb-block deb-block-556c280\" id=\"cbde-e6b8ace5ae9ae38195e3828ce3819f-60-70-e9968be799bae88085e99ba2e884b1e5958fe9a18ce381b8e381aee5afbee5bf9c-7\">CBDE: \u6e2c\u5b9a\u3055\u308c\u305f 60-70% \u958b\u767a\u8005\u96e2\u8131\u554f\u984c\u3078\u306e\u5bfe\u5fdc<\/h3>\n\n\n\n<p class=\"deb-block deb-block-bf0914b\">\u63d0\u6848\u66f8\u306f <strong>Nix \u30bb\u30c3\u30c8\u30a2\u30c3\u30d7\u4e2d\u306b 60-70% \u306e\u958b\u767a\u8005\u304c\u96e2\u8131\u3059\u308b<\/strong> \u3053\u3068\u3092\u6587\u66f8\u5316\u3057\u3066\u3044\u307e\u3059\u3002CBDE \u306f\u74b0\u5883\u8a2d\u5b9a\u3092 <strong>\u6570\u65e5\u304b\u3089 60 \u79d2\u306e\u5358\u4e00\u30b3\u30de\u30f3\u30c9\u521d\u671f\u5316\u306b\u5727\u7e2e<\/strong> \u3057\u3001\u4ee5\u4e0b\u3092\u76ee\u6a19\u3068\u3057\u3066\u3044\u307e\u3059\uff1a<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>\u96e2\u8131\u7387\u3092 20% \u672a\u6e80\u306b\u524a\u6e1b<\/li><li>12 \u30f6\u6708\u4ee5\u5185\u306b\u30a2\u30af\u30c6\u30a3\u30d6 Plinth \u958b\u767a\u8005 3-5 \u500d\u5897<\/li><\/ul>\n\n\n\n<p class=\"deb-block deb-block-43ef888\">CBDE \u306f\u672c\u30e9\u30a6\u30f3\u30c9\u3067 SIPO \u304c\u540c\u69d8\u306b YES \u3092\u6295\u3058\u308b <strong>Developer Experience Initiative<\/strong> \u3068\u76f4\u63a5\u63a5\u7d9a\u3057\u307e\u3059\u3002<strong>cardano-init \u306f High Assurance toolchain \u30d7\u30e9\u30b0\u30a4\u30f3\u30a2\u30fc\u30ad\u30c6\u30af\u30c1\u30e3\u306e\u7d71\u5408\u70b9<\/strong> \u3068\u3057\u3066\u8a2d\u8a08\u3055\u308c\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity deb-block deb-block-2344e9a\"\/>\n\n\n\n<h2 class=\"wp-block-heading deb-block deb-block-a85da6a\" id=\"e382ace38390e3838ae383b3e382b9e6a78be980a0-8\">\u30ac\u30d0\u30ca\u30f3\u30b9\u69cb\u9020<\/h2>\n\n\n\n<p class=\"deb-block deb-block-cb13d3a\">\u672c\u63d0\u6848\u306e\u30ac\u30d0\u30ca\u30f3\u30b9\u69cb\u9020\u306f SIPO \u304c\u904e\u53bb\u306b\u627f\u8a8d\u3057\u3066\u304d\u305f\u6a19\u6e96\u3068\u5b8c\u5168\u306b\u540c\u4e00\u3067\u3059\u3002<\/p>\n\n\n\n<figure class=\"wp-block-table deb-block deb-block-3afb08c\"><table><thead><tr><th>\u9805\u76ee<\/th><th>\u5185\u5bb9<\/th><\/tr><\/thead><tbody><tr><td>\u7ba1\u7406\u8005<\/td><td>Intersect\uff083 admin + 2 leadership \u5f79\u5272\uff09<\/td><\/tr><tr><td>Smart Contract<\/td><td>Sundae Labs treasury-contracts\uff08TxPipe \/ MLabs \u76e3\u67fb\u6e08\u307f\uff09<\/td><\/tr><tr><td>Oversight Committee<\/td><td>Sundae Labs \/ Cardano Foundation \/ Dquadrant \/ Xerberus \/ NMKR<\/td><\/tr><tr><td>\u7b2c\u4e09\u8005 Assurer<\/td><td>milestone-based \u76e3\u67fb<\/td><\/tr><tr><td>Refund Clause<\/td><td>\u672a\u4f7f\u7528\u8cc7\u91d1\u306f\u6bd4\u4f8b\u8fd4\u9084<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity deb-block deb-block-6afdf43\"\/>\n\n\n\n<h2 class=\"wp-block-heading deb-block deb-block-d7c6687\" id=\"cardano-2030-e695b4e59088-9\">Cardano 2030 \u6574\u5408<\/h2>\n\n\n\n<figure class=\"wp-block-table deb-block deb-block-c632ee9\"><table><thead><tr><th>Pillar<\/th><th>\u6574\u5408\u5ea6<\/th><th>\u5185\u5bb9<\/th><\/tr><\/thead><tbody><tr><td>Pillar 1: Infrastructure &amp; Research Excellence<\/td><td>Yes: Fully<\/td><td>Lean-Blaster \u306f Lean4 \u5411\u3051\u6700\u826f verification backend\u3001shared public infrastructure<\/td><\/tr><tr><td>Pillar 2: Adoption &amp; Utility<\/td><td>Yes: Fully<\/td><td>CBDE \u3067 multi-day setup \u2192 60 \u79d2\u3001formal verification \u3092 background \u306a\u3057\u306e\u958b\u767a\u8005\u306b\u3082 accessible \u306b<\/td><\/tr><tr><td>Pillar 3: Governance<\/td><td>N\/A<\/td><td>\u2014<\/td><\/tr><tr><td>Pillar 4: Community &amp; Ecosystem Growth<\/td><td>Yes: Fully<\/td><td>7 \u7d44\u7e54 consortium\u3001Universal Annotation Language \u3067\u5c06\u6765\u306e\u8a00\u8a9e\u30c1\u30fc\u30e0\u306e\u7d71\u5408\u969c\u58c1\u4f4e\u4e0b\u3001CBDE community beta<\/td><\/tr><tr><td>Pillar 5: Ecosystem Sustainability &amp; Resilience<\/td><td>Yes: Partially<\/td><td>\u5171\u6709\u516c\u5171\u30a4\u30f3\u30d5\u30e9\u5316\u3067\u5358\u4e00\u30c1\u30fc\u30e0\u4f9d\u5b58\u89e3\u6d88<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<p class=\"deb-block deb-block-dcc849b\"><strong>Pillar 1, 2, 4 \u306e 3 \u3064\u3067\u300cYes: Fully\u300d<\/strong> \u3068\u3044\u3046\u3001\u6975\u3081\u3066\u9ad8\u3044\u6574\u5408\u6027\u3002<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity deb-block deb-block-a2b3e22\"\/>\n\n\n\n<h2 class=\"wp-block-heading deb-block deb-block-e08d39d\" id=\"e4ba88e7ae97e8a68fe5be8b-10\">\u4e88\u7b97\u898f\u5f8b<\/h2>\n\n\n\n<figure class=\"wp-block-table deb-block deb-block-8a47a59\"><table><thead><tr><th>\u914d\u5206<\/th><th>ADA<\/th><th>\u6bd4\u7387<\/th><\/tr><\/thead><tbody><tr><td>Development<\/td><td>\u20b311,247,577<\/td><td>86%<\/td><\/tr><tr><td>Engagement &amp; Ecosystem support<\/td><td>\u20b3784,715<\/td><td>6%<\/td><\/tr><tr><td>Operations &amp; Delivery<\/td><td>\u20b3392,357<\/td><td>3%<\/td><\/tr><tr><td>Infrastructure<\/td><td>\u20b3130,786<\/td><td>1%<\/td><\/tr><tr><td>Security &amp; Audits<\/td><td>\u20b3130,786<\/td><td>1%<\/td><\/tr><tr><td>Legal &amp; Compliance<\/td><td>\u20b3130,786<\/td><td>1%<\/td><\/tr><tr><td>Governance<\/td><td>\u20b3130,786<\/td><td>1%<\/td><\/tr><tr><td>Others<\/td><td>\u20b3130,786<\/td><td>1%<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<p class=\"deb-block deb-block-270c784\">86% Development \u914d\u5206\u306f IO \u306e\u4ed6 Treasury withdrawals \u3068\u6574\u5408\u3059\u308b\u6a19\u6e96\u3002Net Change Limit \u306b\u53ce\u307e\u308a\u307e\u3059\u3002<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity deb-block deb-block-a3b359d\"\/>\n\n\n\n<h2 class=\"wp-block-heading deb-block deb-block-0cc97aa\" id=\"e382b9e382bfe383b3e382b9e4b880e8b2abe680a7-11\">\u30b9\u30bf\u30f3\u30b9\u4e00\u8cab\u6027<\/h2>\n\n\n\n<p class=\"deb-block deb-block-e4a3199\">SIPO \u306e YES \u6295\u7968\u306f\u3001\u904e\u53bb\u306e\u4ee5\u4e0b\u306e\u6295\u7968\u5224\u65ad\u3068\u8ad6\u7406\u7684\u306b\u9996\u5c3e\u4e00\u8cab\u3057\u3066\u3044\u307e\u3059\uff1a<\/p>\n\n\n\n<figure class=\"wp-block-table deb-block deb-block-42b25c1\"><table><thead><tr><th>\u904e\u53bb YES<\/th><th>\u8a72\u5f53\u8ef8<\/th><th>\u672c\u63d0\u6848\u3068\u306e\u95a2\u4fc2<\/th><\/tr><\/thead><tbody><tr><td>Amaru \/ Dingo<\/td><td>\u30d7\u30ed\u30c8\u30b3\u30eb\u591a\u69d8\u6027<\/td><td>smart contract \u8a00\u8a9e\u5c64\u3078\u306e\u591a\u69d8\u6027\u30c9\u30af\u30c8\u30ea\u30f3\u62e1\u5f35<\/td><\/tr><tr><td>HLabs Pebble + Gerolamo<\/td><td>Stewardship \u5206\u6563<\/td><td>HLabs\uff08Pebble\uff09\u304c\u672c\u63d0\u6848\u306b\u3082\u30d1\u30fc\u30c8\u30ca\u30fc\u53c2\u52a0<\/td><\/tr><tr><td>Cardano Critical Integrations<\/td><td>\u30a8\u30b3\u30b7\u30b9\u30c6\u30e0\u7d71\u5408<\/td><td>7 \u7d44\u7e54\u5354\u696d\u306b\u3088\u308b\u7d71\u5408<\/td><\/tr><tr><td>L2 Scalability Initiative\uff08\u672c\u30e9\u30a6\u30f3\u30c9 YES\uff09<\/td><td>\u30a8\u30b3\u30b7\u30b9\u30c6\u30e0\u6210\u9577<\/td><td>Midgard Labs \u304c\u672c\u63d0\u6848\u306b\u3082 Aiken \u7d71\u5408\u3067\u53c2\u52a0<\/td><\/tr><tr><td>Developer Experience Initiative\uff08\u672c\u30e9\u30a6\u30f3\u30c9 YES\uff09<\/td><td>\u30a8\u30b3\u30b7\u30b9\u30c6\u30e0\u6210\u9577<\/td><td>cardano-init plugin \u3067\u9023\u643a<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity deb-block deb-block-cb3ecb6\"\/>\n\n\n\n<h2 class=\"wp-block-heading deb-block deb-block-48ffbbb\" id=\"e69c9fe5be85e4ba8be9a085efbc88yes-e381abe381afe6988ee7a2bae381aae69da1e4bbb6e3818ce4bcb4e38186efbc89-12\">\u671f\u5f85\u4e8b\u9805\uff08YES \u306b\u306f\u660e\u78ba\u306a\u6761\u4ef6\u304c\u4f34\u3046\uff09<\/h2>\n\n\n\n<p class=\"deb-block deb-block-9fd359b\">SIPO \u306e YES \u306f\u7121\u6761\u4ef6\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002\u4ee5\u4e0b\u3092\u62d8\u675f\u529b\u306e\u3042\u308b\u904b\u7528\u4e0a\u306e\u30b3\u30df\u30c3\u30c8\u30e1\u30f3\u30c8\u3068\u3057\u3066\u671f\u5f85\u3057\u307e\u3059\uff1a<\/p>\n\n\n\n<ol class=\"wp-block-list\"><li><strong>7 \u30d1\u30fc\u30c8\u30ca\u30fc\u30de\u30a4\u30eb\u30b9\u30c8\u30fc\u30f3\u900f\u660e\u6027<\/strong>\uff1a\u3044\u305a\u308c\u304b\u306e\u30d1\u30fc\u30c8\u30ca\u30fc\u304b\u3089\u306e\u9045\u5ef6\u30ea\u30b9\u30af\u306f\u5b9f\u5728\u3002\u5404\u30d1\u30fc\u30c8\u30ca\u30fc\u306e\u8ca2\u732e\u304c\u516c\u958b\u8ffd\u8de1\u3055\u308c\u3001\u8cac\u4efb\u6240\u5728\u304c\u660e\u78ba\u306b\u53ef\u8996\u5316\u3055\u308c\u308b\u3053\u3068<\/li><\/ol>\n\n\n\n<ol class=\"wp-block-list\"><li><strong>Common Vulnerability Library \u5916\u90e8\u76e3\u67fb\u4f1a\u793e\u306e\u53c2\u753b<\/strong>\uff1aQ2 2027 \u307e\u3067\u306b\u5c11\u306a\u304f\u3068\u3082 2 \u793e\u306e\u5916\u90e8 Cardano \u76e3\u67fb\u4f1a\u793e\uff08\u6307\u540d\u30d1\u30fc\u30c8\u30ca\u30fc\u306b\u52a0\u3048\u3066\uff09\u304c\u8ca2\u732e\u8005\u3068\u3057\u3066\u78ba\u5b9a<\/li><\/ol>\n\n\n\n<ol class=\"wp-block-list\"><li><strong>DApp Proof Framework Q2 2027 demo \u3068 TWAG 1 examples<\/strong>\uff1a\u5c11\u306a\u304f\u3068\u3082 3 \u3064\u306e TWAG 1 ready-to-audit examples \u3068\u5b8c\u5168\u306a proofs \u304c\u30b3\u30df\u30e5\u30cb\u30c6\u30a3\u306b\u53ef\u8996\u5316\uff08\u5185\u90e8\u30c7\u30e2\u3067\u306f\u306a\u304f\uff09<\/li><\/ol>\n\n\n\n<ol class=\"wp-block-list\"><li><strong>Plinth \u958b\u767a\u8005\u63a1\u7528\u30d9\u30fc\u30b9\u30e9\u30a4\u30f3\u306e\u958b\u793a<\/strong>\uff1aCBDE V1.0 \u30ea\u30ea\u30fc\u30b9\uff08Q2 2027\uff09\u524d\u306b\u3001\u30d9\u30fc\u30b9\u30e9\u30a4\u30f3\uff08\u73fe\u5728\u306e\u30a2\u30af\u30c6\u30a3\u30d6 Plinth \u958b\u767a\u8005\u6570\u3001\u6e2c\u5b9a\u65b9\u6cd5\u8ad6\uff09\u516c\u958b<\/li><\/ol>\n\n\n\n<ol class=\"wp-block-list\"><li><strong>Developer Experience Initiative \u3068\u306e\u9023\u643a<\/strong>\uff1acardano-init \u30d7\u30e9\u30b0\u30a4\u30f3\u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30fc\u30b9\u304c\u6642\u9593\u7684\u306b\u8a2d\u8a08\u3055\u308c\u3001CBDE \u3068 Blaster \u304c clean \u306b\u7d71\u5408<\/li><\/ol>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity deb-block deb-block-9c8d618\"\/>\n\n\n\n<h2 class=\"wp-block-heading deb-block deb-block-324c805\" id=\"e7b590e381b3-13\">\u7d50\u3073<\/h2>\n\n\n\n<p class=\"deb-block deb-block-a25ddf9\">\u672c\u63d0\u6848\u306f\u3001SIPO \u306e\u30ce\u30fc\u30c9\u591a\u69d8\u6027\u30c9\u30af\u30c8\u30ea\u30f3\u3092 <strong>\u5408\u610f\u5c64 alt-clients \u304b\u3089 smart-contract \u8a00\u8a9e\u3068 formal-verification \u5c64<\/strong> \u306b\u62e1\u5f35\u3057\u3001<strong>7 \u7d44\u7e54\u304c\u5358\u4e00\u306e\u30b3\u30d2\u30fc\u30ec\u30f3\u30c8\u306a\u30c4\u30fc\u30eb\u30c1\u30a7\u30fc\u30f3\u306e stewardship \u3092\u5171\u6709<\/strong> \u3059\u308b\u3082\u306e\u3067\u3059\u3002<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li><strong>Blaster \u306e Djed \u3068 USDCx \u3067\u306e\u30d7\u30ed\u30c0\u30af\u30b7\u30e7\u30f3\u5b9f\u7e3e<\/strong> \u306f\u3001\u3053\u308c\u304c\u6295\u6a5f\u3067\u306f\u306a\u304f\u30d7\u30ed\u30c0\u30af\u30c8\u5316\u3067\u3042\u308b\u3053\u3068\u3092\u5b9f\u8a3c<\/li><li><strong>CBDE \u306f\u6e2c\u5b9a\u3055\u308c\u305f 60-70% \u958b\u767a\u8005\u96e2\u8131\u554f\u984c<\/strong> \u306b\u6587\u66f8\u5316\u3055\u308c\u305f 60 \u79d2\u30bf\u30fc\u30b2\u30c3\u30c8\u3067\u5bfe\u5fdc<\/li><li><strong>Cardano \u304c institutional \u63a1\u7528\u3068\u9ad8\u4fa1\u5024 DeFi \u306e\u305f\u3081\u306e\u5dee\u5225\u5316<\/strong> \u3092\u5f37\u5316\u3059\u308b shared public infrastructure<\/li><\/ul>\n\n\n\n<p class=\"deb-block deb-block-52ec8c2\">\u671f\u5f85\u4e8b\u9805\u304c\u62d8\u675f\u529b\u306e\u3042\u308b\u904b\u7528\u4e0a\u306e\u30b3\u30df\u30c3\u30c8\u30e1\u30f3\u30c8\u3068\u3057\u3066\u6271\u308f\u308c\u308b\u3053\u3068\u3092\u524d\u63d0\u3068\u3057\u3066\u3001SIPO DRep \u306f\u672c\u63d0\u6848\u306b\u8cdb\u6210\uff08YES\uff09\u3092\u6295\u3058\u307e\u3059\u3002<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity deb-block deb-block-d9c8a23\"\/>\n\n\n\n<h2 class=\"wp-block-heading deb-block deb-block-793cbd1\" id=\"sipo-drep-why-we-vote-yes-on-io-cardano-high-assurance-technical-collaboration-14\">SIPO DRep: Why We Vote YES on &#8220;IO: Cardano High Assurance Technical Collaboration&#8221;<\/h2>\n\n\n\n<h2 class=\"wp-block-heading deb-block deb-block-bebba2c\" id=\"introduction-15\">Introduction<\/h2>\n\n\n\n<p class=\"deb-block deb-block-34a0ddf\">This article presents SIPO DRep&#8217;s analysis and decision on the governance action &#8220;IO: Cardano High Assurance Technical Collaboration&#8221;, submitted on April 22, 2026 (Epoch 626).<\/p>\n\n\n\n<p class=\"deb-block deb-block-7d54136\">The proposal is a seven-organization collaboration (IO + Lantr + Harmonic Labs + SAIB + Midgard Labs + TxPipe + No.Witness Labs) requesting <strong>\u20b313,078,578 (USD $3,138,859)<\/strong>. Two workstreams: Blaster (extending automated formal verification to DApp-level) and CBDE (Container-Based Developer Environment).<\/p>\n\n\n\n<p class=\"deb-block deb-block-554af39\"><strong>SIPO votes YES on this proposal.<\/strong><\/p>\n\n\n\n<p class=\"deb-block deb-block-5a81c02\">This is the most advanced stewardship-distribution example in this round, extending SIPO&#8217;s node-diversity doctrine from consensus-layer alt-clients into the smart-contract language and formal-verification layer.<\/p>\n\n\n\n<h2 class=\"wp-block-heading deb-block deb-block-c5d8a54\" id=\"why-sipo-votes-yes-16\">Why SIPO Votes YES<\/h2>\n\n\n\n<p class=\"deb-block deb-block-121eeb9\"><strong>1. Seven-organization collaboration is the most advanced stewardship-distribution model in this round.<\/strong> Each partner contributes a defined component on a single coherent toolchain \u2014 not &#8220;IO with consultants&#8221; but a consortium of Cardano specialist teams sharing maintenance responsibility on shared public infrastructure.<\/p>\n\n\n\n<p class=\"deb-block deb-block-2ac7fb0\"><strong>2. Blaster operates at the UPLC level, supporting all Cardano smart-contract languages equally.<\/strong> Aiken, Pebble, Scalus, Futura, and Plinth all compile to UPLC. This extends SIPO&#8217;s node-diversity doctrine into the language and verification layers.<\/p>\n\n\n\n<p class=\"deb-block deb-block-f72acde\"><strong>3. Production track record:<\/strong> Blaster has already proved correctness properties on Djed and USDCx. This is productization, not speculation.<\/p>\n\n\n\n<p class=\"deb-block deb-block-e28142b\"><strong>4. CBDE addresses a measured 60-70% developer-onboarding bottleneck<\/strong> with a documented 60-second target.<\/p>\n\n\n\n<h2 class=\"wp-block-heading deb-block deb-block-91fdba8\" id=\"expectations-17\">Expectations<\/h2>\n\n\n\n<p class=\"deb-block deb-block-521fc72\">SIPO&#8217;s YES is conditional on:<\/p>\n\n\n\n<ol class=\"wp-block-list\"><li>Seven-partner milestone transparency<\/li><li>Common Vulnerability Library external audit firm participation (\u22652 firms by Q2 2027)<\/li><li>DApp Proof Framework Q2 2027 demo with \u22653 TWAG 1 ready-to-audit examples<\/li><li>Plinth developer adoption baseline disclosure<\/li><li>Coordination with the Developer Experience Initiative<\/li><\/ol>\n\n\n\n<h2 class=\"wp-block-heading deb-block deb-block-f321210\" id=\"closing-18\">Closing<\/h2>\n\n\n\n<p class=\"deb-block deb-block-bfa487e\">This proposal extends SIPO&#8217;s node-diversity doctrine into the smart-contract language and formal-verification layer, with seven organizations sharing stewardship. With expectations above treated as binding operational commitments, SIPO DRep votes YES.<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity deb-block deb-block-39f33b1\"\/>\n\n\n\n<h2 class=\"wp-block-heading deb-block deb-block-1f08298\" id=\"references-19\">References<\/h2>\n\n\n\n<ul class=\"wp-block-list\"><li>Proposal IPFS: https:\/\/ipnso-com.ipns.dweb.link\/?cid=QmQBhjELHaMKhYZjwuskHS9NRyvUdiGv69aK8C1H787c5A<\/li><li>Governance Action: https:\/\/gov.tools\/connected\/governance_actions\/73e171a4c0730b4b59ecae271ab89f12a9d56360b02920e1f95107dbdc1d6762#5<\/li><li>Blaster (Lean-Blaster) automated formal verification tool<\/li><li>Djed stablecoin formal verification<\/li><li>USDCx wrapped stablecoin formal verification<\/li><li>Cardano 2030 Strategy: https:\/\/product.cardano.intersectmbo.org\/vision\/strategy-2030\/<\/li><li>\u95a2\u9023 SIPO \u6295\u7968\uff08\u672c\u30e9\u30a6\u30f3\u30c9\uff09: IO Cardano Upgrades \/ Leios \/ Developer Experience \/ Maintenance \/ Enhancing Plutus \/ L2 Scalability \/ Blockfrost \/ Pogun\uff08\u5168\u3066 YES\uff09<\/li><li>\u95a2\u9023 SIPO \u904e\u53bb\u6295\u7968: Amaru\uff08YES\uff09\/ Dingo\uff08YES\uff09\/ HLabs Pebble + Gerolamo\uff08YES\uff09<\/li><\/ul>\n","protected":false},"excerpt":{"rendered":"SIPO DRep \u306e\u5206\u6790\u3068\u5224\u65ad\u3002IO + Lantr + HLabs + SAIB + Midgard + TxPipe + No.Witness Labs \u306e 7 \u7d44\u7e54\u5354\u696d\u306b\u3088\u308b Blaster (formal verification) + CBDE \u63d0\u6848 \u20b313.08M \u306b\u5bfe\u3057 SIPO \u306f\u8cdb\u6210\uff08YES\uff09\u3002Djed \u3068 USDCx \u3067\u30d7\u30ed\u30c0\u30af\u30b7\u30e7\u30f3\u5b9f\u7e3e\u6e08\u306e Blaster \u3092 UPLC \u30ec\u30d9\u30eb\u3067\u5168 smart-contract \u8a00\u8a9e\u306b\u62e1\u5f35\u3002","protected":false},"author":1,"featured_media":45821,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[307,21,35,28,1],"tags":[367,317,369,319,371,375,365,373,377,379,321,357],"class_list":{"0":"post-45801","1":"post","2":"type-post","3":"status-publish","4":"format-standard","5":"has-post-thumbnail","7":"category-drep","8":"category-21","9":"category-blog","10":"category-28","11":"category-japanese","12":"tag-blaster","13":"tag-cardano","14":"tag-cbde","15":"tag-drep","16":"tag-formal-verification","17":"tag-harmonic-labs","18":"tag-high-assurance","19":"tag-lantr","20":"tag-midgard-labs","21":"tag-no-witness-labs","22":"tag-treasury-withdrawal","23":"tag-txpipe"},"featured_image_urls":{"full":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2026\/05\/sition_sipo_seven_interconnected_geometric_nodes_forming_a_co_40045b1d-2f92-42a9-8dc1-140fdaa64459_3.png",1456,816,false],"thumbnail":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2026\/05\/sition_sipo_seven_interconnected_geometric_nodes_forming_a_co_40045b1d-2f92-42a9-8dc1-140fdaa64459_3-150x150.png",150,150,true],"medium":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2026\/05\/sition_sipo_seven_interconnected_geometric_nodes_forming_a_co_40045b1d-2f92-42a9-8dc1-140fdaa64459_3-300x168.png",300,168,true],"medium_large":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2026\/05\/sition_sipo_seven_interconnected_geometric_nodes_forming_a_co_40045b1d-2f92-42a9-8dc1-140fdaa64459_3-768x430.png",768,430,true],"large":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2026\/05\/sition_sipo_seven_interconnected_geometric_nodes_forming_a_co_40045b1d-2f92-42a9-8dc1-140fdaa64459_3-1024x574.png",900,504,true],"1536x1536":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2026\/05\/sition_sipo_seven_interconnected_geometric_nodes_forming_a_co_40045b1d-2f92-42a9-8dc1-140fdaa64459_3.png",1456,816,false],"2048x2048":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2026\/05\/sition_sipo_seven_interconnected_geometric_nodes_forming_a_co_40045b1d-2f92-42a9-8dc1-140fdaa64459_3.png",1456,816,false],"dp-widget-thumb":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2026\/05\/sition_sipo_seven_interconnected_geometric_nodes_forming_a_co_40045b1d-2f92-42a9-8dc1-140fdaa64459_3-140x96.png",140,96,true],"dp-widget-thumb-2x":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2026\/05\/sition_sipo_seven_interconnected_geometric_nodes_forming_a_co_40045b1d-2f92-42a9-8dc1-140fdaa64459_3-280x192.png",280,192,true],"dp-related-thumb":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2026\/05\/sition_sipo_seven_interconnected_geometric_nodes_forming_a_co_40045b1d-2f92-42a9-8dc1-140fdaa64459_3-250x154.png",250,154,true],"dp-related-thumb-2x":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2026\/05\/sition_sipo_seven_interconnected_geometric_nodes_forming_a_co_40045b1d-2f92-42a9-8dc1-140fdaa64459_3-500x308.png",500,308,true],"dp-archive-thumb":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2026\/05\/sition_sipo_seven_interconnected_geometric_nodes_forming_a_co_40045b1d-2f92-42a9-8dc1-140fdaa64459_3-450x252.png",450,252,true],"dp-archive-thumb-2x":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2026\/05\/sition_sipo_seven_interconnected_geometric_nodes_forming_a_co_40045b1d-2f92-42a9-8dc1-140fdaa64459_3-900x504.png",900,504,true]},"category_list":"<a href=\"https:\/\/sipo.tokyo\/?cat=307\" rel=\"category\">DRep<\/a>, <a href=\"https:\/\/sipo.tokyo\/?cat=21\" rel=\"category\">\u30cb\u30e5\u30fc\u30b9<\/a>, <a href=\"https:\/\/sipo.tokyo\/?cat=35\" rel=\"category\">\u30d6\u30ed\u30b0<\/a>, <a href=\"https:\/\/sipo.tokyo\/?cat=28\" rel=\"category\">\u6295\u7a3f\u8a18\u4e8b<\/a>, <a href=\"https:\/\/sipo.tokyo\/?cat=1\" rel=\"category\">\u65e5\u672c\u8a9e\u7248<\/a>","author_info":{"name":"sition","url":"https:\/\/sipo.tokyo\/?author=1"},"comments_num":"0 comments","_links":{"self":[{"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/posts\/45801","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=45801"}],"version-history":[{"count":1,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/posts\/45801\/revisions"}],"predecessor-version":[{"id":45822,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/posts\/45801\/revisions\/45822"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/media\/45821"}],"wp:attachment":[{"href":"https:\/\/sipo.tokyo\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=45801"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=45801"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=45801"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}