lurk-rs
perspective
Our great sponsors
lurk-rs | perspective | |
---|---|---|
6 | 45 | |
396 | 7,535 | |
7.3% | 4.4% | |
9.6 | 9.3 | |
7 days ago | 9 days ago | |
Rust | C++ | |
Apache License 2.0 | Apache License 2.0 |
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.
perspective
- Ask HN: How Can I Make My Front End React to Database Changes in Real-Time?
-
The Design Philosophy of Great Tables (Software Package)
Why do you want to render to canvas?
Perspective seems to be the most performant html table. It is more focused on extremely fast updates than styling, although it looks good.
Glide is a newcomer that also renders to canvas.
https://github.com/finos/perspective
https://github.com/glideapps/glide-data-grid
-
Show HN: WhatTheDuck – open-source, in-browser SQL on CSV files
SQL workbench also uses https://perspective.finos.org/ for tables. It's a WASM table library which pairs nicely with duckdb and works well with large tables.
-
React Spreadsheet 2 – Your Own Google Sheets
Yes. We are working on adding support for aggregation and pivoting using https://github.com/finos/perspective
-
Show HN: DataSheetGrid, an Airtable-like React component
I haven't looked extensively at react-datasheet. It looks like it is trying to build more of a full product than the other data tables.
I have used ag-grid extensively, its an impressive product. Some pieces are a little awkward to use, particularly auto-sizing. But generally ag-grid has thought of most functionality and has a solution. The creator of ag-grid had a great interview on Javascript Jabber [1].
The other serious data table component that I have seen is FinOS Perspective [2]. This is extremely high performance, also more specialized and probably harder to customize. I think Perspective renders to a canvas element from Rust/C++ compiled to WASM (not 100% sure). It is also made for streaming updates.
AG-Grid supports streaming updates... but only in the commercial version.
Eventually the data model for these types of tables becomes tricky. I will be investigating parquet-wasm for my use case. Hit me up if you want to collaborate.
[1] https://blog.ag-grid.com/javascript-jabber-podcast/
[2] https://perspective.finos.org/
- Perspective Market Simulation
-
ChDB: Embedded OLAP SQL Engine Powered by ClickHouse
Something like https://github.com/finos/perspective ? We use an OLAP(-y) WASM engine to provide query-ability to our data visualization tool, and doing the calculations in the browser is cheaper and simpler than a server-side database for datasets that fit in browser memory.
- Show HN: Udsv.js – A faster CSV parser in 5KB (min)
- Perspective 2.0, Open Source WebAssembly-Powered BI
What are some alternatives?
sprig - 🍃 Learn to code by making games in a JavaScript web-based game editor.
ag-Grid - The best JavaScript Data Table for building Enterprise Applications. Supports React / Angular / Vue / Plain JavaScript.
Nova - Nova: High-speed recursive arguments from folding schemes
arquero - Query processing and transformation of array-backed data tables.
twenty-first - Collection of mathematics routines and cryptography for the twenty-first century
datapane - Build and share data reports in 100% Python
HANDSONTABLE - JavaScript data grid with a spreadsheet look & feel. Works with React, Angular, and Vue. Supported by the Handsontable team ⚡
nocodb - 🔥 🔥 🔥 Open Source Airtable Alternative
taiga - A framework for generalized shielded state transitions
ClickHouse - ClickHouse® is a free analytics DBMS for big data
o1js - TypeScript framework for zk-SNARKs and zkApps
SandDance - Visually explore, understand, and present your data.