BitVMとZK:トラストレスな計算への二つの道BitVMは、Bitcoinが信頼なしで計算を検証できることを証明します。ZKは、高速、プライベート、分散型でそれを行うことができることを証明します。Psyでは、プライバシーと自由が最優先されるZKを活用したインターネットを構築しています。仲介業者も妥協もありません。