
Site Reliability Engineeringの略で運用と開発のバランスをとって信頼性を担保していく方法論のこと。

[DevOps](/wiki/DevOps)の実装とも言われる。

[Google](/wiki/Google)が提唱したり[Googleのソフトウェアエンジニアリング](/wiki/Googleのソフトウェアエンジニアリング)で触れられたりしている。

基本的な用語
- [SLI](/wiki/SLI)
- [SLO](/wiki/SLO)
- [SLA](/wiki/SLA)
- [エラーバジェット](/wiki/エラーバジェット)
- [トイル](/wiki/トイル)
- [オンコール](/wiki/オンコール)
- [50%ルール](/wiki/50%ルール)

[SRE](/wiki/SRE)においては[トイル](/wiki/トイル)は50%以下を目指すルールがある。

50%ルール

[暗号通貨](/wiki/暗号通貨)に関して、[ブロックチェーン](/wiki/ブロックチェーン)上の分散台帳に台帳外のデータを提供する機能のこと。

主に[Chainlink](/wiki/Chainlink)が提供している分散ネットワークを経由して各種外部APIを叩いているらしい。

この辺が詳しかった。

https://www.coindeskjapan.com/92800/

オラクル


メインの[暗号通貨](/wiki/暗号通貨)の[ブロックチェーン](/wiki/ブロックチェーン)と連携する目的で作られた別の[ブロックチェーン](/wiki/ブロックチェーン)のこと。

サイドチェーン

裏切り者がいるかもしれない時に、どのように分散的に合意するかという問題。

転じて、間違う可能性のある分散システム上でどのようにデータに合意するか、という問題の基本的なバージョンと考えられる。

かの有名なLamport先生を含む3人が1980年の論文で合意問題として定式化したらしい。

https://dl.acm.org/doi/10.1145/322186.322188

最初の解決策も1982年にLamport先生たちが論文を出した。

https://dl.acm.org/doi/10.1145/357172.357176

この問題は裏切り者が1/3以上いる場合は解決出来ないことが知られている。

この合意が取れるシステムはビザンチン障害耐性 (Byzantine Fault Tolerance) があると言う。

分散システムの問題なので[暗号通貨](/wiki/暗号通貨)でもよく語られる問題である。

ビザンチン合意


ゴール、シグナル、メトリクスを明確に区別する (GSMフレームワーク)。  
  
- ゴール: 達成するべき目標。  
- シグナル: ゴールを達成したことを知る手段。必ずしも計測可能である必要はない。  
- メトリクス: シグナルの計測可能な代替品。  
  
メトリクスを計測する前に、それを計測した後どう行動するのかを考えるべき。  
  
生産性のゴールにはトレードオフがあるため、一部だけを計測するのはよくない。  
QuANTSのゴールを全て計測することで、網羅的に計測ができる。  
  
| 頭文字 | 英語                           | 日本語      |  
|-----|------------------------------|----------|  
| Qu  | **Qu**ality of the code      | コード品質    |  
| A   | **A**ttention from engineers | エンジニアの注意 |  
| N   | I**n**tellectual complexity  | 知的複雑性    |  
| T   | **T**empo and velocity       | テンポと速度   |  
| S   | **S**atisfaction             | 満足       |  

QuANTS

初期の[暗号通貨](/wiki/暗号通貨)の取引手数料が高騰している課題の解決策として、大きく分けて以下の2種類がある。

- 最適化した新たな[暗号通貨](/wiki/暗号通貨)を開発し、それだけを運用可能にする（適度に連携することも多い。[サイドチェーン](/wiki/サイドチェーン)）。
- 最適化した新たな[暗号通貨](/wiki/暗号通貨)を開発し、その履歴を定期的に既存の[暗号通貨](/wiki/暗号通貨)に書き込む。

この内の後者をセカンドレイヤー (L2) ソリューションと呼び、その新たな暗号通貨をセカンドレイヤー等と呼ぶ。

代表例は[Ethereum](/wiki/Ethereum)に対する[Polygon](/wiki/Polygon)、[Optimism](/wiki/Optimism)、[Plasma](/wiki/Plasma)、[ライデンネットワーク](/wiki/ライデンネットワーク)、[Bitcoin](/wiki/Bitcoin)に対する[ライトニングネットワーク](/wiki/ライトニングネットワーク)等。

L2ソリューション


いかなる[チューリングマシン](/wiki/チューリングマシン)もエミュレートできる[チューリングマシン](/wiki/チューリングマシン)のこと

万能チューリングマシン


うまくカプセル化されたソフトウェアは[アウトサイドインプログラミング](/wiki/アウトサイドインプログラミング)することによって得られる。  
  
「知らぬが仏」という言葉はソフトウェアにおいては常に真である。 

CLEANなコードを目指すべき。

