LorenzoTomaz

Orion

pylookup

Educational Version of Lookup Argument

pylookup

Educational Version of Lookup Argument

hash-based-snargs-book

Source code for "Building Cryptographic Proofs from Hash Functions"

gkr_tutorial

collaborative-zksnark

Prototype implementations of various Collaborative zkSNARKs.

thaler-study

Implementations of protocols from the book 'Proofs, Arguments and Zero Knowledge'

Scalable-Collaborative-zkSNARK

Proof-of-concept implementation of scalable collaborative zk-SNARKs with fully distributed proof generation.

llm.c

LLM training in simple, raw C/CUDA

SplattingAvatar

[CVPR2024] Official implementation of SplattingAvatar.

neurotechdevkit

Neurotech Development Kit (NDK)

pysnark

Library for programming zk-SNARKs directly in Python

nn-zero-to-hero

Neural Networks: Zero to Hero

risc0

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

keras2circom

python tool to transpile a tf.keras model into a circom circuit

zk-mnist

Demo of ML for MNIST classification in a zero knowledge proof

circomlib-ml

Circom Circuits Library for Machine Learning

awesome-zkml

Aggregator for amazing ZKML resources

zokrates-nextjs-demo

tableexplorer

flow-scanner

cadence-webpack-plugin

Webpack plugin that helps importing .cdc files

biosim4

Biological evolution simulator

awesome-cosmos

Collection of Cosmos related resources

pix2code

pix2code: Generating Code from a Graphical User Interface Screenshot

img2code

A neural network trained to generate html codes from webpage screenshots.

awesome-concepts

Awesome list about all kinds of interesting topics: Laws, Principles, Mental Models, Cognitive Biases

awesome

😎 Awesome lists about all kinds of interesting topics

clean-react

Sistema em ReactJs usando Hooks, Typescript, TDD, Clean Architecture, Design Patterns e SOLID principles

imersao-fsfc2