Tibor Tribus (tribuste)

tribuste

Geek Repo

Company:MAYA-ZK

Location:Prague

Home Page:https://www.maya-zk.com/

Twitter:@TiborTribus

Github PK Tool:Github PK Tool


Organizations
MAYA-ZK

Tibor Tribus's starred repositories

lambda_ethereum_rust

Lambda Ethereum Rust Execution client

Language:RustLicense:Apache-2.0Stargazers:172Issues:0Issues:0

mactop

mactop - Apple Silicon Monitor Top written in pure Golang! Under 1,000 lines of code.

Language:GoLicense:MITStargazers:1477Issues:0Issues:0

bitcoin

Bitcoin Core integration/staging tree

Language:C++License:MITStargazers:79258Issues:0Issues:0

zkevm-proverjs

zkEVM proof generator reference written in Javascript

Language:JavaScriptLicense:NOASSERTIONStargazers:77Issues:0Issues:0

gevulot

Gevulot is an internet scale compute network for zero-knowledge proof generation and verification.

Language:RustLicense:Apache-2.0Stargazers:156Issues:0Issues:0

concrete

Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.

Language:RustLicense:Apache-2.0Stargazers:124Issues:0Issues:0

ZoKrates

A toolbox for zkSNARKs on Ethereum

Language:RustLicense:LGPL-3.0Stargazers:1827Issues:0Issues:0

succinctx

The schelling point for ZK applications.

Language:RustLicense:Apache-2.0Stargazers:134Issues:0Issues:0

Nova-Scotia

Middleware to compile Circom circuits to Nova prover

Language:JavaScriptLicense:MITStargazers:234Issues:0Issues:0

awesome-prover-mechanisms

An awesome list of prover mechanism resources of the zk ecosystem

Stargazers:7Issues:0Issues:0

MetaGPT

🌟 The Multi-Agent Framework: First AI Software Company, Towards Natural Language Programming

Language:PythonLicense:MITStargazers:45052Issues:0Issues:0

zk-Harness

Benchmarking framework for general purpose zero-knowledge proofs languages and libraries

Language:PythonLicense:MITStargazers:98Issues:0Issues:0

constantine

Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.

Language:NimLicense:NOASSERTIONStargazers:408Issues:0Issues:0
Language:RustLicense:MPL-2.0Stargazers:13Issues:0Issues:0

prize-gpu-fpga-msm

Accelerating MSM Operations on GPU/FPGA

Language:RustLicense:NOASSERTIONStargazers:11Issues:0Issues:0

Mr.-Ranedeer-AI-Tutor

A GPT-4 AI Tutor Prompt for customizable personalized learning experiences.

Stargazers:28841Issues:0Issues:0

plantaznik

CLI helper for managing PlantUML diagram sources and their previews in Markdown files

Language:RustLicense:MITStargazers:12Issues:0Issues:0

lambdaworks

lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

Language:RustLicense:Apache-2.0Stargazers:618Issues:0Issues:0
Language:RustLicense:Apache-2.0Stargazers:1Issues:0Issues:0

ezkl

ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.

Language:RustStargazers:939Issues:0Issues:0

risc0

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Language:C++License:Apache-2.0Stargazers:1673Issues:0Issues:0

ZKbasicsCS

Zero-Knowledge Proofs "for (not too much :wink: ) dummies"

Stargazers:118Issues:0Issues:0

openai_pipe

A UNIX-ey interface to OpenAI

Language:RubyLicense:MITStargazers:194Issues:0Issues:0

rust-blog

Educational blog posts for Rust beginners

Language:RustLicense:Apache-2.0Stargazers:7518Issues:0Issues:0

firedancer

Firedancer is Jump Crypto's Solana validator software.

Language:CLicense:NOASSERTIONStargazers:952Issues:0Issues:0

chatgpt-google-extension

This project is deprecated. Check my new project ChatHub:

Language:TypeScriptLicense:GPL-3.0Stargazers:13263Issues:0Issues:0

awesome-zero-knowledge-proofs

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

License:NOASSERTIONStargazers:5286Issues:0Issues:0

the-art-of-command-line

Master the command line, in one page

Stargazers:153546Issues:0Issues:0

stablediffusion

High-Resolution Image Synthesis with Latent Diffusion Models

Language:PythonLicense:MITStargazers:39098Issues:0Issues:0