- C: Cohesive (凝集性)  
- L: Loosely coupled (疎結合)  
- E: Encapsulated (カプセル化)  
- A: Assertive (断定的)  
- N: Nonredundant (非冗長)


CLEAN

開発者の生産性をどう捉えるかについてのヒントを与えてくれるフレームワーク。  

著者の一人であるNicole Forsgren氏は、[LeanとDevOpsの科学](/wiki/LeanとDevOpsの科学)の著者の一人でもあり、氏が2021年にGitHub、ビクトリア大学、Microsoft Researchのメンバーと共に発表した論文[The SPACE of Developer Productivity](https://queue.acm.org/detail.cfm?id=3454124)で提唱されている。

- Satisfaction and well being
	- 開発者が自分の仕事、チーム、ツール、文化にどれだけ満足しているか
- Performance
	- 開発者が書いたコードは、想定されたことを確実に実行したか？
- Activity
	- 業務を遂行する過程で完了した行動やアウトプットの数
- Communication and collaboration
	- メンバーやチームがどのようにコミュニケーションをとり、協力し合うか
- Efficiency and flow
	- 個人であれシステムであれ、中断や遅延を最小限に抑えて作業を進める、完了する能力

参考
https://zenn.dev/loglass/articles/28c565a875e9bd

SPACEフレームワーク


[ソフトウェアアーキテクチャ・ハードパーツ](/wiki/ソフトウェアアーキテクチャ・ハードパーツ)

[ハードパーツ](/wiki/ハードパーツ)としてのコントラクトの定義は以下である。  
  
> アーキテクチャの部品が情報や依存関係を伝えるために使用するフォーマット。  
  
コントラクトとして例えば以下の様なものがあり、トレードオフがある。  
  
- 堅い
  - 例
    - gRPC  
  - メリット
    - 型
    - バージョニング
    - 検証が用意
    - ドキュメント  
  - デメリット
    - 密結合  
- 緩い
  - 例
    - JSON
  - メリット
    - 疎結合
    - 進化しやすさ
  - デメリット
    - 型がない
    - コンシューマ駆動契約等の適応度関数が必要

帯域幅は無限だと思うな。

コントラクトに関するトレードオフ

[暗号通貨](/wiki/暗号通貨)の一種で、[Ethereum](/wiki/Ethereum)の[L2ソリューション](/wiki/L2ソリューション)として開発、運用されている。

昔はMATICという名称だったため、トークンの名前は今でもMATICとなっている。

[コンセンサスアルゴリズム](/wiki/コンセンサスアルゴリズム)は[プルーフオブステーク](/wiki/プルーフオブステーク)で、他にも様々な違いにより取引速度が速く手数料も安い。

[Rollup](/wiki/Rollup)としては定期的にマークルツリーのルートハッシュを[Ethereum](/wiki/Ethereum)に記録する方式となっているらしく、[サイドチェーン](/wiki/サイドチェーン)とか[Plasma](/wiki/Plasma)感もあるが本家の人いわく[L2ソリューション](/wiki/L2ソリューション)とのこと。

https://www.neweconomy.jp/posts/113665


Polygon

カーボンを使ったヒーターのこと。
電気代が[ハロゲンヒーター](/wiki/ハロゲンヒーター)より安く、遠赤外線が2倍出るため電力効率に優れる。

カーボンヒーター

[ブロックチェーン](/wiki/ブロックチェーン)を用いた[暗号通貨](/wiki/暗号通貨)では、最も長いチェーンが有効とされる。

したがって、その分散ネットワークの全参加者のうち51%の信頼を獲得すれば、1人で最も長いチェーンを繋げることができる。これはつまり自由に台帳に取引履歴を書き込めるということで、そうなったら[暗号通貨](/wiki/暗号通貨)は終わる。

例えば[プルーフオブワーク](/wiki/プルーフオブワーク)では51%の計算リソースが必要で、[プルーフオブステーク](/wiki/プルーフオブステーク)では51%の[暗号通貨](/wiki/暗号通貨)が必要である。

[Bitcoin](/wiki/Bitcoin)等の規模が大きいネットワークでは攻撃はかなり難しいが、規模が小さい[暗号通貨](/wiki/暗号通貨)では実際に起こっている。

実例

https://coinpost.jp/?p=175687

51%攻撃


[飲んだコーヒー豆リスト](/wiki/飲んだコーヒー豆リスト)

まあ普通
リピートはしないかなあってくらい
[コロンビアスプレモ](/wiki/コロンビアスプレモ)よりも下だった

ニカラグアリンダビスタ農園

<a href="/wiki/%E9%A3%B2%E3%82%93%E3%81%A0%E3%82%B3%E3%83%BC%E3%83%92%E3%83%BC%E8%B1%86%E3%83%AA%E3%82%B9%E3%83%88">飲んだコーヒー豆リスト</a>
無難な味で結構使いやすい 
安いし

モカシダモG4