Contract tooling

Verifiable UBT

ZK circuits & privacy

Gizlilik odaklı · Doğrulama

tkmct/go-ethereum/tree/test-ubt-prompt(2 ☆)

Birleşik İkili Ağaç (Unified Binary Trie - UBT) ve Merkle Patricia Ağacı durum güncellemelerinin her Ethereum bloğu için eşleştiğini doğrulayan özyinelemeli zkVM kanıtları oluşturur. Hafif istemciler ve özel bilgi alımı için güven gerektirmeyen durum doğrulaması sağlar.

Related resources

ZK Email

ZK Email, sansürlenmiş e-posta dökümleri hakkındaki gerçekleri zincir içi kanıtlamak için devreler ve SDK'lar sağlar. Gelen kutularını ifşa etmeden gizliliği koruyan kimlik veya makbuz kontrolleri istediğinizde kullanışlıdır.

Railgun

Railgun, sıfır bilgi ispatları ile korumalı işlemler ve gizli DeFi etkileşimleri sağlayan Ethereum ve EVM ağları için bir gizlilik protokolüdür.

snarkjs

snarkjs, zkSNARK kanıtları oluşturmak ve doğrulamak ve Node.js ile tarayıcıda yaygın kanıtlama iş akışlarını çalıştırmak için bir JavaScript ve CLI araç setidir.

Noir

Noir, Aztec tarafından sürdürülen geliştirici dostu bir sözdizimi ve araçlarla sıfır bilgi devreleri yazmak için Rust'tan ilham alan bir dildir.

Circom

Circom, sıfır bilgi ispatı sistemlerinde kullanılan aritmetik devreleri yazmak ve derlemek için alana özgü bir dil ve derleyicidir.

Aztec

Aztec, programlanabilir gizlilik ve sıfır bilgi ispatları ile uygulamalar oluşturmak için gizlilik odaklı bir Ethereum Rollup'ı ve geliştirici platformudur.