イーサリアム上でzk-SNARKsの実装を行うことができ、Zcash on Ethereumを可能とするツールボックス。”検証者”として動くスマートコントラクトを作成することができ、匿名化した情報とこの値が正であることを検証者に証明するProofを生成することができる。NightfallでERC20やERC721トークンを匿名送金する際に使用される。名前の由来はアテネの哲学者ソクラテス(Socrates)から来ている。