zkShigoto (Shigoto-dev19)

Shigoto-dev19

Geek Repo

Location:Tunisia

Github PK Tool:Github PK Tool

zkShigoto's starred repositories

deno

A modern runtime for JavaScript and TypeScript.

awesome-vue

🎉 A curated list of awesome things related to Vue.js

ejs

Embedded JavaScript templates for node

dotfiles

config files for zsh, bash, completions, gem, git, irb, rails

Language:ShellLicense:MITStargazers:2314Issues:40Issues:12

kani

Kani Rust Verifier

Language:RustLicense:Apache-2.0Stargazers:2106Issues:23Issues:1628

dotfiles

~grb. Things in here are often interdependent. A lot of stuff relies on scripts in bin/.

Language:Vim ScriptStargazers:1899Issues:107Issues:0

crypto-ecosystems

A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems

Language:RustLicense:NOASSERTIONStargazers:1415Issues:47Issues:73

bellman

zk-SNARK library.

Language:RustLicense:NOASSERTIONStargazers:986Issues:39Issues:40

install-peerdeps

💻 A command-line interface to install an NPM package and its peer dependencies automatically.

Language:JavaScriptLicense:MITStargazers:297Issues:5Issues:67

zk-kit

A monorepo of reusable libraries for zero-knowledge technologies.

Language:TypeScriptLicense:MITStargazers:280Issues:12Issues:128

zkp-app-boilerplate

Build your zkp app with typescript, hardhat, circom, and snarkjs!

Language:TypeScriptLicense:GPL-3.0Stargazers:224Issues:3Issues:2

mpz

Multi-party computation libraries written in Rust 🦀

awesome-circom

A curated list of repos related to Circom

License:GPL-3.0Stargazers:92Issues:4Issues:0

Literatures-on-Homomorphic-Encryption

A reading list for homomorphic encryption

License:MITStargazers:82Issues:5Issues:0

circom-rsa-verify

Zero Knowledge Proof for RSA

Language:JavaScriptLicense:MITStargazers:47Issues:2Issues:3

incrementalquintree

An incremental Merkle tree written in Typescript and circom

Zero-to-ZKP

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.

Language:SolidityStargazers:42Issues:4Issues:0

screeps-typescript-profiler

A light-weight TypeScript profiler for tagging classes and methods

aes-circom

AES-GCM implementation in Circom

byo_mint

A compressed NFT mint program on Solana.

Language:RustLicense:MITStargazers:33Issues:3Issues:0

BattleZips-Noir

Noir implementation of BattleZips circuits

Language:SolidityLicense:GPL-3.0Stargazers:26Issues:1Issues:0

groth16-solana

groth16 verifier implementation with solana altbn syscalls

Language:RustLicense:Apache-2.0Stargazers:19Issues:1Issues:2

circom-ethereum-opcodes

Circom circuits of Ethereum arithmetic and bitwise operators

eslint-config-solana

ESLint rules to be shared across all Solana Labs projects

Language:JavaScriptLicense:MITStargazers:14Issues:3Issues:0

leology

Leology is an Aleo testing framework that makes developing Leo programs faster, easier, and safer.

Language:RustStargazers:12Issues:5Issues:0

Regex-to-NFA-DFA

Convert regex to NFA, DFA and minimize DFA

Language:Jupyter NotebookStargazers:7Issues:1Issues:1
Language:CircomStargazers:2Issues:3Issues:0

circomlib

Library of basic circuits for circom

Language:CircomStargazers:1Issues:0Issues:0

example-repo

Example Circom repository for devconnect

Language:CircomStargazers:1Issues:1Issues:0