kindelia / Kindelia
An efficient, secure cryptocomputer
☆615Updated last year
Alternatives and similar repositories for Kindelia:
Users that are interested in Kindelia are comparing it to the libraries listed below
- ☆493Updated 8 months ago
- A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.☆823Updated 6 months ago
- Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:…☆444Updated this week
- Temporary repository for Kind2's refactor based on HVM2☆283Updated 4 months ago
- A modern proof language☆3,628Updated 3 weeks ago
- Inpla: Interaction nets as a programming language (the current version)☆285Updated 3 months ago
- Noir is a domain specific language for zero knowledge proofs☆982Updated this week
- A minimal decentralized computer.☆120Updated 3 years ago
- Systems language with linear types and capability-based security.☆1,168Updated 7 months ago
- An executable specification language with delightful tooling based on the temporal logic of actions (TLA)☆861Updated this week
- Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and eas…☆136Updated this week
- Nova: High-speed recursive arguments from folding schemes☆734Updated last week
- Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦☆462Updated this week
- A STARK prover and verifier for arbitrary computations☆829Updated this week
- Homestar is the individual node that makes up the Everywhere Computer network (similar to how IPFS Kubo, Iroh, Nabu, or other implementat…☆229Updated 4 months ago
- TypeScript framework for zk-SNARKs and zkApps☆556Updated this week
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆815Updated 10 months ago
- cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writin…☆534Updated this week
- lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components…☆656Updated this week
- 🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs☆352Updated 2 months ago
- RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.☆1,786Updated this week
- A modern supercompiler for call-by-value functional languages☆401Updated 3 weeks ago
- STARK-based virtual machine☆644Updated this week
- A programming language for the decentralized web☆448Updated last year
- Wordle, but with ZK proofs!☆216Updated 2 years ago
- The proof systems used by Mina☆429Updated this week
- alternative commune cli/sdk☆28Updated last month
- The Halo2 zero-knowledge proving system☆760Updated last month
- A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.☆562Updated 4 months ago
- Anonymous. Uncensored. Sovereign.☆1,191Updated this week