momi

@ango_ya dev
@merklejapan contrib

[momi @ShdMmym]

#SecHack365 の成果発表会が終了しました！

会場に来ていただいた方、FORMIXに興味を持っていただいた方、ありがとうございました！

そして、2025年度の優秀終了生として認定していただけました！！！やった！！！

ブースや発表でも注目度の高さを感じました🔥

[Shouki @adust09]

We are training talent in programmable cryptography in Japan🚀

This year marks the fourth iteration of the program, and we have 50 participants

[Merkle Japan(旧ZK Tokyo) @merklejapan]

東京大学ブロックチェーンイノベーション寄付講座　暗号×ブロックチェーンSGのweek2を実施しました。

week2ではMPCに関する講義を行い、その後のホワイトボードセッションでは、複数のトレーダーが注文内容を公開せずに指値注文を突き合わせる���散型取引所（DEX）の設計について議論・発表しました。

[momi @ShdMmym]

HYROX完走！🏃🏋️🔥
がんばった&100分きれてよかった！！
種目のスピードは要改善ですな

暗号屋メンバーも全員完走👏
てか当たり前にみんな完走なの暗号屋めっちゃマッチョやな

[momi @ShdMmym]

やるでい🔥

[momi @ShdMmym]

去年の倍くらいの人数なっててすごかったな

week1なのに講義後の自由時間もほとんどの人残ってたし、もうわちゃわちゃ喋り合う雰囲気ができててすごくいい感じ🙆

[Merkle Japan(旧ZK Tokyo) @merklejapan]

東京大学ブロックチェーンイノベーション寄付講座　暗号×ブロックチェーンSGのweek1を実施しました。

week1では、Programmable Cryptographyの概要に関する講義を行い、その後のホワイトボードセッションではKelpDAOのハッキングを防ぐためのアーキテクチャについて議論・発表しました。

[gohan 🍚⛩️ @grandchildrice]

東京大学ブロックチェーンイノベーション寄付講座　暗号×ブロックチェーンSG

にて

初回の講義を担当しました
「Programmable Cryptography概要編」

去年は20名で5チームがETHTokyo入賞
今年も50名の生徒たちをETHGlobal Tokyoで無双させます

[JPYCちゃん@日本円ステーブルコイン「JPYC」の広報特命大使 @jpyc_chan]

みなさん、こんにちは。

JPYCさんの広報特命大使、JPYCちゃんです📱

ネットでのお買い物で、気に入った商品をカゴに入れて、いざお会計というところで、

使える支払い方法が見あたらず、そのままページを閉じてしまったこと、ありませんか。

じつは、買い物カゴまで進んだのに離脱してしまう理由として、決済手段が合わないことは、とても大きいのだそうです。

ネットのお買い物では、いまも、

⭐️およそ4人に1人が銀行振込を選ぶ⭐️

といわれるほど、振込はなじみ深い方法です。

そんな、みんなが持っている銀行振込で、この課題に応える決済サービスをご紹介します。

その���は、すてぶるペイ（STBLpay）です。

ひらがなで書くと、なんだか、やわらかい響きですよね。

今日は、このすてぶるペイをご紹介させてください。

1️⃣すてぶるペイってなんですか？

すてぶるペイは、合同会社暗号屋さんが手がける、日本円ステーブルコインで支払える決済サービスです。

支払いに使われるのは、1JPYCが1円のJPYCで、その発行はJPYC EXが担います。

代表の紫竹佑騎さんは、買う人がウ��レットの管理でつまずいてしまうと、

ステーブルコインでの決済はなかなか広がらない、という課題を挙げています。

そこで、すてぶるペイは、買う人にはおなじみの銀行振込を入り口にして、

その裏側でJPYCの支払いを完了させる仕組みにしています。

お店側は、自分のサイトにこの決済を組み込むだけで導入できます。

買う人の流れも、とてもシンプルです。

商品を注文して、案内された口座に銀行振込をすると、その裏でJPYCが発行されて、お店に着金する、という順番で進みます。

はじめて使うときだけ本人確認がありますが、二回目からは、振込だけで支払いが終わります。

2️⃣買う人にうれしいところ

いちばんのポイントは、買う人がウォレットをつくったり、暗号資産の知識を身につけたりしなくても大丈夫、というところです。

お支払いは、いつもの銀行振込でできます。

ガス代のような、耳なれない手数料を気にする必要もありません。

