Zeromorph Unifies Multilinear Proofs with Efficient Univariate Commitments
Zeromorph is a cryptographic recipe that maps complex multilinear polynomials to simpler univariate forms, radically reducing ZK-SNARK verification cost.
Zero-Knowledge Credentials from ECDSA Signatures Enable Private Identity
This ZK argument system composes Ligero with sumcheck-based verifiable computation to create privacy-preserving digital identity from existing ECDSA standards.
Transparent Polynomial Commitment Achieves Succinct Proofs without Trusted Setup
A novel polynomial commitment scheme achieves cryptographic transparency and logarithmic verification, eliminating the reliance on a trusted setup for scalable zero-knowledge proofs.
