lurk-rs
cloud-nuke
Our great sponsors
lurk-rs | cloud-nuke | |
---|---|---|
6 | 34 | |
396 | 2,651 | |
7.3% | 1.0% | |
9.6 | 9.0 | |
7 days ago | 5 days ago | |
Rust | Go | |
Apache License 2.0 | MIT License |
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.
cloud-nuke
-
OpenTF Announces Fork of Terraform
- https://gruntwork.io/ - https://github.com/gruntwork-io
-
Testing IaC Scripts 🧪
After discussing the testing approaches suggested by the two IaC providers Terraform and Pulumi, in the next post we will take a look at the dedicated IaC testing providers takes on this topic. Here we will have a look at Gruntwork and Snyk. So, stay tuned if you are interessted!
- Kubernetes on cloud practice
-
Migrate from terragrunt to terraform
Or your working on gruntwork.io company, this is the only the thing that makes ok all what you say here. However I believe they can make better product instead of angry chat on reddit without getting in details.
- What NEEDS to be teared down after doing a project in AWS?
-
Ask HN: I have an initial platform but not a product. Any SaaS ideas?
Like others have said, your infra might itself be the product.
Look at https://gruntwork.io.
They’ve made a lucrative business by selling infra scripts that others can use.
And their subscription model means they keep the scripts up to date.
-
The Production Checklist & Terraform Advice
Have been checking out terragrunt and terratest lately(part of https://gruntwork.io)
-
Ask HN: Who is hiring? (December 2022)
Gruntwork | Software Engineers (Principal, Staff) | 100% Remote/US time zones | Full-time | https://gruntwork.io/
We aim to improve humanity's most important invention: Software. Our product enables software teams to launch and maintain production-grade cloud infrastructure in days, not months. We create the building blocks that devs use to make launching in AWS with infrastructure as code 10x better.
We work with AWS, K8s, Terraform, Go, Typescript, and React/Next. We’re a small team (~20 people), but our clients include Toyota, Adobe, TicketMaster, Verizon, and lots of startups.
We are profitable, self-funded (no investors, no debt), pay salaries, equity, and bonuses according to transparent formulas, and are very focused on building a company we're proud of. We are 100% remote, with 2/3 of our team in the USA and 1/3 in Europe. We have company-wide in-person meetups every few months. We welcome applicants from all backgrounds.
Our measure of a successful Grunt is (1) think like an owner, (2) make impact, (3) communicate effectively, (4) be a good person. If this sounds like you, we're hiring!
- Principal Software Engineer
- Staff Software Engineer
Learn more at https://gruntwork.io/careers/
-
Best way to install and use kubernetes for learning
Most people hesitate to use cloud hosted offerings for development. First of all, most providers have a generous free tier for devs, which can get you started. Secondly I recommend using tools like cloudnuke to avoid paying for cloud resources you're not using.
- Ask HN: Who is hiring? (November 2022)
What are some alternatives?
sprig - 🍃 Learn to code by making games in a JavaScript web-based game editor.
aws-nuke - Nuke a whole AWS account and delete all its resources.
Nova - Nova: High-speed recursive arguments from folding schemes
terraform-modules - Xenit Terraform modules
twenty-first - Collection of mathematics routines and cryptography for the twenty-first century
former2 - Generate CloudFormation / Terraform / Troposphere templates from your existing AWS resources.
HANDSONTABLE - JavaScript data grid with a spreadsheet look & feel. Works with React, Angular, and Vue. Supported by the Handsontable team ⚡
terraform
taiga - A framework for generalized shielded state transitions
govuk-aws - Legacy AWS infrastructure for GOV.UK. Gradually being updated and moved to govuk-infrastructure.
o1js - TypeScript framework for zk-SNARKs and zkApps
learn-cantrill-io-labs - Standard and Advanced Demos for learn.cantrill.io courses