Stars
🦀 Small exercises to get you used to reading and writing Rust code!
A web application to demonstrate conversion from regular expression to NFA and NFA to DFA.
https://cyberzhg.github.io/toolbox/ Encoding and parsing tools.
JWT verification with zero knowledge proofs
A massively parallel, high-level programming language
A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems
Convert regex to NFA, DFA and minimize DFA
Noir implementation of BattleZips circuits
~grb. Things in here are often interdependent. A lot of stuff relies on scripts in bin/.
config files for zsh, bash, completions, gem, git, irb, rails
🎉 A curated list of awesome things related to Vue.js
Leology is an Aleo testing framework that makes developing Leo programs faster, easier, and safer.
costa-group / circomlib
Forked from iden3/circomlibLibrary of basic circuits for circom
Multi-party computation libraries written in Rust 🦀
A monorepo of reusable libraries for zero-knowledge technologies.
Build your zkp app with typescript, hardhat, circom, and snarkjs!
As I learn more about ZKP and its use cases in blockchain, I'll be updating this repository with new resources and insights to help you stay up-to-date with this exciting technology.
groth16 verifier implementation with solana altbn syscalls
ESLint rules to be shared across all Solana Labs projects
💻 A command-line interface to install an NPM package and its peer dependencies automatically.
A light-weight TypeScript profiler for tagging classes and methods
An incremental Merkle tree written in Typescript and circom
A reading list for homomorphic encryption