ゼロ知識証明 - Wikipedia
暗号学において、ゼロ知識証明（ぜろちしきしょうめい、zero-knowledge proof、略称：ZKP[1]）とは、ある人が他の人に、自分の持っている（通常、数学的な）命題が真であることを伝えるのに、真であること以外の何の知識も伝えることなく証明できるようなやりとりの手法である。ゼロ知識対話証明（ZKIP）とも呼ばれる。 概要[編集] ゼロ知識証明の研究は、ある人が，秘密の知識（パスワードなど）を所持していることをもって，本人であることを他の人に示したいが，この秘密自体は誰にも開示しなくてよい認証方式を実現することが動機である。もっとも、パスワード認証というのはゼロ知識証明で扱う一般的な例ではない。ゼロ知識証明によるパスワード認証は特殊な応用例である。 ゼロ知識証明で証明される命題には、巨大な合成数の素因子（素因数分解の解）を知っている、離散対数問題（DLP）の解を知っているなどの公開
プライバシー性の高い分散型アプリケーション「Snapps」とは
ゼロ知識証明でブロックチェーンの課題解消へ 日々発展を続けるブロックチェーン分野において、依然として課題だと考えられている点が、スケーラビリティの限界、およびプライバシーの欠如だ。 前者に関しては、DeFi（分散型金融）やNFT（非代替性トークン）ブームの舞台となったイーサリアム・ネットワークにて顕著に見られており、イーサリアム2.0やロールアップ技術の開発など、様々な対策が進められている。一方で後者のプライバシーについては、概してパブリックチェーンが機能するには、全てのトランザクションやアドレスが公開されている必要があると考えられてきたため、一部のプライバシー特化型チェーンを除き、焦点が当てられていないことがほとんどだ。 しかし、zk-SNARKsという技術を活用すれば、これら二つの課題を両方とも解決することができると言われている。 zk-SNARKsとは zk-SNARKsとは、証明方
TypeScript の「型安全」を担保するために知っておきたかったこと - OITA: Oika's Information Technological Activities
タイムリープTypeScript 〜TypeScript始めたてのあの頃に知っておきたかったこと〜 アドベントカレンダー1日目の記事になります。 よろしくお願いします。 3行で TypeScript で安全に型を扱う勘所は以下2点だと思いました。 最初から最後まで型が壊れていないことを保証する 型が壊れる可能性があるものは壊れている前提で扱う 個人的背景と前提 もともと C# での開発をメインとしていました。 Web開発は、JavaScript歴 ≒ TypeScript歴くらいの型付依存者です。 そのため、型付けのゆるい言語に対する耐性がなく、本内容もそういうポジションからの見解になります。 本記事内のサンプルコードは TypeScript V4.4 で挙動を確認しています。 最近のバージョンで変更のあった点は脚注を入れています。 最初から最後まで型を壊さない C# という静的型付け言語
リーン生産方式 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "リーン生産方式" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2012年7月） リーン生産方式（リーンせいさんほうしき、lean manufacturing、lean product system、略称LPS）とは、1980年代にアメリカのマサチューセッツ工科大学（MIT）の研究者らが日本の自動車産業における生産方式（主にトヨタ生産方式）を研究し、その成果を再体系化・一般化したものであり、生産管理手法の哲学。 概要[編集] リーン生産方式はトヨタ生産方式を研究して編み出された方式であり、MITのジェームズ・P・ウォマック（英語版）、ダニ
平準化 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "平準化" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2018年9月） 製造業における平準化（へいじゅんか）は、色々な種類の製品を均等にばらして生産すること。同じものをまとめて生産するロット生産と対比して考えることができる。 平準化を考える時には大きく、量の平準化と、中身（種類）の平準化を考えることになる。 段取替の時間などの必要性から、最後は1個単位にまでは平準化しきることが困難な場合もでてくるが、基本的にはロットを小さくする努力と平準化をしていく努力を組合わせていくことによって効率化が図れるケースは多い。 日本国外でも"Heijun
セッションマネージャーを使用したローカルポートとリモートポート間のトラフィックの転送が可能に
AWS Systems Manager セッションマネージャーを使用して、Amazon EC2 またはオンプレミスのリモートインスタンス内にある任意のポートからのトラフィックをクライアントマシンのローカルポートにリダイレクトできるようになりました。 セッションマネージャーにより、インスタンスとやり取りするために踏み台ホストを用いたりインバウンドポートを開いたりする必要がなくなります。これによりコストが削減され、セキュリティ体制も向上します。ポート転送のサポートにより、プライベートサブネットでホストされているウェブサーバーやデータベースサーバーとの通信といったトンネリングのシナリオでこうした利点が生かせます。また、セッションマネージャーを使用してインスタンスからのトラフィックをトンネリングすることにより、Remote Desktop Protocol (RDP) を使用して Windows
本書について | Ethereum入門
Ethereum入門は、分散アプリケーションプラットフォーム「Ethereum（イーサリアム）」の技術入門書です。 Ethereumがどのように動作するのか、Ethereumを用いてどのように分散アプリケーションを開発していくか、について解説していきます。 Ethereumプロジェクトは最初の安定版（Homestead）リリースがされましたが、今後仕様が変更になる場合があります。仕様変更に伴い本書も逐次内容を変更していきます。 また本ドキュメントは2018/3/10 現在、制作中です。 本ドキュメントはオープンなプロジェクトであり、そのため協力者を広く求めています。本書のソースコードはGitHub上で公開されています。 本書への追記や修正などありましたら、上記GitHubにてIssueの発行、またはPull requestをお願いいたします。 本ドキュメントは Creative Commo
DeFi - Wikipedia
DeFi（decentralized finance、ディーファイ、分散型金融）は、金融の実験的形態のひとつであり、それは仲買人、取引所、銀行といった中央集権的な金融仲介者に頼らず、ブロックチェーン上のスマート・コントラクトを利用する[1]。DeFi プラットフォームによって、利用者間で資金の貸借を行なったり、デリバティブを用いて様々な資産の値動きに投資したり、暗号通貨を売買したり、リスクに備えて保険をかけたり、預金型の口座で利子を受け取ることができる[2]。いくつかの DeFi アプリケーションは高利子を謳っているが[2]、リスクも高い[1]。2020年10月時点で、110億ドル以上の資金が様々な DeFi プロトコルに預託されており、その数字は同年中で10倍の伸び率を示した[3][2]。2021年1月時点で、約205億ドルが DeFi に投資されていた[4]。 沿革[編集] 暗号通貨
MySQL 文字コード確認 - Qiita
1.「クライアント」と「サーバ」の文字コードを確認 文字コード設定は、クライアントとサーバそれぞれ持っている 確認コマンド mysql> show variables like '%char%'; +--------------------------+------------------------------ | Variable_name | Value | ------------------------+--------------------------------+ | character_set_client | utf8 | クライアント | character_set_connection | utf8 | クライアント | character_set_database | utf8 | サーバ | character_set_filesystem | binary |
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
すれ違いざまに女性を殴った疑い 池袋駅、公認会計士を逮捕 警視庁 | 毎日新聞
海外で逮捕の台湾人600人超、中国へ強制送還＝人権団体報告書 - BBCニュース