{"id":45802,"date":"2026-05-09T20:48:05","date_gmt":"2026-05-09T11:48:05","guid":{"rendered":"https:\/\/sipo.tokyo\/?p=45802"},"modified":"2026-05-09T20:48:05","modified_gmt":"2026-05-09T11:48:05","slug":"sipo-drep-io-enhancing-plutus-202605","status":"publish","type":"post","link":"https:\/\/sipo.tokyo\/?p=45802","title":{"rendered":"SIPO DRep\uff1a\u300eIO &#038; VacuumLabs: Enhancing Plutus\u300f\u63d0\u6848 \u2015 \u5168 smart contract \u306e\u57fa\u76e4\u3078\u306e\u6295\u8cc7\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=\"#3-e381a4e381aee383afe383bce382afe382b9e38388e383aae383bce383a0-3\">3 \u3064\u306e\u30ef\u30fc\u30af\u30b9\u30c8\u30ea\u30fc\u30e0<\/a><ul><li><a href=\"#ws1-plutus-capabilities-and-primitivesefbc88e680a7e883bde59091e4b88aefbc89-4\">WS1: Plutus Capabilities and Primitives\uff08\u6027\u80fd\u5411\u4e0a\uff09<\/a><\/li><li><a href=\"#ws2-formal-specification-correctness-and-securityefbc88e6ada3e7a2bae680a7efbc89-5\">WS2: Formal Specification, Correctness, and Security\uff08\u6b63\u78ba\u6027\uff09<\/a><\/li><li><a href=\"#ws3-developer-experienceefbc88usabilityefbc89-6\">WS3: Developer Experience\uff08usability\uff09<\/a><\/li><\/ul><\/li><li><a href=\"#e382b9e382b3e383bce38397e8a995e4bea1efbc9ae6a78be980a0e79a84e8ab96e782b9-7\">\u30b9\u30b3\u30fc\u30d7\u8a55\u4fa1\uff1a\u69cb\u9020\u7684\u8ad6\u70b9<\/a><ul><li><a href=\"#plutus-e694b9e59684e381afe585a8-dapp-e381abe8a487e588a9e79a84e381abe58ab9e3818f-8\">Plutus \u6539\u5584\u306f\u5168 DApp \u306b\u8907\u5229\u7684\u306b\u52b9\u304f<\/a><\/li><li><a href=\"#property-based-conformance-e3838ee383bce38389e5a49ae6a798e680a7e381aee5898de68f90e69da1e4bbb6-9\">Property-based conformance = \u30ce\u30fc\u30c9\u591a\u69d8\u6027\u306e\u524d\u63d0\u6761\u4ef6<\/a><\/li><li><a href=\"#vacuumlabs-co-venture-e381aee6a78be980a0e79a84e6848fe591b3-10\">VacuumLabs Co-venture \u306e\u69cb\u9020\u7684\u610f\u5473<\/a><\/li><\/ul><\/li><li><a href=\"#e382ace38390e3838ae383b3e382b9e6a78be980a0-11\">\u30ac\u30d0\u30ca\u30f3\u30b9\u69cb\u9020<\/a><\/li><li><a href=\"#cardano-2030-e695b4e59088-12\">Cardano 2030 \u6574\u5408<\/a><\/li><li><a href=\"#e4ba88e7ae97e8a68fe5be8b-13\">\u4e88\u7b97\u898f\u5f8b<\/a><\/li><li><a href=\"#e382b9e382bfe383b3e382b9e4b880e8b2abe680a7-14\">\u30b9\u30bf\u30f3\u30b9\u4e00\u8cab\u6027<\/a><\/li><li><a href=\"#e69c9fe5be85e4ba8be9a085efbc88yes-e381abe381afe6988ee7a2bae381aae69da1e4bbb6e3818ce4bcb4e38186efbc89-15\">\u671f\u5f85\u4e8b\u9805\uff08YES \u306b\u306f\u660e\u78ba\u306a\u6761\u4ef6\u304c\u4f34\u3046\uff09<\/a><\/li><li><a href=\"#e7b590e381b3-16\">\u7d50\u3073<\/a><\/li><li><a href=\"#sipo-drep-why-we-vote-yes-on-io-vacuumlabs-enhancing-plutus-17\">SIPO DRep: Why We Vote YES on &#8220;IO &amp; VacuumLabs: Enhancing Plutus&#8221;<\/a><\/li><li><a href=\"#introduction-18\">Introduction<\/a><\/li><li><a href=\"#why-sipo-votes-yes-19\">Why SIPO Votes YES<\/a><\/li><li><a href=\"#expectations-20\">Expectations<\/a><\/li><li><a href=\"#closing-21\">Closing<\/a><\/li><li><a href=\"#references-22\">References<\/a><\/li><\/ul><\/div><h2 class=\"wp-block-heading deb-block deb-block-562c95c\" id=\"e381afe38198e38281e381ab-1\">\u306f\u3058\u3081\u306b<\/h2>\n\n\n\n<p class=\"deb-block deb-block-925d96c\">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 &amp; VacuumLabs: Enhancing Plutus \u2014 Performance, Correctness, and Usability\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-e2f6ee8\">\u672c\u63d0\u6848\u306f\u3001Input Output (IO) \u3068 <strong>VacuumLabs<\/strong>\uff08formal methods \/ security-critical Haskell \/ Cardano \u30a4\u30f3\u30d5\u30e9\u306e\u5c02\u9580\u4f01\u696d\uff09\u306e co-venture \u306b\u3088\u3063\u3066\u63d0\u51fa\u3055\u308c\u305f Treasury Withdrawal \u63d0\u6848\u3067\u3042\u308a\u3001\u7533\u8acb\u984d\u306f <strong>\u20b311,877,575\uff08USD $2,850,618\u3001$0.24\/ADA \u63db\u7b97\uff09<\/strong> \u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-b9a068b\">\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-de5d89f\">Plutus \u306f <strong>Aiken\u3001Pebble\u3001Scalus\u3001Futura\u3001Plinth \u306e\u5171\u901a\u30b3\u30f3\u30d1\u30a4\u30eb\u5148<\/strong> \u3067\u3042\u308a\u3001\u5168 Cardano smart contract \u304c\u4f9d\u62e0\u3059\u308b\u57fa\u76e4\u3067\u3059\u3002\u672c\u63d0\u6848\u306f Plutus \u3092 <strong>performance\uff08\u5b9f\u884c\u30b3\u30b9\u30c8\u524a\u6e1b\uff09\/ correctness\uff08formal specification + security audit\uff09\/ usability\uff08compiler architecture \u6539\u5584\uff09<\/strong> \u306e 3 \u8ef8\u3067\u524d\u9032\u3055\u305b\u3001\u5168\u8a00\u8a9e\u30fb\u5168 DApp\u30fb\u5168 alt-client \u306b\u8907\u5229\u7684\u306b\u52b9\u304f\u6295\u8cc7\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-5faa914\">\u52a0\u3048\u3066\u3001<strong>VacuumLabs co-venture \u306f Plutus stewardship \u3092 IO \u96c6\u4e2d\u304b\u3089\u7d44\u7e54\u9593\u306b\u5206\u6563\u3055\u305b\u308b\u69cb\u9020\u7684\u6539\u5584<\/strong> \u3092\u52a0\u3048\u307e\u3059\u3002SIPO \u304c\u3053\u308c\u307e\u3067\u652f\u6301\u3057\u3066\u304d\u305f stewardship \u5206\u6563\u30d1\u30bf\u30fc\u30f3\uff08HLabs \/ Ensurable \/ 7 organization High Assurance\uff09\u3092 Plutus \u5c64\u306b\u3082\u62e1\u5f35\u3059\u308b\u3082\u306e\u3067\u3059\u3002<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity deb-block deb-block-6f9156e\"\/>\n\n\n\n<h2 class=\"wp-block-heading deb-block deb-block-5f64676\" id=\"e68f90e6a188e381aee585a8e4bd93e5838f-2\">\u63d0\u6848\u306e\u5168\u4f53\u50cf<\/h2>\n\n\n\n<figure class=\"wp-block-table deb-block deb-block-8124bb9\"><table><thead><tr><th>\u9805\u76ee<\/th><th>\u5185\u5bb9<\/th><\/tr><\/thead><tbody><tr><td>\u63d0\u6848\u540d<\/td><td>IO &amp; VacuumLabs: Enhancing Plutus<\/td><\/tr><tr><td>\u30bf\u30a4\u30d7<\/td><td>Treasury Withdrawal<\/td><\/tr><tr><td>\u7533\u8acb\u984d<\/td><td>\u20b311,877,575\uff08USD $2,850,618\u3001$0.24\/ADA \u63db\u7b97\uff09<\/td><\/tr><tr><td>\u63d0\u6848\u8005<\/td><td>Input Output Global + VacuumLabs\uff08co-venture\uff09<\/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_action1w0shrfxqwv95kk0v4cn34wylz25a2cmqkq5jpc0e2yrahhqava3qvczhx6t<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity deb-block deb-block-9424a74\"\/>\n\n\n\n<h2 class=\"wp-block-heading deb-block deb-block-a0e117d\" id=\"3-e381a4e381aee383afe383bce382afe382b9e38388e383aae383bce383a0-3\">3 \u3064\u306e\u30ef\u30fc\u30af\u30b9\u30c8\u30ea\u30fc\u30e0<\/h2>\n\n\n\n<h3 class=\"wp-block-heading deb-block deb-block-bee47f1\" id=\"ws1-plutus-capabilities-and-primitivesefbc88e680a7e883bde59091e4b88aefbc89-4\">WS1: Plutus Capabilities and Primitives\uff08\u6027\u80fd\u5411\u4e0a\uff09<\/h3>\n\n\n\n<p class=\"deb-block deb-block-3ceba10\">UPLC \u5b9f\u884c\u30e2\u30c7\u30eb\u306e\u62e1\u5f35\u306b\u3088\u308a\u3001<strong>\u5168 Cardano DApp \u306e\u5b9f\u884c\u30b3\u30b9\u30c8\u524a\u6e1b<\/strong> \u306b\u76f4\u63a5\u8ca2\u732e\uff1a<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li><strong>Built-in casing on Data<\/strong> \u2014 Data \u578b\u306e\u30d1\u30bf\u30fc\u30f3\u30de\u30c3\u30c1\u304c\u52b9\u7387\u5316<\/li><li><strong>multiIndexArray (CIP-156)<\/strong> \u2014 \u65e2\u6279\u51c6\u306e builtin\u3001\u8907\u6570 index \u64cd\u4f5c\u3092 1 \u3064\u306e\u5b89\u4fa1\u306a builtin \u306b<\/li><li><strong>BuiltinValue functions (CIP-168)<\/strong> \u2014 multi-asset \u64cd\u4f5c\u306e\u52b9\u7387\u5316\uff08policies\u3001restrictValueTo\u3001filterOutPolicies\u3001assetCount\uff09<\/li><li><strong>Scope check \u64a4\u5ec3\u306e\u8abf\u67fb<\/strong> \u2014 script \u6e96\u5099\u6642\u9593\u306e\u7d04 25% \u3092\u5360\u3081\u308b redundant check \u306e\u691c\u8a3c<\/li><li><strong>SNARK-friendly Poseidon hash CIP<\/strong> \u2014 ZK \u30a2\u30d7\u30ea\u30b1\u30fc\u30b7\u30e7\u30f3\u306e\u57fa\u76e4<\/li><li><strong>UPLC laziness investigation<\/strong> \u2014 \u30e2\u30b8\u30e5\u30e9\u30fc \/ \u518d\u5229\u7528\u53ef\u80fd\u306a\u5951\u7d04\u30d1\u30bf\u30fc\u30f3\u306e\u53ef\u80fd\u6027<\/li><\/ul>\n\n\n\n<h3 class=\"wp-block-heading deb-block deb-block-1adaa59\" id=\"ws2-formal-specification-correctness-and-securityefbc88e6ada3e7a2bae680a7efbc89-5\">WS2: Formal Specification, Correctness, and Security\uff08\u6b63\u78ba\u6027\uff09<\/h3>\n\n\n\n<ul class=\"wp-block-list\"><li><strong>Property-based conformance testing framework<\/strong> \u2014 \u73fe\u5728\u306e 1,982 \u624b\u66f8\u304d\u30c6\u30b9\u30c8\u30b1\u30fc\u30b9\u3092 random \u751f\u6210\u30c6\u30b9\u30c8\u3067\u62e1\u5f35\u3001alt-client (Amaru\/Dingo) verification \u306e\u524d\u63d0<\/li><li><strong>Plutus evaluator + costing systematic security audit<\/strong> \u2014 production critical \u30b3\u30fc\u30c9\u306e\u69cb\u9020\u5316\u3055\u308c\u305f\u30ec\u30d3\u30e5\u30fc<\/li><li><strong>Agda metatheory formalization<\/strong> \u2014 programmatic built-in types\/functions \u306e formal \u4ed5\u69d8\u5316\u3001authoritative executable specification<\/li><\/ul>\n\n\n\n<h3 class=\"wp-block-heading deb-block deb-block-c100b45\" id=\"ws3-developer-experienceefbc88usabilityefbc89-6\">WS3: Developer Experience\uff08usability\uff09<\/h3>\n\n\n\n<ul class=\"wp-block-list\"><li><strong>GHC plugin \u8981\u4ef6\u64a4\u5ec3<\/strong> \u2014 Plinth standalone compiler<\/li><li><strong>Multi-version GHC support<\/strong> \u2014 2 \u3064\u306e major GHC version \u540c\u6642\u30b5\u30dd\u30fc\u30c8<\/li><li><strong>Plinth dependency \u89e3\u6d88<\/strong> \u2014 Nix \u4e0d\u8981\u3001native C library\uff08blst\u3001secp256k1\uff09\u4f9d\u5b58\u9664\u53bb<\/li><li><strong>Source-level error messages<\/strong> \u2014 \u30a8\u30e9\u30fc\u304c Haskell \u30bd\u30fc\u30b9\u4f4d\u7f6e\u3092\u76f4\u63a5\u53c2\u7167<\/li><li><strong>boilerplate \u524a\u6e1b<\/strong> \u2014 INLINEABLE pragma \u4e0d\u8981<\/li><\/ul>\n\n\n\n<p class=\"deb-block deb-block-a9d1245\">WS3 \u306f <strong>hard fork \u4e0d\u8981\u3067\u5373\u5ea7\u306b benefit<\/strong> \u304c\u5f97\u3089\u308c\u308b\u91cd\u8981\u7279\u6027\u3002CBDE\uff08\u672c\u30e9\u30a6\u30f3\u30c9 YES\uff09\u3068\u76f8\u88dc\u7684\u306b\u52d5\u4f5c\u3057\u307e\u3059\u3002<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity deb-block deb-block-7e02947\"\/>\n\n\n\n<h2 class=\"wp-block-heading deb-block deb-block-154f8ac\" id=\"e382b9e382b3e383bce38397e8a995e4bea1efbc9ae6a78be980a0e79a84e8ab96e782b9-7\">\u30b9\u30b3\u30fc\u30d7\u8a55\u4fa1\uff1a\u69cb\u9020\u7684\u8ad6\u70b9<\/h2>\n\n\n\n<h3 class=\"wp-block-heading deb-block deb-block-9bf1953\" id=\"plutus-e694b9e59684e381afe585a8-dapp-e381abe8a487e588a9e79a84e381abe58ab9e3818f-8\">Plutus \u6539\u5584\u306f\u5168 DApp \u306b\u8907\u5229\u7684\u306b\u52b9\u304f<\/h3>\n\n\n\n<p class=\"deb-block deb-block-e5845b7\">UPLC \u306f <strong>Aiken\u3001Pebble\u3001Scalus\u3001Futura\u3001Plinth \u306e\u5171\u901a\u30b3\u30f3\u30d1\u30a4\u30eb\u5148<\/strong> \u3067\u3059\u3002Plutus \u6539\u5584\u306f\u30bd\u30fc\u30b9\u8a00\u8a9e\u306b\u95a2\u308f\u3089\u305a\u5168 Cardano DApp \u306b benefit \u3057\u307e\u3059\u3002\u3053\u308c\u306f\u300c\u7279\u5b9a\u8a00\u8a9e\u30c1\u30fc\u30e0\u3078\u306e\u6295\u8cc7\u300d\u3067\u306f\u306a\u304f\u300c<strong>\u30a8\u30b3\u30b7\u30b9\u30c6\u30e0\u5168\u4f53\u306e execution layer \u6295\u8cc7<\/strong>\u300d\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-97a0503\">execution cost \u524a\u6e1b \u2192 DeFi capital efficiency \u6539\u5584 \u2192 \u73fe\u5728\u7d4c\u6e08\u7684\u306b\u6210\u7acb\u3057\u306a\u3044\u30a2\u30d7\u30ea\u30b1\u30fc\u30b7\u30e7\u30f3\u304c viable \u306b\u3002\u3053\u308c\u306f Cardano \u304c EVM \u30c1\u30a7\u30fc\u30f3\u3068\u30b3\u30b9\u30c8\u7af6\u4e89\u306b\u52dd\u3064\u305f\u3081\u306b\u5fc5\u8981\u306a\u69cb\u9020\u7684\u6295\u8cc7\u3067\u3059\u3002<\/p>\n\n\n\n<h3 class=\"wp-block-heading deb-block deb-block-1f633b6\" id=\"property-based-conformance-e3838ee383bce38389e5a49ae6a798e680a7e381aee5898de68f90e69da1e4bbb6-9\">Property-based conformance = \u30ce\u30fc\u30c9\u591a\u69d8\u6027\u306e\u524d\u63d0\u6761\u4ef6<\/h3>\n\n\n\n<p class=\"deb-block deb-block-627101b\">\u73fe\u5728\u306e Plutus conformance suite \u306f <strong>1,982 \u306e\u624b\u66f8\u304d\u30c6\u30b9\u30c8\u30b1\u30fc\u30b9<\/strong>\u3002Property-based conformance \u306f\u3053\u308c\u3092 formal specifications \u304b\u3089\u751f\u6210\u3059\u308b\u3053\u3068\u3067\u3001<strong>alt-client (Amaru\u3001Dingo) \u304c canonical \u5b9f\u88c5\u3068\u4e00\u81f4\u3059\u308b\u3053\u3068\u3078\u306e\u9065\u304b\u306b\u9ad8\u3044\u4fe1\u983c\u5ea6<\/strong> \u3092\u63d0\u4f9b\u3057\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-d0b182c\">SIPO \u306f alt-client \u3092 <strong>essential infrastructure insurance<\/strong> \u3068\u3057\u3066 YES \u3092\u6295\u3058\u3066\u304d\u307e\u3057\u305f\u3002Plutus \u304c\u9032\u5316\u3059\u308b\u4e2d\u3067 alt-client \u304c\u5b89\u5168\u306b\u9032\u5316\u3059\u308b\u305f\u3081\u306b\u306f\u3001\u672c property-based conformance framework \u304c\u524d\u63d0\u6761\u4ef6\u3068\u306a\u308a\u307e\u3059\u3002<\/p>\n\n\n\n<h3 class=\"wp-block-heading deb-block deb-block-88b590a\" id=\"vacuumlabs-co-venture-e381aee6a78be980a0e79a84e6848fe591b3-10\">VacuumLabs Co-venture \u306e\u69cb\u9020\u7684\u610f\u5473<\/h3>\n\n\n\n<p class=\"deb-block deb-block-f0cd5d3\">Plutus \u306f\u6b74\u53f2\u7684\u306b <strong>IO \u306b\u3088\u3063\u3066\u307b\u307c\u72ec\u5360\u7684\u306b\u7dad\u6301<\/strong> \u3055\u308c\u3066\u304d\u307e\u3057\u305f\u3002VacuumLabs co-venture \u306f formal methods \/ security-critical Haskell \/ Cardano \u30a4\u30f3\u30d5\u30e9\u5c02\u9580\u306e specialist team \u3092 maintenance \u8cac\u4efb\u306e\u5171\u6709\u306b\u5c0e\u5165\u3057\u3001Plutus stewardship \u3092 multi-org consortium \u3078\u3068\u9032\u5316\u3055\u305b\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-cb8fd23\">\u3053\u308c\u306f SIPO \u304c\u3053\u308c\u307e\u3067\u652f\u6301\u3057\u3066\u304d\u305f stewardship \u5206\u6563\u306e Plutus \u5c64\u3078\u306e\u9069\u7528\u3067\u3059\uff1a<\/p>\n\n\n\n<figure class=\"wp-block-table deb-block deb-block-49607ca\"><table><thead><tr><th>\u5206\u6563\u30d1\u30bf\u30fc\u30f3<\/th><th>\u8a72\u5f53\u63d0\u6848<\/th><\/tr><\/thead><tbody><tr><td>HLabs co-stewardship of TS layer<\/td><td>Pebble + Gerolamo<\/td><\/tr><tr><td>Ensurable co-venture<\/td><td>IO Cardano Upgrades + Maintenance<\/td><\/tr><tr><td>7 organization consortium<\/td><td>High Assurance<\/td><\/tr><tr><td><strong>VacuumLabs co-venture<\/strong><\/td><td><strong>\u672c\u63d0\u6848<\/strong><\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<p class=\"deb-block deb-block-aead163\">Plutus \u304c multi-org consortium \u306b\u3088\u3063\u3066\u7dad\u6301\u3055\u308c\u308b\u3088\u3046\u306b\u306a\u308b\u3053\u3068\u306f\u3001Pillar 5\uff08Sustainability and Resilience\uff09\u3078\u306e <strong>\u69cb\u9020\u7684\u6539\u5584<\/strong> \u3067\u3059\u3002<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity deb-block deb-block-57cd8ca\"\/>\n\n\n\n<h2 class=\"wp-block-heading deb-block deb-block-0d042d0\" id=\"e382ace38390e3838ae383b3e382b9e6a78be980a0-11\">\u30ac\u30d0\u30ca\u30f3\u30b9\u69cb\u9020<\/h2>\n\n\n\n<figure class=\"wp-block-table deb-block deb-block-bac219c\"><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<p class=\"deb-block deb-block-c7fc652\">SIPO \u304c\u4e00\u8cab\u652f\u6301\u3057\u3066\u304d\u305f\u6a19\u6e96\u3068\u5b8c\u5168\u306b\u540c\u4e00\u3002<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity deb-block deb-block-147135f\"\/>\n\n\n\n<h2 class=\"wp-block-heading deb-block deb-block-66ba0c7\" id=\"cardano-2030-e695b4e59088-12\">Cardano 2030 \u6574\u5408<\/h2>\n\n\n\n<figure class=\"wp-block-table deb-block deb-block-bda6795\"><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>Plutus formal spec\u3001property-based conformance\u3001compiler \u6539\u5584<\/td><\/tr><tr><td>Pillar 2: Adoption &amp; Utility<\/td><td>Yes: Fully<\/td><td>\u30b3\u30b9\u30c8\u524a\u6e1b + frictionless tooling \u3067 builder \u6d41\u5165<\/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: Partially<\/td><td>conformance framework \u304c alt-client teams \u3068\u306e\u9023\u643a\u3092\u5f37\u5316<\/td><\/tr><tr><td>Pillar 5: Ecosystem Sustainability &amp; Resilience<\/td><td>Yes: Fully<\/td><td>continuous security audit + VacuumLabs co-venture<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<p class=\"deb-block deb-block-d458066\"><strong>3 Pillar \u3067\u300cYes: Fully\u300d<\/strong> \u3068\u3044\u3046\u9ad8\u6574\u5408\u6027\u3002<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity deb-block deb-block-a540d77\"\/>\n\n\n\n<h2 class=\"wp-block-heading deb-block deb-block-0505b6d\" id=\"e4ba88e7ae97e8a68fe5be8b-13\">\u4e88\u7b97\u898f\u5f8b<\/h2>\n\n\n\n<figure class=\"wp-block-table deb-block deb-block-19381a2\"><table><thead><tr><th>\u914d\u5206<\/th><th>ADA<\/th><th>\u6bd4\u7387<\/th><\/tr><\/thead><tbody><tr><td>Development<\/td><td>\u20b310,214,715<\/td><td>86%<\/td><\/tr><tr><td>Engagement &amp; Ecosystem support<\/td><td>\u20b3712,655<\/td><td>6%<\/td><\/tr><tr><td>Operations &amp; Delivery<\/td><td>\u20b3356,327<\/td><td>3%<\/td><\/tr><tr><td>\u305d\u306e\u4ed6\uff08Infra\/Audits\/Legal\/Governance\/Others\uff09<\/td><td>\u5404 \u20b3118,776<\/td><td>\u5404 1%<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<p class=\"deb-block deb-block-6ef1c7f\">86% Development \u914d\u5206\u306f IO \u306e\u4ed6 Treasury withdrawals \u3068\u6574\u5408\u3059\u308b\u6a19\u6e96\u3002Net Change Limit \u6e96\u62e0\u3002<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity deb-block deb-block-7454448\"\/>\n\n\n\n<h2 class=\"wp-block-heading deb-block deb-block-70ec6ba\" id=\"e382b9e382bfe383b3e382b9e4b880e8b2abe680a7-14\">\u30b9\u30bf\u30f3\u30b9\u4e00\u8cab\u6027<\/h2>\n\n\n\n<figure class=\"wp-block-table deb-block deb-block-9f8924d\"><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>property-based conformance \u304c\u524d\u63d0\u6761\u4ef6<\/td><\/tr><tr><td>HLabs Pebble + Gerolamo<\/td><td>Stewardship \u5206\u6563<\/td><td>Pebble \u306f Plutus \u306b\u30b3\u30f3\u30d1\u30a4\u30eb<\/td><\/tr><tr><td>Cardano High Assurance\uff08\u672c\u30e9\u30a6\u30f3\u30c9 YES\uff09<\/td><td>Stewardship \u5206\u6563<\/td><td>Plutus \u306f High Assurance \u306e verification target<\/td><\/tr><tr><td>Cardano Maintenance\uff08\u672c\u30e9\u30a6\u30f3\u30c9 YES\uff09<\/td><td>\u30a4\u30f3\u30d5\u30e9\u516c\u5171\u8ca1<\/td><td>Plutus \u6539\u5584\u306f maintenance \u7bc4\u56f2\u3092\u88dc\u5b8c<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity deb-block deb-block-2f02c8e\"\/>\n\n\n\n<h2 class=\"wp-block-heading deb-block deb-block-c65306b\" id=\"e69c9fe5be85e4ba8be9a085efbc88yes-e381abe381afe6988ee7a2bae381aae69da1e4bbb6e3818ce4bcb4e38186efbc89-15\">\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-e55d2b1\">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>CIP-168 \u6279\u51c6\u4f9d\u5b58\u6027\u306e\u5831\u544a<\/strong>\uff1a\u672a\u6279\u51c6\u306e\u305f\u3081\u3001Workstream 1 \u30c7\u30ea\u30d0\u30ea\u30fc\u306e hard dependency \u3068\u3057\u3066 CIP-168 \u6279\u51c6\u9032\u6357\u306e\u6708\u6b21\u5831\u544a<\/li><\/ol>\n\n\n\n<ol class=\"wp-block-list\"><li><strong>Property-based conformance framework \u5916\u90e8 alt-client \u63a1\u7528<\/strong>\uff1a\u3069\u306e alt-client \u30c1\u30fc\u30e0\u304c framework \u3092\u80fd\u52d5\u7684\u306b\u5b9f\u884c\u3057\u3066\u3044\u308b\u304b\u306e\u516c\u958b\u3001\u56db\u534a\u671f\u66f4\u65b0<\/li><\/ol>\n\n\n\n<ol class=\"wp-block-list\"><li><strong>Security audit findings \u900f\u660e\u6027<\/strong>\uff1aQ1 2027 \u6700\u7d42\u76e3\u67fb\u30ec\u30dd\u30fc\u30c8\u306e\u5168 findings\u3001\u30ea\u30b9\u30af\u8a55\u4fa1\u3001remediation status \u306e\u516c\u958b\uff08executive summary \u306e\u307f\u306e\u30ea\u30ea\u30fc\u30b9\u3067\u306f\u306a\u304f\uff09<\/li><\/ol>\n\n\n\n<ol class=\"wp-block-list\"><li><strong>VacuumLabs \u8cac\u4efb\u5206\u62c5\u306e\u958b\u793a<\/strong>\uff1aQ3 2026 \u30de\u30a4\u30eb\u30b9\u30c8\u30fc\u30f3\u30b2\u30fc\u30c8\u307e\u3067\u306e\u516c\u958b\u5206\u62c5<\/li><\/ol>\n\n\n\n<ol class=\"wp-block-list\"><li><strong>Hard-fork \u4f9d\u5b58\u3068\u72ec\u7acb\u30c7\u30ea\u30d0\u30ea\u30fc\u306e\u5206\u96e2<\/strong>\uff1aWS1\uff08HF \u4f9d\u5b58\uff09\/ WS2\uff08HF \u72ec\u7acb\uff09\/ WS3\uff08HF \u4e0d\u8981\uff09\u306e\u660e\u78ba\u306a\u5206\u96e2\u5831\u544a<\/li><\/ol>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity deb-block deb-block-7b723d5\"\/>\n\n\n\n<h2 class=\"wp-block-heading deb-block deb-block-70d4555\" id=\"e7b590e381b3-16\">\u7d50\u3073<\/h2>\n\n\n\n<p class=\"deb-block deb-block-9369763\">Plutus \u306f <strong>\u5168 Cardano smart contract \u306e\u57fa\u76e4<\/strong> \u3067\u3042\u308a\u3001High Assurance Initiative \u306e verification target \u3067\u3059\u3002Plutus performance \/ correctness \/ usability \u6539\u5584\u3078\u306e\u6295\u8cc7\u306f\u3001<strong>\u5168\u8a00\u8a9e\u3001\u5168 DApp\u3001\u5168 alt-client \u5b9f\u88c5\u306b\u5bfe\u3057\u3066\u8907\u5229\u7684\u306b\u52b9\u304d\u307e\u3059<\/strong>\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-7096759\">VacuumLabs co-venture \u306f\u3001<strong>Plutus stewardship \u304c\u3082\u306f\u3084 IO \u306b\u96c6\u4e2d\u3057\u306a\u3044<\/strong> \u3068\u3044\u3046\u69cb\u9020\u7684\u6539\u5584\u3092\u52a0\u3048\u307e\u3059\u3002SIPO \u304c\u4e00\u8cab\u652f\u6301\u3057\u3066\u304d\u305f stewardship \u5206\u6563\u30d1\u30bf\u30fc\u30f3\u306e Plutus \u5c64\u3078\u306e\u9069\u7528\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-3be926c\">\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-23b9e9a\"\/>\n\n\n\n<h2 class=\"wp-block-heading deb-block deb-block-592aa49\" id=\"sipo-drep-why-we-vote-yes-on-io-vacuumlabs-enhancing-plutus-17\">SIPO DRep: Why We Vote YES on &#8220;IO &amp; VacuumLabs: Enhancing Plutus&#8221;<\/h2>\n\n\n\n<h2 class=\"wp-block-heading deb-block deb-block-2d3f80d\" id=\"introduction-18\">Introduction<\/h2>\n\n\n\n<p class=\"deb-block deb-block-1c22ad2\">This article presents SIPO DRep&#8217;s analysis and decision on the governance action &#8220;IO &amp; VacuumLabs: Enhancing Plutus \u2014 Performance, Correctness, and Usability&#8221;, submitted on April 22, 2026 (Epoch 626).<\/p>\n\n\n\n<p class=\"deb-block deb-block-ab85f26\">The proposal is a co-venture between Input Output (IO) and VacuumLabs (a specialist firm with deep expertise in formal methods, security-critical Haskell, and Cardano infrastructure) requesting <strong>\u20b311,877,575 (USD $2,850,618)<\/strong>. Three workstreams advance Plutus across performance, correctness, and usability.<\/p>\n\n\n\n<p class=\"deb-block deb-block-9e83883\"><strong>SIPO votes YES on this proposal.<\/strong><\/p>\n\n\n\n<p class=\"deb-block deb-block-4927c3b\">Plutus is the foundation of every Cardano smart contract \u2014 Aiken, Pebble, Scalus, Futura, and Plinth all compile to UPLC. Investing in Plutus improvements compounds across the entire ecosystem.<\/p>\n\n\n\n<h2 class=\"wp-block-heading deb-block deb-block-04c9df7\" id=\"why-sipo-votes-yes-19\">Why SIPO Votes YES<\/h2>\n\n\n\n<p class=\"deb-block deb-block-e35d71d\"><strong>1. Plutus improvements compound across every smart-contract language and DApp on Cardano.<\/strong> Built-in casing on Data, multiIndexArray (CIP-156, ratified), BuiltinValue functions (CIP-168), and scope-check investigation reduce execution costs for every Cardano DApp regardless of source language.<\/p>\n\n\n\n<p class=\"deb-block deb-block-2d52d09\"><strong>2. Property-based conformance testing is structural infrastructure for the node-diversity doctrine.<\/strong> Alt-clients (Amaru, Dingo) require this framework to evolve safely as Plutus evolves.<\/p>\n\n\n\n<p class=\"deb-block deb-block-2ccc896\"><strong>3. Continuous security auditing of the Plutus evaluator is non-discretionary at Cardano&#8217;s scale.<\/strong> Catching subtle costing bugs before deployment is orders of magnitude cheaper than responding in production.<\/p>\n\n\n\n<p class=\"deb-block deb-block-0e66c3e\"><strong>4. VacuumLabs co-venture distributes Plutus stewardship beyond IO.<\/strong> Plutus has historically been near-exclusively maintained by IO. The same Pillar 5 stewardship-distribution pattern SIPO supported in HLabs Pebble + Gerolamo, Ensurable Systems co-ventures, and the seven-organization High Assurance proposal.<\/p>\n\n\n\n<p class=\"deb-block deb-block-51fc348\"><strong>5. Workstream 3 developer experience improvements are immediately actionable<\/strong> \u2014 GHC plugin removal, multi-version GHC support, Nix dependency removal \u2014 and ship without requiring a hard fork.<\/p>\n\n\n\n<h2 class=\"wp-block-heading deb-block deb-block-308b7f6\" id=\"expectations-20\">Expectations<\/h2>\n\n\n\n<p class=\"deb-block deb-block-d2b9e82\">SIPO&#8217;s YES is conditional on:<\/p>\n\n\n\n<ol class=\"wp-block-list\"><li>CIP-168 ratification dependency monthly reporting<\/li><li>Property-based conformance framework external alt-client adoption disclosure (quarterly)<\/li><li>Security audit findings transparency (full report, not executive summary only)<\/li><li>VacuumLabs responsibility split disclosure by Q3 2026<\/li><li>Hard-fork-dependent vs independent deliverable separation in milestone reporting<\/li><\/ol>\n\n\n\n<h2 class=\"wp-block-heading deb-block deb-block-404736f\" id=\"closing-21\">Closing<\/h2>\n\n\n\n<p class=\"deb-block deb-block-7fdbe2c\">Plutus is the foundation of every Cardano smart contract and the verification target of the High Assurance Initiative. The VacuumLabs co-venture adds the structural improvement that Plutus stewardship is no longer concentrated in IO. 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-29b40c8\"\/>\n\n\n\n<h2 class=\"wp-block-heading deb-block deb-block-6371af6\" id=\"references-22\">References<\/h2>\n\n\n\n<ul class=\"wp-block-list\"><li>Proposal IPFS: https:\/\/ipnso-com.ipns.dweb.link\/?cid=Qmd7G7L6xinunTLU9JorPLYyFCLGRarXEn7RngdNYgNH3B<\/li><li>Governance Action: https:\/\/gov.tools\/connected\/governance_actions\/73e171a4c0730b4b59ecae271ab89f12a9d56360b02920e1f95107dbdc1d6762#6<\/li><li>Plutus repository: https:\/\/github.com\/IntersectMBO\/plutus<\/li><li>Plutus Core formal spec: https:\/\/plutus.cardano.intersectmbo.org\/resources\/plutus-core-spec.pdf<\/li><li>Plutus metatheory: https:\/\/plutus.cardano.intersectmbo.org\/metatheory\/latest\/<\/li><li>CIP-156: multiIndexArray (ratified)<\/li><li>CIP-168: BuiltinValue functions (PR #1090, not yet ratified)<\/li><li>CIP-152: Modules in UPLC (referenced model)<\/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 \/ Cardano High Assurance \/ 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\u3002Plutus \u306e performance\/correctness\/usability \u3092 3 \u8ef8\u3067\u524d\u9032\u3055\u305b\u308b\u63d0\u6848 \u20b311.88M \u306b\u5bfe\u3057 SIPO \u306f\u8cdb\u6210\uff08YES\uff09\u3002VacuumLabs co-venture \u3067 Plutus stewardship \u3092 IO \u96c6\u4e2d\u304b\u3089\u7d44\u7e54\u9593\u306b\u5206\u6563\u3002Aiken\/Pebble\/Scalus\/Futura\/Plinth \u306e\u5171\u901a\u30b3\u30f3\u30d1\u30a4\u30eb\u5148 Plutus \u3078\u306e\u6295\u8cc7\u306f\u5168\u8a00\u8a9e\u30fb\u5168 DApp\u30fb\u5168 alt-client \u306b\u8907\u5229\u7684\u306b\u52b9\u304f\u3002","protected":false},"author":1,"featured_media":45813,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[307,21,35,28,1],"tags":[317,331,383,385,319,371,65,321,381],"class_list":{"0":"post-45802","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-cardano","13":"tag-cardano-2030","14":"tag-cip-156","15":"tag-cip-168","16":"tag-drep","17":"tag-formal-verification","18":"tag-plutus","19":"tag-treasury-withdrawal","20":"tag-vacuumlabs"},"featured_image_urls":{"full":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2026\/05\/sition_sipo_three_transparent_layered_geometric_prisms_stacke_6cf5e795-100b-450c-921b-8c8197fa9b9b_1.png",1456,816,false],"thumbnail":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2026\/05\/sition_sipo_three_transparent_layered_geometric_prisms_stacke_6cf5e795-100b-450c-921b-8c8197fa9b9b_1-150x150.png",150,150,true],"medium":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2026\/05\/sition_sipo_three_transparent_layered_geometric_prisms_stacke_6cf5e795-100b-450c-921b-8c8197fa9b9b_1-300x168.png",300,168,true],"medium_large":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2026\/05\/sition_sipo_three_transparent_layered_geometric_prisms_stacke_6cf5e795-100b-450c-921b-8c8197fa9b9b_1-768x430.png",768,430,true],"large":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2026\/05\/sition_sipo_three_transparent_layered_geometric_prisms_stacke_6cf5e795-100b-450c-921b-8c8197fa9b9b_1-1024x574.png",900,504,true],"1536x1536":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2026\/05\/sition_sipo_three_transparent_layered_geometric_prisms_stacke_6cf5e795-100b-450c-921b-8c8197fa9b9b_1.png",1456,816,false],"2048x2048":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2026\/05\/sition_sipo_three_transparent_layered_geometric_prisms_stacke_6cf5e795-100b-450c-921b-8c8197fa9b9b_1.png",1456,816,false],"dp-widget-thumb":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2026\/05\/sition_sipo_three_transparent_layered_geometric_prisms_stacke_6cf5e795-100b-450c-921b-8c8197fa9b9b_1-140x96.png",140,96,true],"dp-widget-thumb-2x":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2026\/05\/sition_sipo_three_transparent_layered_geometric_prisms_stacke_6cf5e795-100b-450c-921b-8c8197fa9b9b_1-280x192.png",280,192,true],"dp-related-thumb":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2026\/05\/sition_sipo_three_transparent_layered_geometric_prisms_stacke_6cf5e795-100b-450c-921b-8c8197fa9b9b_1-250x154.png",250,154,true],"dp-related-thumb-2x":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2026\/05\/sition_sipo_three_transparent_layered_geometric_prisms_stacke_6cf5e795-100b-450c-921b-8c8197fa9b9b_1-500x308.png",500,308,true],"dp-archive-thumb":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2026\/05\/sition_sipo_three_transparent_layered_geometric_prisms_stacke_6cf5e795-100b-450c-921b-8c8197fa9b9b_1-450x252.png",450,252,true],"dp-archive-thumb-2x":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2026\/05\/sition_sipo_three_transparent_layered_geometric_prisms_stacke_6cf5e795-100b-450c-921b-8c8197fa9b9b_1-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\/45802","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=45802"}],"version-history":[{"count":1,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/posts\/45802\/revisions"}],"predecessor-version":[{"id":45823,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/posts\/45802\/revisions\/45823"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/media\/45813"}],"wp:attachment":[{"href":"https:\/\/sipo.tokyo\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=45802"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=45802"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=45802"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}