Suchergebnisse
Suchergebnisse:
Spartan is a high-speed zero-knowledge proof system, a cryptographic primitive that enables a prover to prove a mathematical statement to a verifier without revealing anything besides the validity of the statement.
- Overview
- References
- Contributing
- Trademarks
Spartan is a high-speed zkSNARK, where a zkSNARK is type cryptographic proof system that enables a prover to prove a mathematical statement to a verifier with a short proof and succinct verification, and without revealing anything beyond the validity of the statement. Spartan provides a linear-time polynomial IOP that when combined with a polynomial commitment scheme provides a succinct interactive argument. It is made non-interactive using the Fiat-Shamir transform.
Compared to an earlier implementation of Spartan, the goal of this project is to provide an implementation of Spartan that is generic over the polynomial commitment scheme. This version also accepts circuits expressed with bellperson. We currently support R1CS. In the future, we plan to add support for other circuit formats (e.g., Plonkish, CCS). The proofs are not zero-knowledge (we plan to add it in the near future). The first version of this code is derived from Nova's open-source code.
The following paper, which appeared at CRYPTO 2020, provides details of the Spartan proof system:
Spartan: Efficient and general-purpose zkSNARKs without trusted setup
Srinath Setty
CRYPTO 2020
This project welcomes contributions and suggestions. Most contributions require you to agree to a Contributor License Agreement (CLA) declaring that you have the right to, and actually do, grant us the rights to use your contribution. For details, visit https://cla.opensource.microsoft.com.
When you submit a pull request, a CLA bot will automatically determine whether you need to provide a CLA and decorate the PR appropriately (e.g., status check, comment). Simply follow the instructions provided by the bot. You will only need to do this once across all repos using our CLA.
This project may contain trademarks or logos for projects, products, or services. Authorized use of Microsoft trademarks or logos is subject to and must follow Microsoft's Trademark & Brand Guidelines. Use of Microsoft trademarks or logos in modified versions of this project must not cause confusion or imply Microsoft sponsorship. Any use of third-...
30. März 2015 · Project Spartan will be available across the Windows 10 device family. It is fast, compatible, and built for the modern Web. Project Spartan is designed to work the way you do, with features enabling you to do cool things like write or type on a webpage. It’s a browser that is made for easy sharing, reading, discovery and getting things done ...
31. März 2015 · 31.03.2015, 12:35 Uhr. Lesezeit: 3 Min. Von. Daniel Berger. Erstmals enthält die Vorabversion von Windows 10 den neuen Browser "Project Spartan". Er soll den Internet Explorer ablösen und...
30. Dez. 2014 · Microsoft Spartan: Neuer Browser für Windows 10 - Golem.de. Spartan statt IE12: Microsoft plant für Windows 10 einen neuen Internet Explorer mit dem Codenamen Spartan. Dieser soll auf der...
22. Jan. 2015 · Microsoft is positioning Spartan as a brand-new browser -- something different from Internet Explorer. Sources have said that Spartan will use the same rendering engine as IE. In...
30. Dez. 2014 · Spartan: Microsoft stattet Windows 10 mit komplett neuem Browser aus - computerwoche.de. Web. Spartan. Microsoft stattet Windows 10 mit komplett neuem Browser aus. 30.12.2014. Trotz des Namens "Spartan" soll der Nachfolger des aktuellen Internet Explorer nicht wirklich spartanisch daher kommen.
