世界一わかりやすいゼロ知識証明 Vol.2: Zero-Knowledge Proofs in the Context of Modern Cryptography
このブログシリーズをグラントプロジェクトとしてサポートしてくださっているイーサリアム財団、また執筆に際してフィードバックとレビューをしてくださった末神奏宙さんに感謝します。 Special thanks to Ethereum Foundation for awarding grants to this blog post series, and Sora Suegami for feedback and review. このブログシリーズは、ソフトウェアエンジニアに限らず、あらゆる日本の読者のみなさんに向けて、最先端の暗号技術とその重要性をわかりやすく説明するという趣旨で書かれています。それぞれ単体の記事としてもお読みいただけますが、順番に読み進めていくことでより理解が深まります。まだお読みでない方は、ブロックチェーンやコンセンサスアルゴリズムの仕組みについて解説しているVol.1を先に
高速な仮説検証ループで届けた新規プロダクトの成果を既存プロダクトにも反映するドリームチームの開発手法 ─ カケハシyabusameインタビュー - Agile Journey
株式会社カケハシは「日本の医療体験を、しなやかに。」というミッションを掲げた、医療系のスタートアップです。現在は薬局向けのSaaSを主軸としたビジネスを行っており、多くのエンジニアがチームを組んで開発に取り組んでいます。その開発チームのひとつ「yabusame」は、特徴的なチーム編成もあって社内外で注目を集めています。 メンバーの椎葉光行（@bufferings）さん、小田中育生（@dora_e_m）さん、荻野淳也（@ogijun）さん、種岡篤志さん、平松拓（@hirataq__）さんは、それぞれが開発チームをリードできる高い技術力やマネジメント能力だけでなく、細やかな対人スキルや広い視座でメンバーの関係性を捉える能力を備えたシニアエンジニアでありながら、同じチームのメンバーとして開発に取り組んでいます。 日本の古式弓馬術である流鏑馬(やぶさめ)から「変化が速い中を駆け抜けて、的確にゴール
Malwarebytesは9月27日(米国時間)、「Millions of Kia vehicles were vulnerable to remote attacks with just a license plate number｜Malwarebytes」において、起亜(KIA)が2013年以降に製造したほぼすべての自動車に脆弱性が存在したと報じた。この脆弱性を悪用されると、自動車の主要な機能を遠隔操作される可能性がある。 Millions of Kia vehicles were vulnerable to remote attacks with just a license plate number｜Malwarebytes 脆弱性の概要 この脆弱性はセキュリティ研究者のSam Curry氏によって発見された。脆弱性の詳細はSam Curry氏のWebページ「Hacking Ki
The story of web framework Hono, from the creator of Hono
The story of web framework Hono, from the creator of Hono2024-10-17 Hono is a fast, lightweight web framework that runs anywhere JavaScript does, built with Web Standards. Of course, it runs on Cloudflare Workers. It was three years ago, in December 2021. At that time, I wanted to create applications for Cloudflare Workers, but the code became verbose without using a framework, and couldn't find a
A few years ago I wrote an article suggesting that Web Components might not be the most beneficial direction for Web development to head. It was a soft-handed look at where they made sense and where things fall apart. It wasn't geared as a "us against them" argument and I hoped people would come to reasonable conclusions for themselves. But over the past few years, I've only seen the situation wor
185 real-world gen AI use cases from the world's leading organizations
Similar to great sales and service people, customer agents are able to listen carefully, understand your needs, and recommend the right products and services. They work seamlessly across channels including the web, mobile, and point of sale, and can be integrated into product experiences with voice and video. 1.Alaska Airlines is developing natural language search, providing travelers with a conve
◆ゼロ知識証明（※1）の中でも高い安全性をもつリセット可能統計的ゼロ知識アーギュメント（※2、※3）について、その実現には証拠暗号（※4）の利用が不可欠であることを世界で初めて証明しました。 ◆「平文のない世界」をめざすIOWN PETs（※5）の一技術として金融や医療/ヘルスケアなど様々な分野での利用が期待されるゼロ知識証明の実用化に貢献する成果です。 日本電信電話株式会社（本社：東京都千代田区、代表取締役社長：島田 明、以下「NTT」）は、高い安全性を持つゼロ知識証明であるリセット可能統計的ゼロ知識アーギュメントの実現には、実質的に証拠暗号の利用が不可欠であることを世界で初めて厳密に証明しました。ゼロ知識証明は、相手に追加情報を与えることなく主張の真実性だけを証明する暗号プロトコルの一つであり、例えばパスワードを開示せずに正しいパスワードを持っていることを証明することができる画期的な技
Everything you need to know about Python 3.13 – JIT and GIL went up the hill | drew's dev blog
Everything you need to know about Python 3.13 – JIT and GIL went up the hill Table of Contents On 2nd October 2024, the Python core developers and community will release CPython v3.13.0 – and it’s a doozy. (Update: release has now been pushed back to 7th October.) So what makes this release different, and why should you care about it? In short, there are two big changes being made to how Python ru
CSS nesting improves with CSSNestedDeclarations Stay organized with collections Save and categorize content based on your preferences. Published: Oct 8, 2024 To fix some weird quirks with CSS nesting, the CSS Working Group resolved to add the CSSNestedDeclarations interface to the CSS Nesting Specification. With this addition, declarations that come after style rules no longer shift up, among some
How Taylor Swift Surprised Harris, and Entered a New Political Era
How Taylor Swift Surprised Harris, and Entered a New Political EraThe pop star capped a big night for Kamala Harris with an unexpectedly timed endorsement that could draw in more young voters. Ms. Swift’s political message, too, was newly direct and personal. An endorsement of Vice President Kamala Harris by the megastar Taylor Swift on Tuesday night was further proof that the Democratic Party’s c
Machines of Loving Grace1 How AI Could Transform the World for the Better October 2024 I think and talk a lot about the risks of powerful AI. The company I’m the CEO of, Anthropic, does a lot of research on how to reduce these risks. Because of this, people sometimes draw the conclusion that I’m a pessimist or “doomer” who thinks AI will be mostly bad or dangerous. I don’t think that at all. In fa
Detecting and Mitigating Active Directory Compromises First published: September 2024 Detecting and Mitigating Microsoft Active Directory Compromises ii Introduction This guidance – authored by the Australian Signals Directorate (ASD), the Cybersecurity and Infrastructure Security Agency (CISA), the National Security Agency (NSA), the Canadian Centre for Cyber Security (CCCS), the New Zealand Nati
Pssst - want to skip right to the chart? click here Background We're Wafris, an open-source web application firewall company that, among other frameworks, ships a Rails middleware client. At launch, the v1 client required a local Redis datastore to be deployed with your app. We're now releasing v2 of our Rails client which uses SQLite as the backing datastore. This article covers the decision-maki
ゆっくり、だが突然に。 変革をもたらすブレイクスルーへの道のりは、しばしばよく知られたパターンをたどる。そして、2024年9月はブロックチェーンのトランザクションの有効性をリアルタイムで証明することが加速した転換点として記憶されるかもしれない。 まず、ポリゴンラボ（Polygon Labs）は先日、Fabric Cryptographyの専用半導体「検証処理ユニット：VPU）の購入を発表し、ゼロ知識（ZK）証明能力の大幅な進歩につながると述べた。 関連記事：ポリゴン、ゼロ知識証明専用のコンピューターチップを搭載したサーバー500万ドル分を購入へ Succinct Labsは、レイヤー2ブロックチェーンのOptimismと共同で、OP Stackによるオプティミスティック・ロールアップ・チェーンをわずか1時間でZKロールアップにアップグレードするフレームワークを発表した。ユーザーは、ロールア
Wed, 28 Aug 2024 20:39:12 -0500 ABSTRACT This guideline focuses on the authentication of subjects who interact with government information systems over networks to establish that a given claimant is a subscriber who has been previously authenticated. The result of the authentication process may be used locally by the system performing the authentication or may be asserted elsewhere in a federated
ITエンジニアやクリエイター向けに転職や採用のためのプラットフォームおよびコンテンツメディアなどを提供するレバテックは、マイクロサービス化したことにより増えすぎてしまったデータベースや計画停止に必要な社内調整の困難さに直面していました。 それを解決すべく導入したのがMySQL互換でスケーラブルな特徴を持つ「TiDB」でした。 同社はPoCによってTiDBの十分な性能、アプリケーションを移植可能なMySQLとの互換性、オンラインのままバージョンアップやDDLの実行などが可能な高い可用性などを確認し、現在アプリケーションの移行作業に取りかかっているところです。 同社がいかにTiDBを評価したのか、その内容が今年（2024年）7月に行われたイベント「TiDB User Day 2024」のセッション「TiDBは銀の弾丸になるのか？ ~ レバテックの課題と新たな挑戦 ~」で語られました。 本記事で
The Android experience Google's phones provide has come a long way from the early days of Nexus phones. They bring a lot to the table, so much that I can't go back to a non-Pixel phone now, despite the fierce competition. Read on to learn why. 1 I Enjoy Using Stock Android It might surprise you, but I wasn't always an Android fan. As an early teenager, there was no shortage of Android phones aroun
When To Do What You Love
September 2024 There's some debate about whether it's a good idea to "follow your passion." In fact the question is impossible to answer with a simple yes or no. Sometimes you should and sometimes you shouldn't, but the border between should and shouldn't is very complicated. The only way to give a general answer is to trace it. When people talk about this question, there's always an implicit "ins
単純な実装でみんなの負担を減らした話 〜サイトカスタマイズ機能の開発物語〜 - Commune Engineer Blog
こんにちは、Webエンジニアの野川（@chan_naru_way）です。趣味は、Perplexity AIを触ってなんでも知った気持ちになることです。（最近はGensparkも面白い！）とはいっても、回答を鵜呑みにせずに自分の頭で考え続けたい、まだまだAIに使われたくない所存です。 徐々にパソコンのファンの風が心地よく感じる季節になってきました。季節の変わり目なので、みなさん体調に気をつけてくださいね〜。 今回は、Communeで提供している機能のひとつ「カスタムブロック」が、どんな課題を解決するために、どんな判断や開発を経て作られたのかを紹介します。ひとつの事例ですが、私たちの開発の雰囲気が伝われば幸いです。 はじめに 〜SaaS依存のカスタムブロック機能〜 内製化を決断！理由と判断基準 カスタムブロック機能の開発 設計と技術選定 具体的な実装内容 コミュニティサイト側（一般ユーザー画面
本レポートでは、2024年8月中に発生した観測情報と事案についてまとめています。 目次 DDoS攻撃の観測情報 IIJマネージドセキュリティサービスの観測情報 Web/メールのマルウェア脅威の観測情報 セキュリティインシデントカレンダー DDoS攻撃の観測情報 本項では、IIJマネージドセキュリティサービスやバックボーンなどでIIJが対処したDDoS攻撃のうち、IIJ DDoSプロテクションサービスで検出した当月中の攻撃を取りまとめました。 攻撃の検出件数 以下に今回の対象期間で検出した、DDoS攻撃の検出件数を示します。 図-1 DDoS攻撃の検出件数（2024年8月） 今回の対象期間で検出したDDoS攻撃の総攻撃検出件数は379件であり、1日あたりの平均件数は12.23件でした。期間中に観測された最も規模の大きな攻撃では、最大で約426万ppsのパケットによって44.34Gbpsの通信
ウクライナ停戦機運の強まり
2024年9月24日 田中 宇 フランスのマクロン大統領が9月23日、欧州はウクライナ終戦後にロシアと関係改善すべきだと表明した。 マクロンは、対露関係に関してもともと風見鶏だ。ウクライナ開戦直後の2022年6月にはロシアを追い詰めない方が良いと言っていたが、その後ウクライナが勝ちそうだと思ったのか、好戦派に転じた。 今年初めには、ウクライナの対露敗北を避けるため、NATO軍のウクライナ派兵が必要だと発言し、代理戦争を態勢を変えたくないNATO諸国の多くから拒否されている。 （Macron calls for new international order in response to war in Ukraine） そして今回マクロンは、ウクライナがもう勝てない状態になっていることに加え、マクロン自身の人気低下と連立政権内の不和拡大への対応策として、フランスや欧州での厭戦機運の高まりに呼
はじめに 記事に興味を持っていただきありがとうございます！ 本記事は、ChatGPTの「o1」モデルについて、その概要や「4o」モデルとの使い分け、さらに「o1」モデルがもたらす将来をより知ってもらいたく作成しました。 2022年11月30日にChatGPTが登場して以来、OpenAIを中心にAIは目覚ましいスピードで進化を続けています。そして、2024年9月12日にはOpenAIは新たな「o1」モデルを発表し、同日そのプレビュー版である「o1-preview」モデルにアクセスできるようになりました。 ▶︎ 公式情報はこちら 私自身、ニュースやSNSを通じてこの「o1」モデルについて知る機会はありましたが、実際にモデルの能力がどれほど優れているのか、「4o」モデルとどのように異なるのか漠然とした理解しかありませんでした。そこで今回、公式情報や他にも信頼のある情報を基に学んだことを整理し、ア
ゼロ知識証明について調べていたら、発行者が作成した証明書の一部だけを公開してプライバシーを守るとか、証明したい部分を伏せて存在を証明することができる、といった解説をよく見かけます。さらに調べていくうちに、なぜかゼロ知識証明を使わずに実現する方法について興味が湧いてきました。 もちろん複雑なことはZK-SNARKやZK-STARKの活用が必須となりますが、大きな実装難易度や計算コストも伴います。最近Symbolのコア開発者もKASANEというSTARK開発に向けて発表がありましたのでどんな仕組みになるのか楽しみですね。 コミュニティからのレポートもあるのでご紹介しておきます。 今回はゼロ知識証明を使わずに、ゼロ知識証明の定番ユースケースをsymbol-sdkを使用して実装してみます。速習Symbol方式で実行検証できますので、お試しください。 // Symbol SDK のインポート con
How 3 Turing Awardees Republished Key Methods and Ideas Whose Creators They Failed to Credit
LBH also have participated in other PR work that has misled many. For example, the narrator of a popular 2018 Bloomberg video[VID2] is thanking Hinton for speech recognition and machine translation, although both were actually done (at production time of the video) on billions of smartphones by deep learning methods developed in my labs in Germany and Switzerland (LSTM & CTC) long before Hinton's
Welcome to a new series of posts that will take you on a visual journey through the OpenAPI Specification (OAS) and its tooling ecosystem! Why diagram the OAS ecosystem? As part of the efforts to design OAS 3.2 and 4.0 “Moonwalk”, I wanted to figure out how different sorts of tools work with the OAS. Moonwalk is an opportunity to re-think everything, and I want that re-thinking to make it easier t
You Don’t Know Jack about Bandwidth – Communications of the ACM
Imagine you are a company with a lot of remote employees, and they all hate the local Internet service providers (ISPs). Videoconferences are the worst: People cannot hear each other, they randomly start sounding like Darth Vader, and they occasionally just disappear from the conversation. Or you are a small ISP, and your customers say they hate you. When you talk to your ISP or supplier, they say
Prerequisite Knowledge First, let's look at the control bits and state machine of TCP, which form the basis for understanding the three-way handshake of TCP. TCP Packet Control Bits The control bits in the TCP packet header are used to control the status of the TCP connection and can indicate various control information such as connection establishment, termination, reset, etc. There are six commo
新規事業を立ち上げたい、または新規事業を立ち上げようとしているが思うようにいかないことに悩んでいる企業の担当者の以下の課題にお答えする記事です。 新規事業を立ち上げる方法を知りたい 新規事業を立ち上げる際に必要な知識を学ぶ方法を知りたい この記事では経営者や事業責任者に向けた新規事業を立ち上げる目的や立ち上げる際の7つのプロセス、また、事業計画書を作成するために必要なフレームワークやおすすめ書籍などをご紹介します。 企業にとって新規事業立ち上げの目的とは？ 新規収益の開拓 新規事業を立ち上げることは、企業経営における新しい収益の柱を作ることです。 特に他社が参入していない領域や、今後成長が見込まれる分野は新規収益を開拓できる可能性が高い領域となります。 新規事業が軌道に乗った場合、企業全体の成長や、持続可能性を高めることができます。 外部環境の変化に対するリスクヘッジ 現在の企業の売り上げ
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ナンバープレートから自動車のエンジンを始動できる脆弱性、発見
Web Components Are Not the Future
追加情報を漏らさずに真実性保証ができる「ゼロ知識証明」における未解決問題を解決～証明生成時に乱数を再利用しても秘密情報が漏れないゼロ知識アーギュメントの実現方針を確立～ | ニュースリリース | NTT
CSS nesting improves with CSSNestedDeclarations | Articles | web.dev
Dario Amodei — Machines of Loving Grace
Detecting and Mitigating Active Directory Compromises
Rearchitecting: Redis to SQLite | Wafris
ゼロ知識証明、シンギュラリティが近づく | CoinDesk JAPAN（コインデスク・ジャパン）
NIST Special Publication 800-63B
増えすぎたデータベースと計画停止の苦労を、TiDBへの移行で解決できるか？ レバテックの挑戦［PR］
Why I Can’t Go Back to a Non-Pixel Android Phone
wizSafe Security Signal 2024年8月 観測レポート
ChatGPT-o1をナメない方がいい：詳細概要と4oとの違い、将来の使われ方など - Qiita
ゼロ知識証明を使用せずに部分証明と存在証明をやってみる - Qiita
Analyzing the OpenAPI Tooling Ecosystem
Why TCP needs 3 handshakes | PixelsTech
新規事業立ち上げステップ解説！進め方、成功ノウハウ、おすすめ学習方法を解説