3 ms·

Noir is a Domain Specific Language for SNARK proving systems. https://noir-lang.org/ https://noir-lang.org/

• 01HNNWZ0MV43FF 2y ago
  I see, I see. And what is a SNARK proving system?
  • conradludgate 2y ago
    "Succinct Non-interactive Arguments of Knowledge", it's a system for zero-knowledge proofs, which allow proving a fact of some kind without disclosing the inputs
  • michaelsbradley 2y ago
    This paper is a great resource if you're unfamiliar with zk-SNARK and how it works: Why and How zk-SNARK Works (2019) https://arxiv.org/abs/1906.07221 https://arxiv.org/abs/1906.07221
• deleted 2y ago
  [deleted]