NP computation refers to problems solvable by a non-deterministic Turing machine in polynomial time, or problems whose solutions can be verified in polynomial time. This class of computational problems is a central topic in theoretical computer science, particularly in complexity theory. Many cryptographic protocols rely on the presumed difficulty of certain NP problems. It describes a class of hard problems.
Context
In the cryptographic underpinnings of digital assets, the hardness of certain NP computation problems forms the basis for the security of many blockchain systems. For instance, the difficulty of solving specific mathematical problems quickly ensures the integrity of cryptographic hashes and digital signatures. Advances in quantum computing pose a long-term theoretical challenge to the security reliant on these computational assumptions. This is vital for crypto security.
A new lattice-based commitment scheme enables the first quasi-optimal, quantum-resistant SNARKs, making secure, scalable verifiable computation practical.
We use cookies to personalize content and marketing, and to analyze our traffic. This helps us maintain the quality of our free resources. manage your preferences below.
Detailed Cookie Preferences
This helps support our free resources through personalized marketing efforts and promotions.
Analytics cookies help us understand how visitors interact with our website, improving user experience and website performance.
Personalization cookies enable us to customize the content and features of our site based on your interactions, offering a more tailored experience.