{"id":42879,"date":"2025-09-06T09:27:03","date_gmt":"2025-09-06T00:27:03","guid":{"rendered":"https:\/\/sipo.tokyo\/?p=42879"},"modified":"2025-09-06T09:27:03","modified_gmt":"2025-09-06T00:27:03","slug":"post-42879","status":"publish","type":"post","link":"https:\/\/sipo.tokyo\/?p=42879","title":{"rendered":"IOG\u30d6\u30ed\u30b0\u300e\u30ab\u30eb\u30c0\u30ce\u306b\u30bc\u30ed\u77e5\u8b58\u8a3c\u660e\u3092\u3082\u305f\u3089\u3059\u300cHalo2-Plutus Verifier\u300d\u300f\u3068\u306f\uff1a\u89e3\u8aac\u30fb\u5168\u7ffb\u8a33"},"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=\"#e382abe383abe38380e3838ee381abe382bce383ade79fa5e8ad98e8a8bce6988ee38292e38282e3819fe38289e38199e3808chalo2-plutus-verifiere3808de381a8-1\">\u30ab\u30eb\u30c0\u30ce\u306b\u30bc\u30ed\u77e5\u8b58\u8a3c\u660e\u3092\u3082\u305f\u3089\u3059\u300cHalo2-Plutus Verifier\u300d\u3068\u306f<\/a><\/li><li><a href=\"#ioge38396e383ade382b0e3808ee382abe383abe38380e3838ee381abe382bce383ade79fa5e8ad98e8a8bce6988ee38292e38282e3819fe38289e38199e3808chalo2-pl-2\">IOG\u30d6\u30ed\u30b0\u300e\u30ab\u30eb\u30c0\u30ce\u306b\u30bc\u30ed\u77e5\u8b58\u8a3c\u660e\u3092\u3082\u305f\u3089\u3059\u300cHalo2-Plutus Verifier\u300d\u300f\u3068\u306f\uff1a\u5168\u7ffb\u8a33<\/a><ul><li><a href=\"#e382abe383abe38380e3838ee381abe382bce383ade79fa5e8ad98e8a8bce6988ee38292e5b08ee585a5e38199e3828befbc9ahalo2-plutuse6a49ce8a8bce38384-3\">\u30ab\u30eb\u30c0\u30ce\u306b\u30bc\u30ed\u77e5\u8b58\u8a3c\u660e\u3092\u5c0e\u5165\u3059\u308b\uff1aHalo2-Plutus\u691c\u8a3c\u30c4\u30fc\u30eb<\/a><\/li><li><a href=\"#halo2-plutuse6a49ce8a8bce38384e383bce383abe381a8e381afefbc9f-4\">Halo2-Plutus\u691c\u8a3c\u30c4\u30fc\u30eb\u3068\u306f\uff1f<\/a><\/li><li><a href=\"#e8b5b7e6ba90e381a8e382b3e383a9e3839ce383ace383bce382b7e383a7e383b3-5\">\u8d77\u6e90\u3068\u30b3\u30e9\u30dc\u30ec\u30fc\u30b7\u30e7\u30f3<\/a><\/li><li><a href=\"#e4b8bbe381aae8b2a2e78cae-6\">\u4e3b\u306a\u8ca2\u732e<\/a><ul><li><a href=\"#e29c85-halo2e8a8bce6988ee381aee7949fe68890-7\">\u2705 Halo2\u8a3c\u660e\u306e\u751f\u6210<\/a><\/li><li><a href=\"#e29c85-atmse381abe5afbee38199e3828bhalo2e8a8bce6988e-8\">\u2705 ATMS\u306b\u5bfe\u3059\u308bHalo2\u8a3c\u660e<\/a><\/li><li><a href=\"#e29c85-e5bda2e5bc8fe6a49ce8a8bcefbc88formal-verificationefbc89-9\">\u2705 \u5f62\u5f0f\u691c\u8a3c\uff08Formal Verification\uff09<\/a><\/li><li><a href=\"#e29c85-msme381abe996a2e38199e3828bcipe8b2a2e78cae-10\">\u2705 MSM\u306b\u95a2\u3059\u308bCIP\u8ca2\u732e<\/a><\/li><li><a href=\"#e29c85-e5868de78fbee58fafe883bde381aae9968be799bae792b0e5a283-11\">\u2705 \u518d\u73fe\u53ef\u80fd\u306a\u958b\u767a\u74b0\u5883<\/a><\/li><\/ul><\/li><li><a href=\"#e68a80e8a193e79a84e381aae68890e69e9ce381a8e38381e383a3e383ace383b3e382b8-12\">\u6280\u8853\u7684\u306a\u6210\u679c\u3068\u30c1\u30e3\u30ec\u30f3\u30b8<\/a><\/li><li><a href=\"#e38193e381aee38397e383ade38388e382bfe382a4e38397e381afe381aae3819ce5bdb9e7ab8be381a4e381aee3818befbc9f-13\">\u3053\u306e\u30d7\u30ed\u30c8\u30bf\u30a4\u30d7\u306f\u306a\u305c\u5f79\u7acb\u3064\u306e\u304b\uff1f<\/a><\/li><li><a href=\"#e382b3e3839fe383a5e3838be38386e382a3e381aee5a3b0-14\">\u30b3\u30df\u30e5\u30cb\u30c6\u30a3\u306e\u58f0<\/a><\/li><li><a href=\"#e683b3e5ae9ae38195e3828ce3828be383a6e383bce382b9e382b1e383bce382b9-15\">\u60f3\u5b9a\u3055\u308c\u308b\u30e6\u30fc\u30b9\u30b1\u30fc\u30b9<\/a><\/li><li><a href=\"#e381bee381a8e38281-16\">\u307e\u3068\u3081<\/a><\/li><\/ul><\/div><h3 class=\"wp-block-heading deb-block deb-block-300ca81\" id=\"e382abe383abe38380e3838ee381abe382bce383ade79fa5e8ad98e8a8bce6988ee38292e38282e3819fe38289e38199e3808chalo2-plutus-verifiere3808de381a8-1\"><strong>\u30ab\u30eb\u30c0\u30ce\u306b\u30bc\u30ed\u77e5\u8b58\u8a3c\u660e\u3092\u3082\u305f\u3089\u3059\u300cHalo2-Plutus Verifier\u300d\u3068\u306f<\/strong><\/h3>\n\n\n\n<p class=\"deb-block deb-block-50ffc93\"><strong>\u30d7\u30e9\u30a4\u30d0\u30b7\u30fc\u30fb\u30b9\u30b1\u30fc\u30e9\u30d3\u30ea\u30c6\u30a3\u30fb\u76f8\u4e92\u904b\u7528\u6027\u3092\u652f\u3048\u308b\u65b0\u305f\u306a\u6280\u8853\u57fa\u76e4<\/strong><\/p>\n\n\n\n<p class=\"deb-block deb-block-6894308\"><strong>\u306f\u3058\u3081\u306b<\/strong><\/p>\n\n\n\n<p class=\"deb-block deb-block-e84eefb\">\u30d6\u30ed\u30c3\u30af\u30c1\u30a7\u30fc\u30f3\u6280\u8853\u304c\u9032\u5316\u3092\u7d9a\u3051\u308b\u4e2d\u3067\u3001\u300c\u30bc\u30ed\u77e5\u8b58\u8a3c\u660e\uff08Zero-Knowledge Proof, ZKP\uff09\u300d\u306f\u3001\u500b\u4eba\u60c5\u5831\u3084\u53d6\u5f15\u5185\u5bb9\u3092\u958b\u793a\u305b\u305a\u306b\u6b63\u5f53\u6027\u3060\u3051\u3092\u8a3c\u660e\u3067\u304d\u308b\u9769\u65b0\u7684\u306a\u6697\u53f7\u6280\u8853\u3068\u3057\u3066\u6ce8\u76ee\u3092\u96c6\u3081\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-3a93aa6\">\u305d\u3093\u306aZKP\u3092\u30ab\u30eb\u30c0\u30ce\u306b\u5c0e\u5165\u3059\u308b\u305f\u3081\u306e\u30aa\u30fc\u30d7\u30f3\u30bd\u30fc\u30b9\u30d7\u30ed\u30c8\u30bf\u30a4\u30d7\u304c\u300cHalo2-Plutus Verifier\u300d\u3067\u3059\u3002<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<p class=\"deb-block deb-block-80373f6\"><strong>Halo2-Plutus Verifier\u3068\u306f\uff1f<\/strong><\/p>\n\n\n\n<p class=\"deb-block deb-block-955cbaa\">\u300cHalo2-Plutus Verifier\u300d\u306f\u3001IOG\u306e\u7814\u7a76\u958b\u767a\u90e8\u9580\u3067\u3042\u308bInput Output Research\uff08IOR\uff09\u304c\u4e2d\u5fc3\u3068\u306a\u3063\u3066\u958b\u767a\u3057\u305f\u30c4\u30fc\u30eb\u3067\u3001ZK\u8a3c\u660e\u30b7\u30b9\u30c6\u30e0\u300cHalo2\u300d\u3092\u30ab\u30eb\u30c0\u30ce\u306e\u30b9\u30de\u30fc\u30c8\u30b3\u30f3\u30c8\u30e9\u30af\u30c8\u8a00\u8a9ePlutus\u306b\u7d71\u5408\u3059\u308b\u3053\u3068\u3092\u76ee\u7684\u3068\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-bb4b5c9\">\u3053\u306e\u30c4\u30fc\u30eb\u306b\u3088\u308a\u3001\u30d7\u30e9\u30a4\u30d0\u30b7\u30fc\u3092\u4fdd\u3061\u306a\u304c\u3089\u30aa\u30f3\u30c1\u30a7\u30fc\u30f3\u3067\u306eZK\u8a3c\u660e\u306e\u691c\u8a3c\u304c\u53ef\u80fd\u306b\u306a\u308a\u307e\u3059\u3002\u3068\u304f\u306b\u3001\u30ab\u30eb\u30c0\u30ce\u3068Midnight\u9593\u306ezk\u30d6\u30ea\u30c3\u30b8\u306b\u304a\u3044\u3066\u3001\u4fe1\u983c\u6027\u306e\u9ad8\u3044\u8a3c\u660e\u30b7\u30b9\u30c6\u30e0\u3068\u3057\u3066\u6d3b\u7528\u3055\u308c\u308b\u3053\u3068\u304c\u60f3\u5b9a\u3055\u308c\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<p class=\"deb-block deb-block-ee24b72\"><strong>\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306e\u80cc\u666f\u3068\u5354\u529b\u4f53\u5236<\/strong><\/p>\n\n\n\n<p class=\"deb-block deb-block-8a441d3\">\u3053\u306e\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306f\u3001IOR\u30fbIntersect\u30fb\u6280\u8853\u904b\u55b6\u59d4\u54e1\u4f1a\uff08TSC\uff09\u306e\u4e09\u8005\u306b\u3088\u308b\u5171\u540c\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u3067\u3042\u308a\u3001IOR\u306e2025\u5e74\u63d0\u6848\u306b\u542b\u307e\u308c\u308b\u300cRSnarks\u300d\u30ef\u30fc\u30af\u30b9\u30c8\u30ea\u30fc\u30e0\u306e\u4e00\u74b0\u3068\u3057\u3066\u9032\u3081\u3089\u308c\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-d05aaa2\">\u958b\u767a\u306b\u306f\u5fdc\u7528\u6697\u53f7\u306e\u5c02\u9580\u5bb6\u304c\u6df1\u304f\u95a2\u4e0e\u3057\u3066\u304a\u308a\u3001\u7279\u306b\u30da\u30a2\u30ea\u30f3\u30b0\u30c1\u30a7\u30c3\u30af\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306eBN256\u304b\u3089BLS12-381\u3078\u306e\u9069\u5fdc\u306b\u3088\u308a\u3001\u518d\u5e30\u7684\u306a\u8a3c\u660e\uff08recursive proofs\uff09\u306e\u691c\u8a3c\u304c\u53ef\u80fd\u3068\u306a\u308a\u307e\u3057\u305f\u3002\u307e\u305f\u3001Midnight\u30c1\u30fc\u30e0\u304a\u3088\u3073Plutus\u30c1\u30fc\u30e0\u3068\u3082\u9023\u643a\u3057\u3001\u73fe\u5b9f\u7684\u306a\u30e6\u30fc\u30b9\u30b1\u30fc\u30b9\u306b\u6cbf\u3063\u305f\u8a2d\u8a08\u304c\u884c\u308f\u308c\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<p class=\"deb-block deb-block-490e8fc\"><strong>\u4e3b\u306a\u6280\u8853\u7684\u6210\u679c\u3068\u6a5f\u80fd<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list wp-block-list list-col-1 inline-img-left deb-block deb-block-0b5bfb5\">\n<li class=\"\"><strong>Plinth\u5411\u3051\u306e\u691c\u8a3c\u30b3\u30fc\u30c9\u306e\u81ea\u52d5\u751f\u6210<\/strong> \u3000Halo2\u306e\u56de\u8def\u5b9a\u7fa9\u304b\u3089\u3001Plinth\u30b9\u30de\u30fc\u30c8\u30b3\u30f3\u30c8\u30e9\u30af\u30c8\u306b\u9069\u3057\u305fHaskell\u30b3\u30fc\u30c9\u3092\u81ea\u52d5\u3067\u751f\u6210\u3067\u304d\u307e\u3059\u3002<\/li>\n\n\n\n<li class=\"\"><strong>ATMS\uff08Ad-Hoc Threshold Multisignatures\uff09\u3078\u306e\u5bfe\u5fdc<\/strong> \u3000Midnight zk\u30d6\u30ea\u30c3\u30b8\u3067\u91cd\u8981\u306a\u30de\u30eb\u30c1\u7f72\u540d\u306eZK\u691c\u8a3c\u3092\u5b9f\u73fe\u3002<\/li>\n\n\n\n<li class=\"\"><strong>\u5f62\u5f0f\u691c\u8a3c\uff08Formal Verification\uff09<\/strong> \u3000EasyCrypt\u3092\u7528\u3044\u3066\u3001\u975e\u30cd\u30a4\u30c6\u30a3\u30d6\u7b97\u8853\u6f14\u7b97\uff08FFA\uff09\u306e\u5065\u5168\u6027\u3068\u5b8c\u5168\u6027\u3092\u8a3c\u660e\u3002<\/li>\n\n\n\n<li class=\"\"><strong>MSM\uff08Multi-Scalar Multiplication\uff09\u6700\u9069\u5316\u306e\u305f\u3081\u306eCIP-133<\/strong> \u3000Plutus\u306bMSM\u30d3\u30eb\u30c8\u30a4\u30f3\u95a2\u6570\u3092\u8ffd\u52a0\u3057\u3001Halo2\u30d7\u30ed\u30c8\u30b3\u30eb\u306e\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9\u3092\u5927\u5e45\u306b\u6539\u5584\u3002<\/li>\n\n\n\n<li class=\"\"><strong>\u518d\u73fe\u6027\u3042\u308b\u958b\u767a\u74b0\u5883\u306e\u63d0\u4f9b<\/strong> \u3000Nix\u3068Cabal\u3092\u7528\u3044\u3066\u3001\u4f9d\u5b58\u95a2\u4fc2\u3068\u30d3\u30eb\u30c9\u30d7\u30ed\u30bb\u30b9\u3092\u6a19\u6e96\u5316\u3002<\/li>\n<\/ul>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<p class=\"deb-block deb-block-1dd9d41\"><strong>\u3053\u306e\u30d7\u30ed\u30c8\u30bf\u30a4\u30d7\u304c\u3082\u305f\u3089\u3059\u610f\u7fa9<\/strong><\/p>\n\n\n\n<p class=\"deb-block deb-block-565f709\">Halo2-Plutus Verifier\u306f\u3001\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u70b9\u3067\u30ab\u30eb\u30c0\u30ce\u30a8\u30b3\u30b7\u30b9\u30c6\u30e0\u306b\u9769\u65b0\u3092\u3082\u305f\u3089\u3057\u307e\u3059\u3002<\/p>\n\n\n\n<ul class=\"wp-block-list wp-block-list list-col-1 inline-img-left deb-block deb-block-04e2bcc\">\n<li class=\"\"><strong>\u30d7\u30e9\u30a4\u30d0\u30b7\u30fc\u3092\u4fdd\u3063\u305fDApp\u306e\u69cb\u7bc9<\/strong> \u3000\u4f8b\uff1a\u53d6\u5f15\u91d1\u984d\u3092\u96a0\u3057\u3064\u3064\u51e6\u7406\u306e\u6b63\u5f53\u6027\u3092\u8a3c\u660e<\/li>\n\n\n\n<li class=\"\"><strong>\u30b9\u30b1\u30fc\u30e9\u30d3\u30ea\u30c6\u30a3\u306e\u5411\u4e0a<\/strong> \u3000\u91cd\u3044\u8a08\u7b97\u3092\u30aa\u30d5\u30c1\u30a7\u30fc\u30f3\u3067\u51e6\u7406\u3057\u3001\u30aa\u30f3\u30c1\u30a7\u30fc\u30f3\u3067\u306f\u7d50\u679c\u3060\u3051\u3092\u691c\u8a3c<\/li>\n\n\n\n<li class=\"\"><strong>Midnight zk\u30d6\u30ea\u30c3\u30b8\u3092\u53ef\u80fd\u306b\u3059\u308b\u76f8\u4e92\u904b\u7528\u6027<\/strong><\/li>\n\n\n\n<li class=\"\"><strong>\u3055\u307e\u3056\u307e\u306a\u5fdc\u7528\u5206\u91ce<\/strong> \u3000DeFi\u3001DAO\u6295\u7968\u3001\u898f\u5236\u5bfe\u5fdc\u3001\u30b5\u30d7\u30e9\u30a4\u30c1\u30a7\u30fc\u30f3\u306a\u3069\u306b\u5e83\u304f\u6d3b\u7528\u53ef\u80fd<\/li>\n<\/ul>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<p class=\"deb-block deb-block-6d41da4\"><strong>\u958b\u767a\u8005\u30b3\u30df\u30e5\u30cb\u30c6\u30a3\u306e\u58f0<\/strong><\/p>\n\n\n\n<p class=\"deb-block deb-block-b8ad7c0\">Midgard\uff08\u30aa\u30d7\u30c6\u30a3\u30df\u30b9\u30c6\u30a3\u30c3\u30af\u30fb\u30ed\u30fc\u30eb\u30a2\u30c3\u30d7\u306e\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30af\uff09\u3092\u958b\u767a\u3059\u308bPhilip DiSarro\u6c0f\u306f\u6b21\u306e\u3088\u3046\u306b\u8ff0\u3079\u3066\u3044\u307e\u3059\uff1a<\/p>\n\n\n\n<blockquote class=\"wp-block-quote deb-block deb-block-b7a3061\">\n<p class=\"deb-block deb-block-a60520e\">\u300c\u3053\u306eVerifier\u306f\u3001ZK\u6280\u8853\u3092\u30ab\u30eb\u30c0\u30ce\u3067\u5b9f\u7528\u5316\u3059\u308b\u4e0a\u3067\u5927\u304d\u306a\u4e00\u6b69\u3067\u3059\u3002\u30b3\u30fc\u30c9\u3082EUTXO\u30e2\u30c7\u30eb\u3084Plutus\u306e\u5236\u7d04\u306b\u4e01\u5be7\u306b\u5408\u308f\u305b\u3066\u3042\u308a\u3001\u79c1\u305f\u3061\u306e\u3088\u3046\u306a\u30c1\u30fc\u30e0\u306b\u3068\u3063\u3066\u975e\u5e38\u306b\u5fc3\u5f37\u3044\u57fa\u76e4\u3067\u3059\u3002\u300d<\/p>\n<\/blockquote>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<p class=\"deb-block deb-block-d700bda\"><strong>\u60f3\u5b9a\u3055\u308c\u308b\u30e6\u30fc\u30b9\u30b1\u30fc\u30b9<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list wp-block-list list-col-1 inline-img-left deb-block deb-block-7804c96\">\n<li class=\"\"><strong>Midnight-Cardano zk\u30d6\u30ea\u30c3\u30b8<\/strong>\uff1aMidnight\u306e\u72b6\u614b\u3092\u30ab\u30eb\u30c0\u30ce\u4e0a\u3067\u691c\u8a3c<\/li>\n\n\n\n<li class=\"\"><strong>\u30d7\u30e9\u30a4\u30d9\u30fc\u30c8\u6295\u7968<\/strong>\uff1a\u6295\u7968\u8cc7\u683c\u3092\u79d8\u533f\u3057\u305f\u307e\u307e\u8a3c\u660e<\/li>\n\n\n\n<li class=\"\"><strong>Confidential DeFi<\/strong>\uff1a\u53d6\u5f15\u91d1\u984d\u3092\u975e\u516c\u958b\u306b\u4fdd\u3063\u305f\u307e\u307e\u691c\u8a3c<\/li>\n\n\n\n<li class=\"\"><strong>\u30b5\u30d7\u30e9\u30a4\u30c1\u30a7\u30fc\u30f3<\/strong>\uff1a\u5546\u54c1\u306e\u5c5e\u6027\uff08\u4f8b\uff1a\u7523\u5730\uff09\u3060\u3051\u3092\u8a3c\u660e<\/li>\n<\/ul>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<p class=\"deb-block deb-block-766c208\"><strong>\u307e\u3068\u3081<\/strong><\/p>\n\n\n\n<p class=\"deb-block deb-block-fcb3e0f\">Halo2-Plutus Verifier\u306f\u3001\u30ab\u30eb\u30c0\u30ce\u306bZK\u8a3c\u660e\u3092\u672c\u683c\u7684\u306b\u5c0e\u5165\u3059\u308b\u305f\u3081\u306e\u91cd\u8981\u306a\u30b9\u30c6\u30c3\u30d7\u3067\u3059\u3002\u30d7\u30e9\u30a4\u30d0\u30b7\u30fc\u3001\u30b9\u30b1\u30fc\u30e9\u30d3\u30ea\u30c6\u30a3\u3001\u76f8\u4e92\u904b\u7528\u6027\u306e3\u8981\u7d20\u3092\u6e80\u305f\u3057\u3001\u5c06\u6765\u7684\u306b\u306f\u591a\u69d8\u306aDApp\u3084\u793e\u4f1a\u5b9f\u88c5\u306b\u3082\u3064\u306a\u304c\u308b\u53ef\u80fd\u6027\u304c\u3042\u308a\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-64d5c8d\">\u6280\u8853\u7684\u8ab2\u984c\u3092\u4e57\u308a\u8d8a\u3048\u306a\u304c\u3089\u3082\u3001\u30aa\u30fc\u30d7\u30f3\u30bd\u30fc\u30b9\u3068\u3057\u3066\u958b\u767a\u304c\u9032\u3081\u3089\u308c\u3066\u3044\u308b\u70b9\u3082\u6ce8\u76ee\u3067\u3059\u3002\u4eca\u5f8c\u3001\u958b\u767a\u8005\u3084\u30b3\u30df\u30e5\u30cb\u30c6\u30a3\u306b\u3088\u308b\u53c2\u52a0\u304c\u5e83\u304c\u308b\u3053\u3068\u3067\u3001\u30ab\u30eb\u30c0\u30ce\u306eZK\u30a8\u30b3\u30b7\u30b9\u30c6\u30e0\u306f\u3055\u3089\u306b\u9032\u5316\u3057\u3066\u3044\u304f\u3053\u3068\u3067\u3057\u3087\u3046\u3002<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<p class=\"deb-block deb-block-707b705\">\u2699\ufe0f GitHub\u30ea\u30dd\u30b8\u30c8\u30ea\u3084CIP\u63d0\u6848\u306a\u3069\u3092\u78ba\u8a8d\u3057\u305f\u3044\u65b9\u306f\u3001\u516c\u5f0f\u306e\u30c9\u30ad\u30e5\u30e1\u30f3\u30c8\u3082\u305c\u3072\u30c1\u30a7\u30c3\u30af\u3057\u3066\u307f\u3066\u304f\u3060\u3055\u3044\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-c3ea6b7\">\u4ee5\u4e0b\u306fIOG\u30d6\u30ed\u30b0\u300c<a href=\"https:\/\/iohk.io\/en\/blog\/posts\/2025\/08\/26\/unlocking-zero-knowledge-proofs-for-cardano-the-halo2-plutus-verifier\/\" data-type=\"link\" data-id=\"https:\/\/iohk.io\/en\/blog\/posts\/2025\/08\/26\/unlocking-zero-knowledge-proofs-for-cardano-the-halo2-plutus-verifier\/\">Unlocking zero-knowledge proofs for Cardano: the Halo2-Plutus verifier<\/a>\u300d\u3092\u7ffb\u8a33\u3057\u305f\u3082\u306e\u3067\u3059\u3002<\/p>\n\n\n\n<h3 class=\"wp-block-heading deb-block deb-block-36d4def\" id=\"ioge38396e383ade382b0e3808ee382abe383abe38380e3838ee381abe382bce383ade79fa5e8ad98e8a8bce6988ee38292e38282e3819fe38289e38199e3808chalo2-pl-2\">IOG\u30d6\u30ed\u30b0\u300e<strong>\u30ab\u30eb\u30c0\u30ce\u306b\u30bc\u30ed\u77e5\u8b58\u8a3c\u660e\u3092\u3082\u305f\u3089\u3059\u300cHalo2-Plutus Verifier\u300d\u300f\u3068\u306f<\/strong><br>\uff1a\u5168\u7ffb\u8a33<\/h3>\n\n\n\n<h4 class=\"wp-block-heading deb-block deb-block-72d2978\" id=\"e382abe383abe38380e3838ee381abe382bce383ade79fa5e8ad98e8a8bce6988ee38292e5b08ee585a5e38199e3828befbc9ahalo2-plutuse6a49ce8a8bce38384-3\"><strong>\u30ab\u30eb\u30c0\u30ce\u306b\u30bc\u30ed\u77e5\u8b58\u8a3c\u660e\u3092\u5c0e\u5165\u3059\u308b\uff1aHalo2-Plutus\u691c\u8a3c\u30c4\u30fc\u30eb<\/strong><\/h4>\n\n\n\n<p class=\"deb-block deb-block-3e2d0b1\">\u30d7\u30e9\u30a4\u30d0\u30b7\u30fc\u3001\u30b9\u30b1\u30fc\u30e9\u30d3\u30ea\u30c6\u30a3\u3001\u76f8\u4e92\u904b\u7528\u6027\u306b\u512a\u308c\u305f\u30a2\u30d7\u30ea\u30b1\u30fc\u30b7\u30e7\u30f3\u306e\u305f\u3081\u306b\u3001\u30bc\u30ed\u77e5\u8b58\u8a3c\u660e\u3092\u30ab\u30eb\u30c0\u30ce\u3078\u3082\u305f\u3089\u3059\u30aa\u30fc\u30d7\u30f3\u30bd\u30fc\u30b9\u306e\u30d7\u30ed\u30c8\u30bf\u30a4\u30d7\u306b\u3064\u3044\u3066\u89e3\u8aac\u3059\u308b<\/p>\n\n\n\n<p class=\"deb-block deb-block-a879738\"><strong>\u8457\uff1aKris Bennett<\/strong>\u6c0f<\/p>\n\n\n\n<p class=\"deb-block deb-block-0ea1150\">\u30d6\u30ed\u30c3\u30af\u30c1\u30a7\u30fc\u30f3\u6280\u8853\u304c\u6025\u901f\u306b\u9032\u5316\u3059\u308b\u4e2d\u3001\u30bc\u30ed\u77e5\u8b58\u8a3c\u660e\uff08ZKP\uff09\u306f\u3001\u30d7\u30e9\u30a4\u30d0\u30b7\u30fc\u3001\u30b9\u30b1\u30fc\u30e9\u30d3\u30ea\u30c6\u30a3\u3001\u30bb\u30ad\u30e5\u30ea\u30c6\u30a3\u3092\u9ad8\u3081\u308b\u4e2d\u6838\u6280\u8853\u3068\u306a\u3063\u3066\u3044\u308b\u3002Halo2-Plutus\u691c\u8a3c\u30c4\u30fc\u30eb\u306f\u3001Intersect\u306e\u6280\u8853\u6307\u5c0e\u59d4\u54e1\u4f1a\uff08Technical Steering Committee\uff09\u304c\u63a8\u9032\u3059\u308b\u512a\u5148\u4e8b\u9805\u306e\u4e00\u74b0\u3068\u3057\u3066\u3001Input Output Research\uff08IOR\uff09\u304c\u4e3b\u5c0e\u3059\u308b\u30aa\u30fc\u30d7\u30f3\u30bd\u30fc\u30b9\u30fb\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u3067\u3042\u308b\u3002\u3053\u306e\u30c4\u30fc\u30eb\u306f\u3001Halo2\u306b\u3088\u308b\u9ad8\u5ea6\u306a\u6697\u53f7\u6280\u8853\u3068\u3001\u30ab\u30eb\u30c0\u30ce\u306e\u30b9\u30de\u30fc\u30c8\u30b3\u30f3\u30c8\u30e9\u30af\u30c8\u30fb\u30d7\u30e9\u30c3\u30c8\u30d5\u30a9\u30fc\u30e0\u300cPlutus\uff08\u304a\u3088\u3073\u305d\u306e\u9ad8\u7d1a\u8a00\u8a9e\u3067\u3042\u308bPlinth\uff09\u300d\u3092\u63a5\u7d9a\u3059\u308b\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-721973a\">\u672c\u8a18\u4e8b\u3067\u306f\u3001\u3053\u306e\u691c\u8a3c\u30c4\u30fc\u30eb\u306e\u76ee\u7684\u3001\u6a5f\u80fd\u3001\u305d\u3057\u3066\u3068\u308a\u308f\u3051Midnight\u3068Cardano\u3092\u7d50\u3076zk-\u30d6\u30ea\u30c3\u30b8\u306b\u304a\u3044\u3066\u3001\u5206\u6563\u578b\u30a2\u30d7\u30ea\u30b1\u30fc\u30b7\u30e7\u30f3\uff08DApps\uff09\u3092\u5909\u9769\u3059\u308b\u53ef\u80fd\u6027\u306b\u3064\u3044\u3066\u63a2\u308b\u3002<\/p>\n\n\n\n<h4 class=\"wp-block-heading deb-block deb-block-ebbb00b\" id=\"halo2-plutuse6a49ce8a8bce38384e383bce383abe381a8e381afefbc9f-4\"><strong>Halo2-Plutus\u691c\u8a3c\u30c4\u30fc\u30eb\u3068\u306f\uff1f<\/strong><\/h4>\n\n\n\n<p class=\"deb-block deb-block-25115c8\">Halo2-Plutus\u691c\u8a3c\u30c4\u30fc\u30eb\u3068\u306f\u3001Halo2\u3092\u7528\u3044\u305f\u30bc\u30ed\u77e5\u8b58\u8a3c\u660e\u306e\u751f\u6210\u3068\u691c\u8a3c\u3092\u53ef\u80fd\u306b\u3057\u3001\u305d\u308c\u3092Plinth\u30b9\u30de\u30fc\u30c8\u30b3\u30f3\u30c8\u30e9\u30af\u30c8\u3078\u7d71\u5408\u3059\u308b\u305f\u3081\u306e\u30aa\u30fc\u30d7\u30f3\u30bd\u30fc\u30b9\u30fb\u30ea\u30dd\u30b8\u30c8\u30ea\uff08<a href=\"https:\/\/github.com\/input-output-hk\/plutus-halo2-verifier-gen\" target=\"_blank\" rel=\"noreferrer noopener\">open-source repository<\/a>\uff09\u3067\u3042\u308b\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-dfaf403\">\u7814\u7a76\u30c1\u30fc\u30e0\u3068\u30a4\u30ce\u30d9\u30fc\u30b7\u30e7\u30f3\u30c1\u30fc\u30e0\u306e\u5354\u529b\u306e\u3082\u3068\u3001\u5fdc\u7528\u6697\u53f7\u306e\u5c02\u9580\u5bb6\u306e\u591a\u5927\u306a\u8ca2\u732e\u306b\u3088\u308a\u958b\u767a\u3055\u308c\u305f\u3053\u306e\u30c4\u30fc\u30eb\u306f\u3001\u30aa\u30f3\u30c1\u30a7\u30fc\u30f3\u3067\u306eHalo2\u691c\u8a3c\u3092\u53ef\u80fd\u306b\u3057\u3001\u30d7\u30e9\u30a4\u30d0\u30b7\u30fc\u4fdd\u8b77\u578bDApp\u306e\u958b\u767a\u3092\u652f\u63f4\u3059\u308b\u3053\u3068\u3092\u76ee\u7684\u3068\u3057\u3066\u3044\u308b\u3002\u4e3b\u306a\u76ee\u6a19\u306fMidnight-Cardano\u9593\u306ezk-\u30d6\u30ea\u30c3\u30b8\u3092\u30b5\u30dd\u30fc\u30c8\u3059\u308b\u3053\u3068\u3067\u3042\u308b\u304c\u3001\u4f1a\u54e1\u8a3c\u660e\u3001\u7bc4\u56f2\u8a3c\u660e\u3001\u79d8\u533f\u578b\u30c8\u30e9\u30f3\u30b6\u30af\u30b7\u30e7\u30f3\u306a\u3069\u3001\u5e45\u5e83\u3044\u5fdc\u7528\u3082\u53ef\u80fd\u306b\u3057\u3066\u3044\u308b\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-f75ee8b\"><strong>\u4e3b\u306a\u6a5f\u80fd\u306f\u4ee5\u4e0b\u306e\u901a\u308a\uff1a<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list wp-block-list list-col-1 inline-img-left deb-block deb-block-bfdb0dd\">\n<li class=\"\"><strong>Plinth\u7528\u691c\u8a3c\u30b3\u30fc\u30c9\u306e\u81ea\u52d5\u751f\u6210<\/strong>\uff1aHalo2\u306e\u56de\u8def\u8a18\u8ff0\u304b\u3089\u3001Plinth\u691c\u8a3c\u30b3\u30fc\u30c9\u3092\u751f\u6210\u3059\u308b\u305f\u3081\u306e\u30c4\u30fc\u30eb\u3002<\/li>\n\n\n\n<li class=\"\"><strong>\u30a2\u30c9\u30db\u30c3\u30af\u95be\u5024\u30de\u30eb\u30c1\u30b7\u30b0\uff08<a href=\"https:\/\/ieeexplore.ieee.org\/stamp\/stamp.jsp?tp=&amp;arnumber=8835275\" target=\"_blank\" rel=\"noreferrer noopener\">ATMS<\/a>\uff09\u5411\u3051Halo2\u56de\u8def<\/strong>\uff1aATMS\u306b\u5bfe\u5fdc\u3059\u308bHalo2\u56de\u8def\u3092\u5b9f\u88c5\u3057\u3001\u305d\u308c\u3092\u30ab\u30eb\u30c0\u30ce\u4e0a\u306ePlutus\u30b9\u30de\u30fc\u30c8\u30b3\u30f3\u30c8\u30e9\u30af\u30c8\u3067\u691c\u8a3c\u53ef\u80fd\u306b\u3002<\/li>\n\n\n\n<li class=\"\"><strong>MSM\uff08\u30de\u30eb\u30c1\u30b9\u30ab\u30e9\u30fc\u4e57\u7b97\uff09\u5411\u3051CIP\u63d0\u6848<\/strong>\uff1a\u6697\u53f7\u30d7\u30ed\u30c8\u30b3\u30eb\u306e\u6027\u80fd\u6700\u9069\u5316\u3092\u76ee\u6307\u3059MSM\u7528CIP\uff08Cardano Improvement Proposal\uff09\u306e\u63d0\u6848\u3002<\/li>\n<\/ul>\n\n\n\n<p class=\"deb-block deb-block-1d62e7b\">\u3053\u306e\u30ea\u30dd\u30b8\u30c8\u30ea\u306f\u3001\u591a\u69d8\u306a\u30d7\u30ed\u30c8\u30bf\u30a4\u30d4\u30f3\u30b0\u30a8\u30f3\u30b8\u30cb\u30a2\u3001\u5fdc\u7528\u6697\u53f7\u5b66\u8005\u3001\u30a2\u30fc\u30ad\u30c6\u30af\u30c8\u3001\u5f62\u5f0f\u624b\u6cd5\u306e\u5c02\u9580\u5bb6\u304b\u3089\u306a\u308b\u30c1\u30fc\u30e0\u306b\u3088\u308a\u958b\u767a\u3055\u308c\u3066\u304a\u308a\u3001\u30d7\u30e9\u30a4\u30d0\u30b7\u30fc\u91cd\u8996\u578bDApps\u306e\u53ef\u80fd\u6027\u3092\u958b\u767a\u8005\u306b\u63d0\u793a\u3059\u308b\u305f\u3081\u306e\u30d7\u30ed\u30c8\u30bf\u30a4\u30d7\u3068\u306a\u3063\u3066\u3044\u308b\u3002<\/p>\n\n\n\n<h4 class=\"wp-block-heading deb-block deb-block-f8a3bfe\" id=\"e8b5b7e6ba90e381a8e382b3e383a9e3839ce383ace383bce382b7e383a7e383b3-5\"><strong>\u8d77\u6e90\u3068\u30b3\u30e9\u30dc\u30ec\u30fc\u30b7\u30e7\u30f3<\/strong><\/h4>\n\n\n\n<p class=\"deb-block deb-block-476f852\">\u3053\u306e\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306f\u3001IOR\uff08Input Output Research\uff09\u3001Intersect\u3001\u305d\u3057\u3066\u6280\u8853\u904b\u55b6\u59d4\u54e1\u4f1a\uff08Technical Steering Committee\uff09\u304c\u5354\u529b\u3057\u3066\u3001\u30ab\u30eb\u30c0\u30ce\u306e\u76f8\u4e92\u904b\u7528\u6027\u3068\u30d7\u30e9\u30a4\u30d0\u30b7\u30fc\u6a5f\u80fd\u3092\u5f37\u5316\u3059\u308b\u3053\u3068\u3092\u76ee\u7684\u306b\u53d6\u308a\u7d44\u3093\u3067\u3044\u308b\u3082\u306e\u3067\u3059\u3002\u3053\u308c\u3089\u306e\u6210\u679c\u306f\u3001IOR\u304c2025\u5e74\u306b\u63d0\u51fa\u3057\u305f\u63d0\u6848\uff08<a href=\"https:\/\/drive.google.com\/file\/d\/1rNYWLwazh0vX3TMWMRfDqQc6ffLnFTAE\/view\" target=\"_blank\" rel=\"noreferrer noopener\">IOR 2025 proposal<\/a>\uff09\u5185\u306e\u300cRSnarks\u300d\u30ef\u30fc\u30af\u30b9\u30c8\u30ea\u30fc\u30e0\u306e\u4e2d\u3067\u5b9f\u73fe\u3055\u308c\u307e\u3057\u305f\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-ceeb97e\">\u7814\u7a76\u3068\u30a4\u30ce\u30d9\u30fc\u30b7\u30e7\u30f3\u306e\u9023\u643a\u306f\u975e\u5e38\u306b\u91cd\u8981\u306a\u5f79\u5272\u3092\u679c\u305f\u3057\u3066\u304a\u308a\u3001\u3068\u304f\u306b\u5fdc\u7528\u6697\u53f7\u306e\u5c02\u9580\u5bb6\u305f\u3061\u304c\u3001\u8a3c\u660e\u30b7\u30b9\u30c6\u30e0\u306e\u8907\u96d1\u3055\u306b\u7acb\u3061\u5411\u304b\u3046\u4e0a\u3067\u4e2d\u5fc3\u7684\u306a\u5f79\u5272\u3092\u62c5\u3063\u3066\u3044\u307e\u3057\u305f\u3002\u5f7c\u3089\u306e\u5c02\u9580\u77e5\u8b58\u306b\u3088\u3063\u3066\u3001\u3082\u3068\u3082\u3068BN256\u7528\u306b\u958b\u767a\u3055\u308c\u305f\u6700\u9069\u306a\u30da\u30a2\u30ea\u30f3\u30b0\u30c1\u30a7\u30c3\u30af\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u3092\u3001BLS12-381\u3068\u3044\u3046\u6955\u5186\u66f2\u7dda\u306b\u9069\u5fdc\u3055\u305b\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3057\u305f\u3002\u3053\u308c\u306b\u3088\u308a\u3001\u30ab\u30eb\u30c0\u30ce\u4e0a\u3067\u306e\u52b9\u7387\u7684\u306a\u518d\u5e30\u7684\u8a3c\u660e\u306e\u691c\u8a3c\u304c\u53ef\u80fd\u306b\u306a\u3063\u305f\u306e\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-28e8839\">\u307e\u305f\u3001Midnight\u30c1\u30fc\u30e0\u3084Plutus\u30c1\u30fc\u30e0\u3068\u306e\u5bc6\u63a5\u306a\u9023\u643a\u306b\u3088\u3063\u3066\u3001\u3068\u304f\u306bzk\u30d6\u30ea\u30c3\u30b8\u306e\u3088\u3046\u306a\u73fe\u5b9f\u7684\u306a\u30cb\u30fc\u30ba\u306b\u5373\u3057\u305f\u8a2d\u8a08\u304c\u5b9f\u73fe\u3055\u308c\u307e\u3057\u305f\u3002<\/p>\n\n\n\n<h4 class=\"wp-block-heading deb-block deb-block-4ac16fe\" id=\"e4b8bbe381aae8b2a2e78cae-6\"><strong>\u4e3b\u306a\u8ca2\u732e<\/strong><\/h4>\n\n\n\n<h5 class=\"wp-block-heading deb-block deb-block-99e718c\" id=\"e29c85-halo2e8a8bce6988ee381aee7949fe68890-7\"><strong>\u2705 Halo2\u8a3c\u660e\u306e\u751f\u6210<\/strong><\/h5>\n\n\n\n<p class=\"deb-block deb-block-b763d01\">\u3053\u306e\u691c\u8a3c\u6a5f\u3067\u306f\u3001Rust\u3092\u4f7f\u3063\u3066\u3055\u307e\u3056\u307e\u306a\u64cd\u4f5c\uff08\u30c7\u30b8\u30bf\u30eb\u7f72\u540d\u3084\u518d\u5e30\u7684\u691c\u8a3c\u306a\u3069\uff09\u306b\u5bfe\u3059\u308bHalo2\u8a3c\u660e\u3092\u751f\u6210\u3057\u307e\u3059\u3002\u751f\u6210\u3055\u308c\u305f\u8a3c\u660e\u306fJSON\u30d5\u30a1\u30a4\u30eb\u3068\u3057\u3066\u30b7\u30ea\u30a2\u30e9\u30a4\u30ba\u3055\u308c\u3001\u5bfe\u5fdc\u3059\u308b\u691c\u8a3c\u30b3\u30fc\u30c9\u306fPlinth\u3068\u4e92\u63db\u6027\u306e\u3042\u308bHaskell\u30d5\u30a1\u30a4\u30eb\u3068\u3057\u3066\u51fa\u529b\u3055\u308c\u307e\u3059\u3002\u3053\u308c\u306b\u3088\u308a\u3001\u30aa\u30d5\u30c1\u30a7\u30fc\u30f3\u3067\u306e\u8a08\u7b97\u3092\u884c\u3044\u306a\u304c\u3089\u3001\u30aa\u30f3\u30c1\u30a7\u30fc\u30f3\u3067\u305d\u306e\u6b63\u5f53\u6027\u3092\u78ba\u8a8d\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u308b\u3088\u3046\u306b\u306a\u308a\u307e\u3059\u3002<\/p>\n\n\n\n<h5 class=\"wp-block-heading deb-block deb-block-850784a\" id=\"e29c85-atmse381abe5afbee38199e3828bhalo2e8a8bce6988e-8\"><strong>\u2705 ATMS\u306b\u5bfe\u3059\u308bHalo2\u8a3c\u660e<\/strong><\/h5>\n\n\n\n<ul class=\"wp-block-list wp-block-list list-col-1 inline-img-left deb-block deb-block-aa0882c\">\n<li class=\"\">\u4f7f\u7528\u30ea\u30dd\u30b8\u30c8\u30ea: sidechains-zk\uff08<a href=\"https:\/\/github.com\/input-output-hk\/sidechains-zk\" target=\"_blank\" rel=\"noreferrer noopener\">sidechains-zk repository<\/a>\uff09<\/li>\n<\/ul>\n\n\n\n<p class=\"deb-block deb-block-d2b90db\">\u3053\u306e\u30c4\u30fc\u30eb\u3067\u306f\u3001Ad-Hoc Threshold Multisignatures\uff08ATMS\uff09\u306e\u691c\u8a3c\u6a5f\u80fd\u3092\u30d7\u30ed\u30c8\u30bf\u30a4\u30d7\u5316\u3057\u3066\u3044\u307e\u3059\u3002ATMS\u306f\u3001Midnight-Cardano zk-\u30d6\u30ea\u30c3\u30b8\u3092\u306f\u3058\u3081\u3068\u3059\u308b\u591a\u304f\u306e\u30a2\u30d7\u30ea\u30b1\u30fc\u30b7\u30e7\u30f3\u306b\u304a\u3044\u3066\u91cd\u8981\u306a\u8981\u7d20\u3068\u306a\u308b\u3082\u306e\u3067\u3059\u3002<\/p>\n\n\n\n<h5 class=\"wp-block-heading deb-block deb-block-8909c09\" id=\"e29c85-e5bda2e5bc8fe6a49ce8a8bcefbc88formal-verificationefbc89-9\"><strong>\u2705 \u5f62\u5f0f\u691c\u8a3c\uff08Formal Verification\uff09<\/strong><\/h5>\n\n\n\n<ul class=\"wp-block-list wp-block-list list-col-1 inline-img-left deb-block deb-block-d9ebdb2\">\n<li class=\"\">\u53c2\u8003\u8ad6\u6587: <em>Efficient Foreign-Field Arithmetic in PLONK<\/em>\uff08<a href=\"https:\/\/eprint.iacr.org\/2025\/695.pdf\" target=\"_blank\" rel=\"noreferrer noopener\">Efficient Foreign-Field Arithmetic in PLONK<\/a>\uff09<\/li>\n<\/ul>\n\n\n\n<p class=\"deb-block deb-block-d70e533\">\u30c1\u30fc\u30e0\u306f\u3001EasyCrypt\u3068\u3044\u3046\u5f62\u5f0f\u691c\u8a3c\u30c4\u30fc\u30eb\u3092\u4f7f\u3063\u3066\u3001Foreign Field Arithmetic\uff08FFA\uff1a\u975e\u30cd\u30a4\u30c6\u30a3\u30d6\u306a\u7b97\u8853\u6f14\u7b97\uff09\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306e\u6b63\u5f53\u6027\uff08soundness\uff09\u3068\u5b8c\u5168\u6027\uff08completeness\uff09\u3092\u8a3c\u660e\u3057\u307e\u3057\u305f\u3002\u3053\u306e\u691c\u8a3c\u7d50\u679c\u306fGitHub\u3067\u516c\u958b\u3055\u308c\u3066\u304a\u308a\u3001SNARK\u56de\u8def\u5185\u3067\u975e\u30cd\u30a4\u30c6\u30a3\u30d6\u6f14\u7b97\u304c\u5fc5\u8981\u306a\u5834\u5408\u306e\u518d\u5e30\u7684\u8a3c\u660e\u306b\u304a\u3051\u308b\u52b9\u7387\u6027\u3092\u5411\u4e0a\u3055\u305b\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<h5 class=\"wp-block-heading deb-block deb-block-c6b90b8\" id=\"e29c85-msme381abe996a2e38199e3828bcipe8b2a2e78cae-10\"><strong>\u2705 MSM\u306b\u95a2\u3059\u308bCIP\u8ca2\u732e<\/strong><\/h5>\n\n\n\n<ul class=\"wp-block-list wp-block-list list-col-1 inline-img-left deb-block deb-block-39ed336\">\n<li class=\"\">\u63d0\u6848\u5185\u5bb9: <strong>CIP-133 \u2013 Plutus\u306b\u304a\u3051\u308bBLS12-381\u4e0a\u306eMulti-Scalar Multiplication\uff08MSM\uff09\u5bfe\u5fdc\uff08<a href=\"https:\/\/github.com\/input-output-hk\/catalyst-CIPs\/blob\/aa314c019b857cbaea38e16b1570af90cecefd38\/CIP-0133\/README.md?plain=1#L2\" target=\"_blank\" rel=\"noreferrer noopener\">CIP-133 \u2013 Plutus support for ulti-Scalar Multiplication over BLS12-381<\/a>\uff09<\/strong><\/li>\n<\/ul>\n\n\n\n<p class=\"deb-block deb-block-7c984cb\">\u30c1\u30fc\u30e0\u306f\u3001BLS12-381\u66f2\u7dda\u4e0a\u3067\u306eMSM\uff08Multi-Scalar Multiplication\uff09\u3092Plutus\u4e0a\u3067\u30cd\u30a4\u30c6\u30a3\u30d6\u306b\u51e6\u7406\u3067\u304d\u308b\u3088\u3046\u306b\u3059\u308bCIP\u3092\u63d0\u6848\u3057\u307e\u3057\u305f\u3002\u3053\u306eMSM\u306f\u3001\u6697\u53f7\u7f72\u540d\u30fb\u30bc\u30ed\u77e5\u8b58\u8a3c\u660e\u30fb\u6955\u5186\u66f2\u7dda\u30d9\u30fc\u30b9\u306eSNARK\u30b7\u30b9\u30c6\u30e0\uff08\u305f\u3068\u3048\u3070Halo2\u306a\u3069\uff09\u306b\u304a\u3044\u3066\u975e\u5e38\u306b\u8a08\u7b97\u8ca0\u8377\u304c\u5927\u304d\u3044\u51e6\u7406\u3067\u3059\u3002\u7279\u306bSNARK\u3067\u306f\u3001\u5927\u898f\u6a21\u306aMSM\u51e6\u7406\u304c\u8a3c\u660e\u3068\u691c\u8a3c\u306e\u4e21\u65b9\u306b\u304a\u3044\u3066\u5927\u304d\u306a\u30b3\u30b9\u30c8\u306e\u30dc\u30c8\u30eb\u30cd\u30c3\u30af\u306b\u306a\u308a\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-20d024a\">\u3053\u306eCIP\u306f\u3001Plutus\u4e0a\u306bMSM\u30d3\u30eb\u30c8\u30a4\u30f3\u95a2\u6570\u3092\u5c0e\u5165\u3059\u308b\u3053\u3068\u3067\u3001Halo2\u30d9\u30fc\u30b9\u306e\u30d7\u30ed\u30c8\u30b3\u30eb\u5168\u4f53\u306e\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9\u3092\u5927\u5e45\u306b\u6700\u9069\u5316\u3059\u308b\u3053\u3068\u3092\u76ee\u6307\u3057\u3066\u304a\u308a\u3001\u8a3c\u660e\u8005\u30fb\u691c\u8a3c\u8005\u306e\u4e21\u65b9\u306b\u6069\u6075\u304c\u3042\u308a\u307e\u3059\u3002\u3053\u306eCIP\u306f\u3059\u3067\u306b\u627f\u8a8d\u3055\u308c\u3066\u304a\u308a\u3001\u73fe\u5728Plutus\u30c1\u30fc\u30e0\u306b\u3088\u3063\u3066\u5b9f\u88c5\u304c\u9032\u3081\u3089\u308c\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<h5 class=\"wp-block-heading deb-block deb-block-bd62d01\" id=\"e29c85-e5868de78fbee58fafe883bde381aae9968be799bae792b0e5a283-11\"><strong>\u2705 \u518d\u73fe\u53ef\u80fd\u306a\u958b\u767a\u74b0\u5883<\/strong><\/h5>\n\n\n\n<ul class=\"wp-block-list wp-block-list list-col-1 inline-img-left deb-block deb-block-90889e8\">\n<li class=\"\">\u4f7f\u7528\u30ea\u30dd\u30b8\u30c8\u30ea: plutus-halo2-verifier-gen\uff08<a href=\"https:\/\/github.com\/input-output-hk\/plutus-halo2-verifier-gen\" target=\"_blank\" rel=\"noreferrer noopener\">plutus-halo2-verifier-gen repository<\/a>\uff09<\/li>\n<\/ul>\n\n\n\n<p class=\"deb-block deb-block-e89523f\">\u4f9d\u5b58\u7ba1\u7406\u306b\u306fNix\u3092\u3001Plinth\u30b3\u30f3\u30c8\u30e9\u30af\u30c8\u306e\u30d3\u30eb\u30c9\uff0f\u30c6\u30b9\u30c8\u306b\u306fCabal\u3092\u4f7f\u7528\u3057\u3066\u304a\u308a\u3001\u958b\u767a\u8005\u306b\u3068\u3063\u3066\u30b9\u30e0\u30fc\u30ba\u304b\u3064\u518d\u73fe\u6027\u306e\u3042\u308b\u30ef\u30fc\u30af\u30d5\u30ed\u30fc\u3092\u63d0\u4f9b\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<h4 class=\"wp-block-heading deb-block deb-block-d8a4052\" id=\"e68a80e8a193e79a84e381aae68890e69e9ce381a8e38381e383a3e383ace383b3e382b8-12\"><strong>\u6280\u8853\u7684\u306a\u6210\u679c\u3068\u30c1\u30e3\u30ec\u30f3\u30b8<\/strong><\/h4>\n\n\n\n<p class=\"deb-block deb-block-aa108b2\"><strong>\ud83d\udee0\ufe0f Plinth Verifier\u306e\u81ea\u52d5\u751f\u6210<\/strong><\/p>\n\n\n\n<p class=\"deb-block deb-block-43d2df4\">\u3053\u306e\u30c4\u30fc\u30eb\u3067\u306f\u3001Rust\u88fd\u306eHalo2\u30e9\u30a4\u30d6\u30e9\u30ea\u3067\u5b9a\u7fa9\u3055\u308c\u305f\u56de\u8def\u304b\u3089\u3001Plinth\u7528\u306eHalo2\u691c\u8a3c\u6a5f\u30b3\u30fc\u30c9\u3092\u81ea\u52d5\u751f\u6210\u3067\u304d\u307e\u3059\u3002Handlebars\u30e9\u30a4\u30d6\u30e9\u30ea\u3092\u4f7f\u3063\u3066\u3001Plinth\u7528\u306e\u30c6\u30f3\u30d7\u30ec\u30fc\u30c8\u306b\u56de\u8def\u56fa\u6709\u306e\u30ed\u30b8\u30c3\u30af\u3092\u57cb\u3081\u8fbc\u3080\u3057\u304f\u307f\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-1ecb03f\">\u3053\u306e\u6a5f\u80fd\u306fATMS\u3092\u306f\u3058\u3081\u3068\u3059\u308b\u69d8\u3005\u306a\u56de\u8def\u306b\u5bfe\u3057\u3066\u9069\u7528\u3055\u308c\u3066\u304a\u308a\u3001Halo2\u306e\u30eb\u30c3\u30af\u30a2\u30c3\u30d7\u30c6\u30fc\u30d6\u30eb\u3084\u30ab\u30b9\u30bf\u30e0\u30b2\u30fc\u30c8\u306b\u3082\u5bfe\u5fdc\u3057\u3066\u3044\u307e\u3059\u3002\u5b9f\u969b\u306e\u8a08\u6e2c\u3067\u306f\u3001ATMS\u7f72\u540d\u304c\u30ab\u30eb\u30c0\u30ce\u306e\u30e1\u30a4\u30f3\u30cd\u30c3\u30c8\u4e0a\u3067\u52b9\u7387\u7684\u306b\u691c\u8a3c\u3067\u304d\u3001Plutus\u30b9\u30af\u30ea\u30d7\u30c81\u3064\u306e\u8a08\u7b97\u5236\u9650\u5185\u3067\u5b8c\u7d50\u3067\u304d\u308b\u3053\u3068\u304c\u78ba\u8a8d\u3055\u308c\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-e79f3cb\"><strong>\ud83e\uddee FFA\uff08Foreign Field Arithmetic\uff09\u306e\u5f62\u5f0f\u691c\u8a3c<\/strong><\/p>\n\n\n\n<p class=\"deb-block deb-block-c80680c\">EasyCrypt\u3092\u7528\u3044\u3066\u3001FFA\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306e\u4e57\u7b97\u30b2\u30fc\u30c8\u304a\u3088\u3073\u65b0\u3057\u3044MSM\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306e\u5b8c\u5168\u6027\u30fb\u5065\u5168\u6027\u3092\u5f62\u5f0f\u7684\u306b\u8a3c\u660e\u3057\u307e\u3057\u305f\u3002\u3053\u308c\u306b\u3088\u308a\u3001Halo2\u56de\u8def\u5185\u3067\u306e\u975e\u30cd\u30a4\u30c6\u30a3\u30d6\u6f14\u7b97\u306b\u95a2\u3059\u308b\u4fe1\u983c\u6027\u304c\u9ad8\u307e\u308a\u307e\u3057\u305f\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-75d269b\"><strong>\ud83d\udccc MSM CIP\u306e\u63a8\u9032<\/strong><\/p>\n\n\n\n<p class=\"deb-block deb-block-412afe9\">\u5148\u8ff0\u306eCIP\u3067\u306f\u3001Plutus\u306b\u304a\u3051\u308b\u30cd\u30a4\u30c6\u30a3\u30d6\u306aMSM\u30b5\u30dd\u30fc\u30c8\u3092\u63d0\u6848\u3057\u3066\u304a\u308a\u3001Halo2\u30d9\u30fc\u30b9\u306e\u691c\u8a3c\u51e6\u7406\u306b\u304a\u3051\u308b\u30b3\u30b9\u30c8\u3092\u5927\u304d\u304f\u524a\u6e1b\u3057\u3088\u3046\u3068\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<h4 class=\"wp-block-heading deb-block deb-block-4b84e1a\" id=\"e38193e381aee38397e383ade38388e382bfe382a4e38397e381afe381aae3819ce5bdb9e7ab8be381a4e381aee3818befbc9f-13\"><strong>\u3053\u306e\u30d7\u30ed\u30c8\u30bf\u30a4\u30d7\u306f\u306a\u305c\u5f79\u7acb\u3064\u306e\u304b\uff1f<\/strong><\/h4>\n\n\n\n<p class=\"deb-block deb-block-be3d451\">Halo2-Plutus Verifier\u306f\u307e\u3060\u30d7\u30ed\u30c8\u30bf\u30a4\u30d7\u3067\u306f\u3042\u308a\u307e\u3059\u304c\u3001\u30ab\u30eb\u30c0\u30ce\u306b\u304a\u3044\u3066\u5927\u304d\u306a\u5909\u9769\u3092\u3082\u305f\u3089\u3059\u53ef\u80fd\u6027\u3092\u79d8\u3081\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-f02bb87\"><strong>\ud83d\udd10 \u30d7\u30e9\u30a4\u30d0\u30b7\u30fc\u3092\u4fdd\u3064DApp\u306e\u5b9f\u73fe<\/strong><\/p>\n\n\n\n<p class=\"deb-block deb-block-a3da7ba\">\u305f\u3068\u3048\u3070\u30c8\u30e9\u30f3\u30b6\u30af\u30b7\u30e7\u30f3\u91d1\u984d\u306e\u3088\u3046\u306a\u60c5\u5831\u3092\u516c\u958b\u305b\u305a\u306b\u8a08\u7b97\u306e\u6b63\u5f53\u6027\u3092\u8a3c\u660e\u3059\u308b\u3053\u3068\u3067\u3001\u30d7\u30e9\u30a4\u30d0\u30b7\u30fc\u3092\u91cd\u8996\u3057\u305f\u5206\u6563\u578b\u30a2\u30d7\u30ea\u30b1\u30fc\u30b7\u30e7\u30f3\uff08DApp\uff09\u3092\u69cb\u7bc9\u3067\u304d\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-fce32c2\"><strong>\u26a1 \u30b9\u30b1\u30fc\u30e9\u30d3\u30ea\u30c6\u30a3\u5411\u4e0a<\/strong><\/p>\n\n\n\n<p class=\"deb-block deb-block-755b3ef\">\u8907\u96d1\u306a\u8a08\u7b97\u51e6\u7406\u306f\u30aa\u30d5\u30c1\u30a7\u30fc\u30f3\u3067\u884c\u3044\u306a\u304c\u3089\u3001\u30aa\u30f3\u30c1\u30a7\u30fc\u30f3\u3067\u306f\u305d\u306e\u691c\u8a3c\u306e\u307f\u3092\u5b9f\u65bd\u3059\u308b\u3053\u3068\u3067\u3001\u30c1\u30a7\u30fc\u30f3\u306e\u8ca0\u8377\u3092\u6291\u3048\u306a\u304c\u3089\u6027\u80fd\u3092\u9ad8\u3081\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-c9ce5f9\"><strong>\ud83c\udf09 \u76f8\u4e92\u904b\u7528\u6027\u306e\u5f37\u5316<\/strong><\/p>\n\n\n\n<p class=\"deb-block deb-block-5989c7c\">Midnight\u3068\u30ab\u30eb\u30c0\u30ce\u9593\u3067zk\u30d6\u30ea\u30c3\u30b8\u3092\u69cb\u7bc9\u3059\u308b\u305f\u3081\u306b\u3001\u518d\u5e30\u7684\u306a\u8a3c\u660e\uff08recursive proofs\uff09\u306e\u691c\u8a3c\u3092\u53ef\u80fd\u306b\u3057\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-a54d570\"><strong>\u5e45\u5e83\u3044\u6d3b\u7528\u53ef\u80fd\u6027<\/strong><\/p>\n\n\n\n<p class=\"deb-block deb-block-0986c39\">\u3053\u306e\u30d7\u30ed\u30c8\u30bf\u30a4\u30d7\u306f\u3001\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u30e6\u30fc\u30b9\u30b1\u30fc\u30b9\u3067\u306e\u6d3b\u7528\u304c\u671f\u5f85\u3055\u308c\u3066\u3044\u307e\u3059\uff1a<\/p>\n\n\n\n<ul class=\"wp-block-list wp-block-list list-col-1 inline-img-left deb-block deb-block-bb4c488\">\n<li class=\"\"><strong>DeFi\uff08\u5206\u6563\u578b\u91d1\u878d\uff09<\/strong>\uff1a\u6a5f\u5bc6\u6027\u3092\u4fdd\u3063\u305f\u307e\u307e\u62c5\u4fdd\u60c5\u5831\u306a\u3069\u3092\u691c\u8a3c\u3059\u308b\u7528\u9014<\/li>\n\n\n\n<li class=\"\"><strong>\u6295\u7968\u30b7\u30b9\u30c6\u30e0<\/strong>\uff1aDAO\u306a\u3069\u3067\u6295\u7968\u6a29\u306e\u6709\u7121\u3092\u516c\u958b\u305b\u305a\u306b\u8a3c\u660e\u3059\u308b<\/li>\n\n\n\n<li class=\"\"><strong>\u30b3\u30f3\u30d7\u30e9\u30a4\u30a2\u30f3\u30b9\u5bfe\u5fdc<\/strong>\uff1a\u30d7\u30e9\u30a4\u30d0\u30b7\u30fc\u3092\u78ba\u4fdd\u3057\u3064\u3064\u898f\u5236\u5bfe\u5fdc\u3092\u5b9f\u73fe<\/li>\n\n\n\n<li class=\"\"><strong>\u30b3\u30df\u30e5\u30cb\u30c6\u30a3\u3078\u306e\u8ca2\u732e<\/strong>\uff1a\u3053\u306e\u30aa\u30fc\u30d7\u30f3\u30bd\u30fc\u30b9\u30c4\u30fc\u30eb\u3068MSM CIP\u306b\u3088\u308a\u3001\u958b\u767a\u8005\u304c\u3088\u308a\u9ad8\u5ea6\u306a\u6697\u53f7\u30bd\u30ea\u30e5\u30fc\u30b7\u30e7\u30f3\u3092\u69cb\u7bc9\u3067\u304d\u308b\u3088\u3046\u306b\u306a\u308a\u307e\u3059<\/li>\n<\/ul>\n\n\n\n<h4 class=\"wp-block-heading deb-block deb-block-2ef4715\" id=\"e382b3e3839fe383a5e3838be38386e382a3e381aee5a3b0-14\"><strong>\u30b3\u30df\u30e5\u30cb\u30c6\u30a3\u306e\u58f0<\/strong><\/h4>\n\n\n\n<p class=\"deb-block deb-block-07a088b\">\u3053\u306e\u30d7\u30ed\u30c8\u30bf\u30a4\u30d7\u306e\u4fa1\u5024\u306b\u3064\u3044\u3066\u7406\u89e3\u3092\u6df1\u3081\u308b\u306b\u306f\u3001\u958b\u767a\u30b3\u30df\u30e5\u30cb\u30c6\u30a3\u306e\u58f0\u3082\u91cd\u8981\u3067\u3059\u3002Anastasia Labs\u304a\u3088\u3073Midgard\u306e\u5275\u696d\u8005\u3067\u3042\u308bPhilip DiSarro\u6c0f\u306f\u6b21\u306e\u3088\u3046\u306b\u8a9e\u3063\u3066\u3044\u307e\u3059\uff1a<\/p>\n\n\n\n<blockquote class=\"wp-block-quote deb-block deb-block-bc73eb5\">\n<p class=\"deb-block deb-block-a97a6fe\">\u300c\u5b9f\u969b\u306b\u30ab\u30eb\u30c0\u30ce\u4e0a\u3067\u30a4\u30f3\u30d5\u30e9\u3092\u69cb\u7bc9\u3057\u3066\u3044\u308b\u7acb\u5834\u3068\u3057\u3066\u3001\u79c1\u306fZK\uff08\u30bc\u30ed\u77e5\u8b58\uff09\u30c4\u30fc\u30eb\u306e\u9032\u5c55\u3092\u305a\u3063\u3068\u6ce8\u8996\u3057\u3066\u304d\u307e\u3057\u305f\u3002Halo2-Plutus Verifier\u306f\u3001\u305d\u306e\u4e2d\u3067\u3082\u5927\u304d\u306a\u524d\u9032\u3060\u3068\u611f\u3058\u3066\u3044\u307e\u3059\u3002Halo2\u306e\u8a3c\u660e\u3092Plutus\u4e0a\u3067\u30aa\u30f3\u30c1\u30a7\u30fc\u30f3\u691c\u8a3c\u3067\u304d\u308b\u3088\u3046\u306b\u306a\u3063\u305f\u3053\u3068\u3067\u3001\u30d7\u30e9\u30a4\u30d0\u30b7\u30fc\u91cd\u8996\u304b\u3064\u30b9\u30b1\u30fc\u30e9\u30d6\u30eb\u306a\u30a2\u30d7\u30ea\u30b1\u30fc\u30b7\u30e7\u30f3\u306e\u8a2d\u8a08\u4f59\u5730\u304c\u4e00\u6c17\u306b\u5e83\u304c\u308a\u307e\u3057\u305f\u3002<\/p>\n<\/blockquote>\n\n\n\n<blockquote class=\"wp-block-quote deb-block deb-block-328b322\">\n<p class=\"deb-block deb-block-47946ed\">\u79c1\u305f\u3061\u306f\u3053\u306eVerifier\u3092Midgard\uff08\u30aa\u30d7\u30c6\u30a3\u30df\u30b9\u30c6\u30a3\u30c3\u30af\u30fb\u30ed\u30fc\u30eb\u30a2\u30c3\u30d7\u306e\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30af\uff09\u306b\u7d71\u5408\u3059\u308b\u3053\u3068\u3092\u691c\u8a0e\u3057\u3066\u3044\u307e\u3059\u3002\u3053\u308c\u306b\u3088\u308a\u3001\u30d5\u30ed\u30fc\u30c9\u30d7\u30eb\u30fc\u30d5\uff08\u4e0d\u6b63\u9632\u6b62\u8a3c\u660e\uff09\u306e\u5727\u7e2e\u3084\u3001\u30ec\u30a4\u30e4\u30fc2\u9593\u306e\u9023\u643a\u3092\u3088\u308a\u30b9\u30e0\u30fc\u30ba\u306b\u3059\u308b\u3053\u3068\u304c\u671f\u5f85\u3067\u304d\u307e\u3059\u3002<\/p>\n<\/blockquote>\n\n\n\n<blockquote class=\"wp-block-quote deb-block deb-block-fb57bb7\">\n<p class=\"deb-block deb-block-ad589c6\">\u30b3\u30fc\u30c9\u30d9\u30fc\u30b9\u3082\u975e\u5e38\u306b\u3088\u304f\u8a2d\u8a08\u3055\u308c\u3066\u3044\u3066\u3001\u30ab\u30eb\u30c0\u30ce\u306eEUTXO\u30e2\u30c7\u30eb\u3084Plutus\u306e\u5236\u7d04\u306b\u5408\u308f\u305b\u3066\u4e01\u5be7\u306b\u4f5c\u308a\u8fbc\u307e\u308c\u3066\u3044\u308b\u3053\u3068\u304c\u308f\u304b\u308a\u307e\u3059\u3002\u3053\u306e\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u304c\u30aa\u30fc\u30d7\u30f3\u30bd\u30fc\u30b9\u5316\u3055\u308c\u305f\u3053\u3068\u306f\u3001\u30a8\u30b3\u30b7\u30b9\u30c6\u30e0\u304c\u3069\u3053\u3078\u5411\u304b\u304a\u3046\u3068\u3057\u3066\u3044\u308b\u306e\u304b\u3092\u793a\u3059\u5f37\u3044\u30e1\u30c3\u30bb\u30fc\u30b8\u3067\u3042\u308a\u3001\u79c1\u305f\u3061\u306e\u3088\u3046\u306a\u30c1\u30fc\u30e0\u306b\u3068\u3063\u3066\u3082\u3001\u5805\u7262\u3067\u30df\u30c3\u30b7\u30e7\u30f3\u30af\u30ea\u30c6\u30a3\u30ab\u30eb\u306a\u57fa\u76e4\u306e\u4e0a\u306b\u958b\u767a\u3092\u9032\u3081\u3066\u3044\u3051\u308b\u5927\u304d\u306a\u30c1\u30e3\u30f3\u30b9\u3067\u3059\u3002\u300d<\/p>\n<\/blockquote>\n\n\n\n<h4 class=\"wp-block-heading deb-block deb-block-288ef24\" id=\"e683b3e5ae9ae38195e3828ce3828be383a6e383bce382b9e382b1e383bce382b9-15\"><strong>\u60f3\u5b9a\u3055\u308c\u308b\u30e6\u30fc\u30b9\u30b1\u30fc\u30b9<\/strong><\/h4>\n\n\n\n<p class=\"deb-block deb-block-dc29a40\">\u3053\u306eHalo2-Plutus Verifier\u306f\u3001\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u5177\u4f53\u7684\u306a\u30e6\u30fc\u30b9\u30b1\u30fc\u30b9\u3067\u6d3b\u7528\u3055\u308c\u308b\u3053\u3068\u304c\u671f\u5f85\u3055\u308c\u3066\u3044\u307e\u3059\uff1a<\/p>\n\n\n\n<p class=\"deb-block deb-block-fc3b279\"><strong>\ud83c\udf09 Midnight-Cardano zk\u30d6\u30ea\u30c3\u30b8<\/strong><\/p>\n\n\n\n<p class=\"deb-block deb-block-ea3f9b4\">Midnight\u306e\u72b6\u614b\u3092\u30ab\u30eb\u30c0\u30ce\u4e0a\u3067\u518d\u5e30\u7684\u8a3c\u660e\uff08recursive proof\uff09\u306b\u3088\u3063\u3066\u691c\u8a3c\u3057\u3001\u4fe1\u983c\u6027\u306e\u3042\u308b\u76f8\u4e92\u904b\u7528\u3092\u5b9f\u73fe\u3057\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-6b8385f\"><strong>\ud83d\uddf3\ufe0f \u30d7\u30e9\u30a4\u30d9\u30fc\u30c8\u6295\u7968<\/strong><\/p>\n\n\n\n<p class=\"deb-block deb-block-44a230b\">\u6709\u6a29\u8005\u306e\u8eab\u5143\u3092\u660e\u304b\u3059\u3053\u3068\u306a\u304f\u3001\u6295\u7968\u8cc7\u683c\u304c\u3042\u308b\u3053\u3068\u3092\u8a3c\u660e\u3067\u304d\u307e\u3059\u3002DAO\u306a\u3069\u306e\u7d44\u7e54\u3067\u306e\u30ac\u30d0\u30ca\u30f3\u30b9\u6295\u7968\u306b\u6700\u9069\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-46d946e\"><strong>\ud83d\udcb8 \u79d8\u5bc6\u6027\u3092\u4fdd\u3063\u305fDeFi\uff08Confidential DeFi\uff09<\/strong><\/p>\n\n\n\n<p class=\"deb-block deb-block-dbe9af3\">\u53d6\u5f15\u5185\u5bb9\u3084\u91d1\u984d\u3092\u975e\u516c\u958b\u306b\u3057\u306a\u304c\u3089\u3001\u305d\u306e\u6b63\u5f53\u6027\u3092\u62c5\u4fdd\u3059\u308b\u3053\u3068\u304c\u53ef\u80fd\u3067\u3059\u3002\u62c5\u4fdd\u30c1\u30a7\u30c3\u30af\u3084\u30ed\u30fc\u30f3\u306e\u4fe1\u983c\u6027\u78ba\u8a8d\u306a\u3069\u306b\u3082\u6d3b\u7528\u3067\u304d\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-3cae8b1\"><strong>\ud83d\udce6 \u30b5\u30d7\u30e9\u30a4\u30c1\u30a7\u30fc\u30f3\u306e\u691c\u8a3c<\/strong><\/p>\n\n\n\n<p class=\"deb-block deb-block-fb010ad\">\u5546\u54c1\u306e\u51fa\u6240\u3084\u54c1\u8cea\u306a\u3069\u306e\u5c5e\u6027\u3092\u3001\u4f59\u8a08\u306a\u60c5\u5831\u3092\u958b\u793a\u305b\u305a\u306b\u8a3c\u660e\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u305f\u3068\u3048\u3070\u300c\u3053\u306e\u5546\u54c1\u306f\u65e5\u672c\u7523\u3067\u3042\u308b\u300d\u3053\u3068\u3060\u3051\u3092\u8a3c\u660e\u3059\u308b\u3001\u3068\u3044\u3063\u305f\u7528\u9014\u3067\u3059\u3002<\/p>\n\n\n\n<h4 class=\"wp-block-heading deb-block deb-block-e1fedbc\" id=\"e381bee381a8e38281-16\"><strong>\u307e\u3068\u3081<\/strong><\/h4>\n\n\n\n<p class=\"deb-block deb-block-b251162\">Halo2-Plutus Verifier\u306f\u3001IOR\uff08Input Output Research\uff09\u3068Intersect\u306e\u9023\u643a\u3001\u305d\u3057\u3066\u6280\u8853\u904b\u55b6\u59d4\u54e1\u4f1a\u306e\u6307\u91dd\u306b\u57fa\u3065\u3044\u3066\u8a95\u751f\u3057\u305f\u3001\u30ab\u30eb\u30c0\u30ce\u306b\u3068\u3063\u3066\u9769\u65b0\u7684\u306a\u30d7\u30e9\u30a4\u30d0\u30b7\u30fc\u30fb\u76f8\u4e92\u904b\u7528\u6027\u306e\u30c4\u30fc\u30eb\u3067\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-0e5f84d\">\u5fdc\u7528\u6697\u53f7\u306e\u5c02\u9580\u5bb6\u3084\u30d7\u30ed\u30c8\u30bf\u30a4\u30d4\u30f3\u30b0\u30a8\u30f3\u30b8\u30cb\u30a2\u3001\u5f62\u5f0f\u624b\u6cd5\u306e\u30b9\u30da\u30b7\u30e3\u30ea\u30b9\u30c8\u305f\u3061\u304c\u5354\u529b\u3057\u3001Halo2\u8a3c\u660e\u306e\u5b9f\u7528\u6027\u3001\u7279\u306bMidnight\u3068\u306ezk\u30d6\u30ea\u30c3\u30b8\u306b\u304a\u3051\u308b\u518d\u5e30\u7684\u8a3c\u660e\u306e\u5b9f\u88c5\u53ef\u80fd\u6027\u3092\u793a\u3057\u307e\u3057\u305f\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-de1c9df\">\u3082\u3061\u308d\u3093\u3001ZK\u8a3c\u660e\u306e\u691c\u8a3c\u306b\u306f\u30b3\u30b9\u30c8\u304c\u304b\u304b\u308b\u3068\u3044\u3063\u305f\u8ab2\u984c\u3082\u3042\u308a\u307e\u3059\u304c\u3001MSM CIP\u306e\u5c0e\u5165\u3084FFA\uff08Foreign Field Arithmetic\uff09\u306e\u5f62\u5f0f\u691c\u8a3c\u3068\u3044\u3063\u305f\u6280\u8853\u9769\u65b0\u304c\u3001\u305d\u308c\u3089\u306e\u8ab2\u984c\u89e3\u6c7a\u3078\u3068\u9053\u3092\u958b\u3044\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<p class=\"deb-block deb-block-c0d6819\"><strong>\ud83d\udd27 \u89e6\u3063\u3066\u307f\u305f\u3044\u65b9\u3078<\/strong><\/p>\n\n\n\n<p class=\"deb-block deb-block-4b63cfe\">\u4eca\u3059\u3050\u30ea\u30dd\u30b8\u30c8\u30ea\u3092\u30af\u30ed\u30fc\u30f3\u3057\u3066\u3001\u30b3\u30fc\u30c9\u3092\u8aad\u307f\u8fbc\u307f\u3001\u672a\u6765\u306e\u30ab\u30eb\u30c0\u30ce\u306b\u304a\u3051\u308b\u30d7\u30e9\u30a4\u30d0\u30b7\u30fc\u306e\u53ef\u80fd\u6027\u3092\u4e00\u7dd2\u306b\u5207\u308a\u958b\u3044\u3066\u3044\u304d\u307e\u3057\u3087\u3046\uff01<\/p>\n","protected":false},"excerpt":{"rendered":"\u30ab\u30eb\u30c0\u30ce\u306b\u30bc\u30ed\u77e5\u8b58\u8a3c\u660e\u3092\u3082\u305f\u3089\u3059\u300cHalo2-Plutus Verifier\u300d\u3068\u306f \u30d7\u30e9\u30a4\u30d0\u30b7\u30fc\u30fb\u30b9\u30b1\u30fc\u30e9\u30d3\u30ea\u30c6\u30a3\u30fb\u76f8\u4e92\u904b\u7528\u6027\u3092\u652f\u3048\u308b\u65b0\u305f\u306a\u6280\u8853\u57fa\u76e4 \u306f\u3058\u3081\u306b \u30d6\u30ed\u30c3\u30af\u30c1\u30a7\u30fc\u30f3\u6280\u8853\u304c\u9032\u5316\u3092\u7d9a\u3051\u308b\u4e2d\u3067\u3001\u300c\u30bc\u30ed\u77e5\u8b58\u8a3c\u660e\uff08Zero-Knowledge Proof, ZKP\uff09\u300d\u306f\u3001\u500b\u4eba\u60c5\u5831\u3084\u53d6\u5f15\u5185\u5bb9\u3092\u958b\u793a\u305b\u305a\u306b\u6b63\u5f53\u6027\u3060\u3051\u3092\u8a3c\u660e\u3067\u304d\u308b\u9769\u65b0\u7684\u306a\u6697\u53f7\u6280\u8853\u3068\u3057\u3066\u6ce8\u76ee\u3092\u96c6\u3081\u3066\u3044\u307e\u3059\u3002 \u305d\u3093\u306aZKP\u3092\u30ab\u30eb\u30c0\u30ce\u306b\u5c0e\u5165\u3059\u308b\u305f\u3081\u306e\u30aa\u30fc\u30d7\u30f3\u30bd\u30fc\u30b9\u30d7\u30ed\u30c8\u30bf\u30a4\u30d7\u304c\u300cHalo2-Plutus Verifier\u300d\u3067\u3059\u3002 Halo2-Plutus Verifier\u3068\u306f\uff1f \u300cHalo2-Plutus Verifier\u300d\u306f\u3001IOG\u306e\u7814\u7a76\u958b\u767a\u90e8\u9580\u3067\u3042\u308bInput Output&hellip;","protected":false},"author":1,"featured_media":42880,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[67,21,35,28,1,38],"tags":[],"class_list":{"0":"post-42879","1":"post","2":"type-post","3":"status-publish","4":"format-standard","5":"has-post-thumbnail","7":"category-iog","8":"category-21","9":"category-blog","10":"category-28","11":"category-japanese","12":"category-38"},"featured_image_urls":{"full":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2025\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2025-09-06-9.05.45.png",804,450,false],"thumbnail":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2025\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2025-09-06-9.05.45-150x150.png",150,150,true],"medium":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2025\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2025-09-06-9.05.45-300x168.png",300,168,true],"medium_large":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2025\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2025-09-06-9.05.45-768x430.png",768,430,true],"large":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2025\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2025-09-06-9.05.45.png",804,450,false],"1536x1536":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2025\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2025-09-06-9.05.45.png",804,450,false],"2048x2048":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2025\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2025-09-06-9.05.45.png",804,450,false],"dp-widget-thumb":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2025\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2025-09-06-9.05.45-140x96.png",140,96,true],"dp-widget-thumb-2x":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2025\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2025-09-06-9.05.45-280x192.png",280,192,true],"dp-related-thumb":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2025\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2025-09-06-9.05.45-250x154.png",250,154,true],"dp-related-thumb-2x":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2025\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2025-09-06-9.05.45-500x308.png",500,308,true],"dp-archive-thumb":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2025\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2025-09-06-9.05.45-450x252.png",450,252,true],"dp-archive-thumb-2x":["https:\/\/sipo.tokyo\/wp-content\/uploads\/2025\/09\/\u30b9\u30af\u30ea\u30fc\u30f3\u30b7\u30e7\u30c3\u30c8-2025-09-06-9.05.45.png",804,450,false]},"category_list":"<a href=\"https:\/\/sipo.tokyo\/?cat=67\" rel=\"category\">IOG\u30d6\u30ed\u30b0<\/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>, <a href=\"https:\/\/sipo.tokyo\/?cat=38\" rel=\"category\">\u7ffb\u8a33<\/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\/42879","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=42879"}],"version-history":[{"count":1,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/posts\/42879\/revisions"}],"predecessor-version":[{"id":42881,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/posts\/42879\/revisions\/42881"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=\/wp\/v2\/media\/42880"}],"wp:attachment":[{"href":"https:\/\/sipo.tokyo\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=42879"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=42879"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/sipo.tokyo\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=42879"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}