Awesome

CryptoNetLab

Our webpage

Welcome to the CryptoNet public repository. Here you will be able to learn about and contribute to our Open Problems, RFPs, and Research Projects, as well as keep tabs on what we're planning for the future.

CryptoNet
- Mission & Vision
Research
Community
Publications, Talks, & Tutorials
Team
Contact

`CryptoNet`

CryptoNet develops and applies new cryptographic tools to secure computation and communication systems. We facilitate the development and incorporation of cryptographic tools to increase security and privacy of communication, and engender new capabilities across the Web 3.0 stack. Much of our past and current work includes designing, proving, and improving the building blocks enabling Filecoin, a decentralized storage network.

Mission & Vision

CryptoNet aims to function as a Public Good Cryptography Lab providing technological empowerment to the creators and users of Web 3.0 technologies. We prefer to work collaboratively following a distributed and permissionless research model: our goal is to become a pass-through layer to cryptography research.

Please join the discussion to learn how you can work with us!

Research

CryptoNet’s current foci are:

Cryptographic primitives: Filecoin and other Web 3.0 technologies rely on the performance and security of cryptographic primitives. Our endeavours include Proof of Replication (PoRep), Proof of SpaceTime (PoST), SEALSTACK, SNARKs, and VDFs.
Blockchain infrastructure: We are working to advance the state of the art of generic blockchain constructions.
Web 3.0 protocol improvements: Our research contributes improvements to the transaction layer of the Filecoin protocol and its components, including mining, repair, security, and storage. These improvements may be generalized to other Web 3.0 technologies.

Much of CryptoNet’s past work is exhibited in the Filecoin Research website and GitHub repo.

Open Problems

We welcome discussion of our current Open Problems on our github discussion page. Please join us in exploring the future of public good cryptography by contributing to the solution of current problems and posing new ones!

<table> <thead> <tr> <th><b>Research Area</b></th> <th><b>Open Problem(s)</b></th> <th><b>Short Description: </b></th> </tr> </thead> <tbody> <tr> <td rowspan="8">Proof of Space</td> <td> Simple graph-labeling based PoS in the time model</td> <td rowspan="8"> See <a href="https://github.com/protocol/CryptoNetLab/blob/main/open_problems/Proof-of-Space_and_Useful_Space_Open_Problems.md">here</a> </td> </tr><tr> <td> Graph-labeling based PoS in the cost model</td> </tr><tr> <td>Less communication rounds for repeated audits</td> </tr><tr> <td>Proof of Useful Space from hash-based PoS</td> </tr><tr> <td>Proof of Useful Space with Data Updatability</td> </tr><tr> <td>Tight hash-table based PoS construction</td> </tr><tr> <td>Incremental Cost for Parameter Upgrades</td> </tr><tr> <td>Verifiable Capacity Bound Functions</td> </tr> <tr> <td rowspan="8">SNARKs</td> <td>Scaling SNARKs</td> <td rowspan="8"> See <a href="https://github.com/protocol/CryptoNetLab/blob/main/open_problems/Open_Problems_for_SNARKs.md">here</a> </td> </tr><tr> <td>Transparent SNARKs</td> </tr><tr> <td>SNARKs with Constant Proof Size</td> </tr><tr> <td>Multiprover Interactive Proofs</td> </tr><tr> <td>Better Polynomial Commitments for SNARKs</td> </tr><tr> <td>SNARKs for Privacy-Preserving Computation</td> </tr><tr> <td>Post-Quantum SNARKs</td> </tr><tr> <td>New Levels of Security for SNARK</td> </tr> <tr> <td rowspan="5">Vector Commitments</td> <td> Augmented Aggregation for SVC</td> <td rowspan="5"> See <a href="https://github.com/protocol/CryptoNetLab/blob/main/open_problems/Better_Vector_Commitments.md">repo</a> and <a href=https://drive.google.com/file/d/18Cfggrali8BgFaXS1apCQLn0n3sW-Aqu/view?usp=sharing>pdf</a> </td> </tr><tr> <td> Functional Vector Commitments</td> </tr><tr> <td> Improving Merkle Tree Openings</td> </tr><tr> <td> Updatability Property for SVC</td> </tr><tr> <td> Assumptions and Algebraic Settings for VC</td> </tr> <tr> <td rowspan="3">Consensus</td> <td></td> <td rowspan="3"></td> </tr><tr> <td> (to be added soon) </td> </tr><tr> <td></td> </tr> </tbody> </table>

Projects

RFPs

As we develop and post RFPs, they will be posted on our page.

Collaborations

We are very interested in forming collaborations with researchers and engineers working in our fields of interest, and we offer several grants and research fellowships to support these working relationships. Please check out the PL Research website for further details and application instructions.

Community

Please join us for discussion an anything in the CryptoNetLab orbit on our discussion forum

Publications, Talks, & Tutorials

You can vew our current slate of publications, talks, and other resources on our webpage.

Team

Nicola Greco

Rosario Gennaro

Irene Giacomelli

Anca Nitulescu

Luca Nizzardo

Matteo Campanelli

Nicolas Gailly

Contact

You can reach out to us anytime with your question and interest in these projects by emailing research@protocol.ai

License

Dual-licensed under MIT + Apache 2.0.