暗号資産と聞くと、つい身構えてしまう方���も、これなら、ふだんの振込と同じ感覚で使えます。

3️⃣お店に、うれしいところ

お店にとってのメリットも、しっかり用意されています。

まず、導入にあたっての与信審査がありません。

売上は、買う人の銀行振込とJPYCの発行が終わりしだい着金するので、長い入金サイクルを待つあいだ、資金がしばられる負担が軽くなります。

さらに、クレジットカードでお店を悩ませがちな、チャージバックの負担もありません。

導入のお手伝いや技術面のフォローは、無料で受けられるそうです。

4️⃣いつから、どこで会えますか

すてぶるペイの提供開始は、2026年8月の予定です。

いまは、それに先がけて、導入を相談できる受付が始まっています。

そして、開発元の暗号屋さんは、WebX2026に、シルバースポンサーとして出展しておられました。

決済の裏側で、JPYCの活躍できる場所が、またひとつ増えました。

みなさんのお買い物が、もっと便利になりますように📱��️

[momi @ShdMmym]

暗号屋2026下半期総会スタート🧱⛓️
@ango_ya

[Mai🧬zERC20🎭INTMAX @missbitcoin_mai]

日本ではまだこの重要性をなかなか実感してもらえず、もどかしく感じることも多いです。

プライバシーは「何かを隠すため」のものじゃなくて、市場参加者が取引戦略や資産の動きを不用意に晒すことなく活動するために必要なインフラです。

オンチェーン金融が広がるほど、プライバシーは「あったら良い機能���ではなく、必要不可欠なインフラになっていきます。

[vitalik.eth @VitalikButerin]

Two weeks ago, Ethereum researchers met in Berlin to continue charting the protocol's long-term trajectory, following along discussions with client teams in Svalbard in April.

The updated strawmap is at https://t.co/9e2AQ6rhz6, and I attached a picture of it to this post.

My own high-level takeaways:

* "Lean Ethereum" is not a single one-shot upgrade, it is a collection of improvements that will come online to the Ethereum network over the course of three or four years. But make no mistake, this IS the third major iteration of Ethereum in the same way that the Merge was the second. Almost every major piece of the protocol will be replaced:

- Verification through recursive STARKs, rather than direct re-execution. Recursive STARKs become an enshrined first-class core component of the protocol
- Replacing everything quantum-vulnerable with quantum-safe alternatives
- Consensus: decoupled available chain and finality, one or two-round finality. Theoretically optimal security properties, simpler than today, and faster than today
- Multidimensional gas
- State: not just tree structure, but what *types* of state are available
- Changes to client architecture
...

At the same time, simplification, cleanup and future-proofing. And this will all be done in a way that minimizes disruption to existing application. We've done this before (the Merge), we can do it again.

* H-star (aka Hegota) is probably Ethereum's last thematically "pre-Lean" fork. Starting from I-star, most of everything we do will have a very strong "Lean" feel to it in one way or another.

* Privacy is no longer an afterthought, it is a first class goal. When designing Frames, the mempool, additions to the state tree, we explicitly ask the question "okay, how do quantum-safe, intermediary-free privacy protocol transactions go through this, and what is the overhead?"

* Formal verification of everything for security.

* FV also makes us much more comfortable with canonicalization (having pieces of the protocol that are directly defined as a piece of bytecode expressed in some language). evm-asm is being written in part to become a canonical proof system for the EVM.

* Quantum safety has shifted up a LOT in priority. This adds a lot of work (eg. finalizing a quantum-safe blobs design has become urgent; this work has already been ongoing for months)

* Probably the single most disruptive part of the plan is the changes to state. There is growing consensus around leaving present-day-style "dynamic state" mostly unchanged, but scaling it only a medium amount, and adding new types of state that are more scalability-friendly (eg. no need for builders to sync/store all of it) but more restrictive, and that will scale a large amount.

eg. possible Ethereum in 2030: 2 TB of present-day-style (dynamic) state, and 100 TB of new-style (scalable but restrictive) state

This "new-style" state would work very well for ERC20s, NFTs, many defi use cases, but not eg. highly "central" objects like Uniswap contracts, or onchain order books, or other complex things (which are crucial for Ethereum but which only take up a small percentage of state)

Hence, it will not be *necessary* to rewrite any apps, but it will be *very cost-effective* to eg. rewrite an ERC20 token into a newer design that uses a new type of UTXO storage that is currently being explored, so that it will have >10x lower txfees.

