zk-STARK
Um zk-STARK (Zero-Knowledge Scalable Transparent Argument of Knowledge) é um sistema de prova criptográfica que permite a um provador convencer um verificador da correção de um cálculo sem uma configuração confiável (trusted setup) ou a revelação de detalhes computacionais. Introduzidos por Ben-Sasson e colegas em 2018, os zk-STARKs abordam uma limitação chave dos zk-SNARKs: eles não exigem uma fase de pré-processamento vulnerável à corrupção. Em vez disso, os STARKs dependem apenas de funções hash criptográficas, tornando-os mais simples, mais transparentes e considerados seguros contra ataques pós-quânticos.
Leia o método completo
Entre com uma conta gratuita para ler esta seção.
Method map
The neighbourhood of related methods — select a node to explore.
Fontes
- Ben-Sasson, E., Bentov, I., Horesh, Y., & Riabzev, M. (2019). Scalable, transparent, and post-quantum secure computational integrity. In IACR Cryptology ePrint Archive, Report 2018/046. link ↗
- Ben-Sasson, E., Riabzev, M., Rozenkraut, M., Shacham, H., & Stemen, M. (2021). Aurora: Transparent Succinct Non-Interactive Zero-Knowledge Proofs. In IACR Cryptology ePrint Archive, Report 2018/828. link ↗
Como citar esta página
ScholarGate. (2026, June 3). Zero-Knowledge Scalable Transparent Argument of Knowledge. ScholarGate. https://scholargate.app/pt/cryptography/zk-stark
Which method?
Set this method beside its closest kin and read them side by side — the library lays the books on the table; the choice is yours.
- Criptografia Baseada em ReticuladosCriptografia↔ compare
- Criptografia Pós-Quântica (Kyber)Criptografia↔ compare
- zk-SNARKCriptografia↔ compare
Referenciado por
Encontrou um problema nesta página? Relate ou sugira uma correção →