https://github.com/lurk-lang

Skip to content
 
lurk-lang
Sign up

  * Product
      + Features
      + Mobile
      + Actions
      + Codespaces
      + Copilot
      + Packages
      + Security
      + Code review
      + Issues
      + Integrations
      + GitHub Sponsors
      + Customer stories
  * Team
  * Enterprise
  * Explore
      + Explore GitHub
      + Learn and contribute
      + Topics
      + Collections
      + Trending
      + Skills
      + GitHub Sponsors
      + Open source guides
      + Connect with others
      + The ReadME Project
      + Events
      + Community forum
      + GitHub Education
      + GitHub Stars program
  * Marketplace
  * Pricing
      + Plans
      + Compare plans
      + Contact Sales
      + Education

[                    ] 

  *  
    #
    In this organization All GitHub |
    Jump to |

  * No suggested jump to results

  *  
    #
    In this organization All GitHub |
    Jump to |
  *  
    #
    Search All GitHub |
    Jump to |
  *  
    #
    In this organization All GitHub |
    Jump to |

Sign in
Sign up
{{ message }}
@lurk-lang

lurk-lang

  * Overview
  * Repositories
  * Projects
  * Packages
  * People

More

  * Overview
  * Repositories
  * Projects
  * Packages
  * People

readme.md

 Welcome to lurk-lang

             [156452981-7f739d89-14a8-4a10-9071-b805f2f]

 Lurk

Lurk is an in-development programming language for Turing-complete
recursive SNARKs.

 Disclaimer

DISCLAIMER: Lurk is an early research-stage language. Neither the
cryptography nor the software has been audited, and there is
currently no trusted setup for Groth16 circuits. Do not use Lurk in
production environments or anywhere else that security is necessary.

 lurk and lurk-rs

lurk-rs is the Rust implementation of Lurk, which generates binaries
via rustc. The Rust implementation supports expression evaluation,
proof of correct evaluation, and proof verification. Lurk-rs also
provides preliminary support for WASM.

lurk is a Common Lisp reference implementation of Lurk. This
implementation only supports expression evaluation. The language
specification lives in this repo, and the implementation provided
there aims for simplicity and demonstration of the intended semantics
without the proving tools of lurk-rs.

 Features of Lurk

  * Lurk program execution can be proved in zero knowledge.
  * Lurk proofs support multiple backend SNARK proving systems.
  * Lurk enables incremental computation and proofs in unbounded
    loops.
  * Lurk provides conditional control flow.
  * Lurk programs are data and vice versa.
  * Lurk data is content-addressable for compatibility with IPLD/
    IPFS.

 License

MIT or Apache 2.0

Pinned

 1. lurk-rs Public

    Rust 70 5

 2. lurk Public

    Lisp implementation of Lurk.

    Common Lisp 11 1

 3. lurk-lib Public

    Shared Lurk source code, including tests and library code.

    2

Repositories

[                    ]
Type
Select type
(*) All ( ) Public ( ) Sources ( ) Forks ( ) Archived ( ) Mirrors ( )
Templates
Language
Select language
(*) All ( ) Common Lisp ( ) Rust
Sort
Select order
(*) Last updated ( ) Name ( ) Stars
  * lurk-rs Public
    Rust 70 5 13 5 Updated Jul 5, 2022
  * lurk Public

    Lisp implementation of Lurk.

    Common Lisp 11 MIT 1 5 2 Updated Jul 1, 2022
  * lurk-lib Public

    Shared Lurk source code, including tests and library code.

    2 MIT 0 2 1 Updated Jun 30, 2022
  * lurk-parse Public

    Parser library for Lurk terms

    Rust 0 0 0 0 Updated May 30, 2022
  * Nova Public

    Nova: Recursive SNARKs without trusted setup

    Rust 2 MIT 18 0 0 Updated May 19, 2022
  * libipld Public

    Rust IPLD library

    Rust 0 Apache-2.0 25 0 0 Updated May 5, 2022
  * bellperson-nonnative Public

    Non-native arithmetic for SNARKs

    Rust 0 19 0 0 Updated Apr 23, 2022
  * neptune Public

    Rust Poseidon implementation.

    Rust 0 52 0 0 Updated Apr 22, 2022
  * ec-gpu Public

    OpenCL code generator for finite-field arithmetic over arbitrary
    prime fields

    Rust 0 14 0 0 Updated Apr 21, 2022
  * bellperson Public

    zk-SNARK library

    Rust 0 375 0 0 Updated Apr 20, 2022

View all repositories

People

This organization has no public members. You must be a member to see
who's a part of this organization.

Top languages

Rust Common Lisp

Most used topics

Loading...

Footer

 (c) 2022 GitHub, Inc.

Footer navigation

  * Terms
  * Privacy
  * Security
  * Status
  * Docs
  * Contact GitHub
  * Pricing
  * API
  * Training
  * Blog
  * About

You can't perform that action at this time.
You signed in with another tab or window. Reload to refresh your
session. You signed out in another tab or window. Reload to refresh
your session.