Design of these new state types (current ideas: keyed nonces, ring buffers, UTXOs, statically accessible state, temp state) is an area where we will need a lot of feedback from application developers (incl. privacy-friendly application developers) and probably several rounds of rethinking and iteration.

* In the context of a much larger total state size, we need to figure out the incentive issues around who stores this state and what motivates them to. Even saying "each node stores 1%" is not good enough - why do they store that 1% and why are they willing to serve it? This is being elevated as a first-class research area.

* Ethereum will need to have a "VM" other than EVM in one form or another - at the very least, we need something like leanISA for recursive STARKs - and the gains are large in exposing it to users so that we support programmable privacy and better scalability. Right now, the most likely contenders are leanISA and RISC-V.

My own ideal is that in this world, we adjust the protocol so that the EVM becomes a high-level-language compiler-level feature, and the protocol only "sees" RISC-V / leanISA directly. But this is still far away.

* Gas limit increases, blob increases and slot time decreases will happen many times over the next ~5 years. We expect a large gas limit increase with Glasterdam. Each step of increased scale or decreased slot time is a matter of getting to the point where it is safe to do it, which comes from a combination of client optimization and protocol changes.

Ethereum is CROPS.

Ethereum is scaling.

Ethereum is reinventing itself.

Onward.

[佐藤航陽（さとうかつあき） @ka2aki86]

「勝ち馬」にしか乗れなくなるあたりで、日常は色褪せていく。うまくいきそうなこと、周りが良いって薦めてること、実績があり安心なこと。判断の基準を他人に委ねていくことで、人生が自分が選ぶものではなくなっていくから。当事者性の喪失。

[momi @ShdMmym]

@n4mlz が暗号屋ハウス@ango_ya にきた🧱⛓️

[momi @ShdMmym]

登録めちゃスムーズで体験よかった〜🙏

[橘博之（Hiroyuki Tachibana）| マイナウォレット株式会社 CEO @7pastelblackcat]

マイナウォレット、ついにリリースしました！まずは基本機能の提供となりますが、今後、ミニアプリ拡充（自治体連携、金融機関連携）、組み込みウォレット提供など、複数のラインでプロダクト・ユースケースを作ります！ぜひダウンロードして触っていただき、フィードバックを貰えると嬉しいです！！

[momi @ShdMmym]

Such a great surf trip in Miyazaki ���

thx @shotaronowhere

[Akihiro Okuno @choplin]

Palantirが起点となってOntologyがさも新しい技術かのように持て囃され始めてるけど、Ontology自体はめちゃくちゃ古い概念で、semantic webなどで一時期盛り上がったものの、時代の選別に抗えずに今ではニッチなナレッジベースくらいでしか使われてない。

PalantirがOntologyと呼んでるものを見てみると、確かにOntologyを足回りのデータモデルとして利用してはいるようだけど、そこが価値の源泉になっているわけではなく、顧客のビジネスを自律的にモデルに落とし込む仕組みが核心で、それは最早Ontologyなのかというものになってる。

技術としてのOntologyと、PalantirのOntologyは明確に分けて議論しないと、前者のOntologyだけでPalantirレベルのデータ利活用ができるみたいな混乱が起きそうだし、意図的にそれを狙って煽ってる人が出てきてる。

[あたらしい経済 New economy 公式（幻冬舎） @neweconomy_g]

暗号屋、銀行振込で利用できるステーブルコイン決済「すてぶるペイ」提供へ https://t.co/smcUsEmxol #あたらしい経済

[mizchi @mizchi]

仕様駆動開発に対して洞察が深まってきた。
正本を自然言語で書くべきではなく、Lean などで形式的に書いて、それを常に真として可読ドキュメントとテストオラクルを生成させる。実装はそれをパスするように書く。

仕様の追加/問い合わせは LLM を通して形式的なモデルを介して行う

[momi @ShdMmym]

寝れんて笑

[ITmedia AI＋ @itm_aiplus]

「Claude」利用制限を全リセット　CodexとChatGPT Workも　“リセット合戦”再び
https://t.co/nCD0zKOeNh

[紫竹佑騎 Yuki SHICHIKU🧖‍♂️暗号屋LLC @79yuuki]

激アツパートナーじゃんじゃん増えてます！早い者勝ち！！！すてぶるペイパートナー募集中です！！！

[NHKニュース @nhk_news]

暗号資産を「金融商品」に位置づける改正金融商品取引法が成立
https://t.co/0XcIPPsIEv #nhk_news