lurk-rs
hackclub
Our great sponsors
lurk-rs | hackclub | |
---|---|---|
6 | 41 | |
396 | 2,354 | |
7.3% | 0.1% | |
9.6 | 6.0 | |
7 days ago | 8 days ago | |
Rust | JavaScript | |
Apache License 2.0 | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
lurk-rs
-
Ask HN: Who is hiring? (December 2022)
Lurk Lab @ Protocol Labs | Multiple Positions | REMOTE | Full-time
Lurk Lab is building Lurk (https://github.com/lurk-lang), a Turing-complete programming language for recursive zk-SNARKs. Lurk implements a minimal Lisp whose program executions can be proved in zero-knowledge, yielding succinct proofs that are concretely small and fast to verify. Lurk uses a Rust implementation (https://github.com/lurk-lang/lurk-rs) for expression evaluation, proving, and verification, with Nova (https://github.com/microsoft/Nova/) as its proving backend. Because Lurk is Turing-complete, it can be used to make and prove arbitrary computational claims (within resource limits).
We are looking for strong cryptography engineers, researchers, functional programming language specialists, applications developers, and start-up leaders/web3 entrepreneurs who want to build next-generation SNARK technology.
Ideal candidates will be knowledgeable about the state of the art in zero-knowledge proofs and (if looking for an engineering position) strong in Rust.
We are specifically hiring for:
- Rust Cryptography Engineers
-
Ask HN: Who is hiring? (November 2022)
Lurk Lab is building Lurk (https://github.com/lurk-lang), a Turing-complete programming language for recursive zk-SNARKs. Lurk implements a minimal Lisp whose program executions can be proved in zero-knowledge, yielding succinct proofs that are concretely small and fast to verify. Lurk uses a Rust implementation (https://github.com/lurk-lang/lurk-rs) for expression evaluation, proving, and verification, with Nova (https://github.com/microsoft/Nova/) as its proving backend. Because Lurk is Turing-complete, it can be used to make and prove arbitrary computational claims (within resource limits).
We are looking for strong cryptography engineers, researchers, documentation specialists, applications developers, and start-up leaders/web3 entrepreneurs who want to build next-generation SNARK technology. Relevant programming languages include Rust, Lisp, and (less significantly) WASM.
We are hiring for:
- Rust Cryptography Engineers, https://grnh.se/d94e94ec4us
- Software Engineers for Lurk Application Development, https://grnh.se/de7e82424us
- Documentation Engineer, https://grnh.se/10e2ca4d4us
- Start-up operator / business lead (currently unlisted, email [email protected] with CV and a brief cover letter describing your experience driving the business end of deep technical projects in the web3 space)
-
How to Prove You Know a Secret Without Giving It Away
I recently published a fairly detailed blog post about how to formulate expressive provable programs in Lurk (https://github.com/lurk-lang/lurk-rs). Although this post goes into no details about the underlying proving mechanism, it does build to some pretty powerful ideas. If you haven't thought about the implications of being able to prove correctness of a computation without revealing some or all details of what the computation actually was, you might enjoy it. https://blog.lurk-lang.org/posts/prog-intro/
-
Ask HN: Who is hiring? (October 2022)
Lurk Lab @ Protocol Labs | Multiple Positions | REMOTE | Full-time contract-to-hire
Lurk Lab is building Lurk (https://github.com/lurk-lang), a Turing-complete programming language for recursive zk-SNARKs. Lurk implements a minimal Lisp whose program executions can be proved in zero-knowledge, yielding succinct proofs that are concretely small and fast to verify. Lurk uses a Rust implementation (https://github.com/lurk-lang/lurk-rs) for expression evaluation, proving, and verification, with Nova (https://github.com/microsoft/Nova/) as its proving backend. Because Lurk is Turing-complete, it can be used to make and prove arbitrary computational claims (within resource limits).
We are looking for strong cryptography engineers, researchers, documentation specialists, applications developers, and start-up leaders/web3 entrepreneurs who want to build next-generation SNARK technology. Relevant programming languages include Rust, Lisp, and (less significantly) WASM.
We are hiring for:
- Rust Cryptography Engineers, https://grnh.se/d94e94ec4us
-
Lurk β Language for Recursive ZK-SNARKs Inspired by Common Lisp and Scheme
Nova (for example) doesn't require a trusted setup. The circuit is just a schematic description of the underlying computation. In the case of the Lurk core language, this computation is 'one reduction step of a Lurk evaluation' (https://github.com/lurk-lang/lurk-rs/blob/master/spec/reduct...). Coming up with a 'fixed computation' that yields general computation is part of the design problem for Lurk (or any other Lurk-like language). Even if we did need a per-circuit trusted setup (which we don't), we could perform such a setup for our core circuit and use it to prove arbitrary programs. For example, although we have not actually performed the trusted setup, we do have an example using Groth16 (which does require a trusted setup to be secure) and aggregates the potentially many discrete reduction steps to produce a succinct proof.
hackclub
-
iMessage Explained
OMG I love this. Go get em! Also, this is perfect material for Hack Club. You should join! https://hackclub.com/
-
Show HN: I'm 17 and wrote this guide on how CPUs run programs
Hi! I'm Lexi, I wrote this article/mini-book. There's a classic question of "what happens when you load a website?", but I've always been more interested in "what happens when you run a program?". About 3 months ago, I was really annoyed at myself for not knowing how to answer that question so I decided to teach myself.
I taught myself everything else I know in programming, so this should be easy, right? NOPE! Apparently everything online about how operating systems and CPUs work is terrible. There are, like, no resources. Everything sucks. So while I was teaching myself I realized, hey, I should make a really good resource myself. So I started taking notes on what I was learning, and ended up with a 60-page Google Doc. And then I started writing.
And while I was writing, it turned out that most of the stuff in that giant doc was wrong. And I had to do more research. And I iterated and iterated and iterated and the internet resources continued to be terrible so I needed to make the article better. Then I realized it needed diagrams and drawings, but I didn't know how to do art, so I just pulled out Figma and started experimenting. I had a Wacom tablet lying around that I won at some hackathon, so I used that to draw some things.
Now, about 3 months later, I have something I'm really proud of! I'm happy to finally share the final version of Putting the "You" in CPU. I built this as part of Hack Club (https://hackclub.com), which is a community of other high schoolers who love computers.
It was cool seeing some (accidental) reception on HN a couple weeks ago while this was still a WIP, I really appreciated the feedback I got. I took some time to substantially clean it up and I'm finally happy to share with the world myself.
The website is a static HTML/CSS project, I wrote everything from scratch (I'm especially proud of the navigation components).
I hope you enjoy and learn something!
- A Home for High School Hackers β Hack Club
-
Putting the βYouβ in CPU
Hi! I'm the person who made this thing!
Some backstory on me: I'm 17 and left high school a year ago to work full-time at Hack Club (https://hackclub.com/). I've been programming for as long as I can remember, and started homeschooling about 6 years ago to focus more on that (and my other interests).
Since I'm entirely self-taught, I haven't taken any college systems classes β and while I had picked up a lot, I wasn't happy with my answer to "what happens when you run a thing." So I let myself spend a shit ton of time actually learning as much as possible. What I found was that:
1. Operating systems and hardware are really fun to learn about!
-
Free nonprofit status for relief efforts
In the face of the recent devastating floods in Vermont, Hack Club, a Vermont-based nonprofit, is offering free use of Hack Club Bank for any flood relief efforts in Vermont, New York State, and New Hampshire.
-
Join Hands with Hack Club Bank for Vermont Flood Relief
Facing recent floods, Hack Club is offering free use of Hack Club Bank for relief efforts in VT, NY, and NH. Collect tax-deductible donations easily through various platforms, including GoFundMe. Manage funds collaboratively on our easy-to-use online platform, and issue physical or virtual cards for your charitable expenses. As Vermonters, weβre eager to assist fellow Vermonters. Start within 24 hours by emailing [[email protected]](mailto:[email protected]) or filling out the form on https://hackclub.com/bank.
-
Got both my kids areas and builds all set. Bonus picture of my setup.
Something like https://hackclub.com/
-
Does your team manage your own money?
FIRST alumni and founder of Hack Club here.
- Hack Club: A Home for High School Hackers
-
Ask HN: Free Email Hosting for Nonprofits?
Hack Club is a nonprofit network of hackathons, student-led coding clubs, and open source projects. Our website is https://hackclub.com and our GitHub is https://github.com/hackclub.
We have been receiving free email hosting from Google Workspace and providing it to the Hack Club network, but we recently hit the domain limit (600 domains) on Google Workspace for Nonprofits. Each domain is typically a hackathon or a chapter at a high school.
Does anyone have any recommendations for email hosts that we could look into? As a mostly volunteer-driven nonprofit, we can't afford pay per-user pricing as there are thousands and thousands of accounts.
What are some alternatives?
sprig - π Learn to code by making games in a JavaScript web-based game editor.
canarytokens - Canarytokens helps track activity and actions on your network.
Nova - Nova: High-speed recursive arguments from folding schemes
tailscale - The easiest, most secure way to use WireGuard and 2FA.
twenty-first - Collection of mathematics routines and cryptography for the twenty-first century
nexe - π create a single executable out of your node.js apps
HANDSONTABLE - JavaScript data grid with a spreadsheet look & feel. Works with React, Angular, and Vue. Supported by the Handsontable team β‘
BetterMeet - An open community platform
taiga - A framework for generalized shielded state transitions
Gravitational Teleport - The easiest, and most secure way to access and protect all of your infrastructure.
o1js - TypeScript framework for zk-SNARKs and zkApps
design-system - Hack Club's (old) design system