semaraugusto
Zero Knowledge Engineer and computer science bachelor - Contact: semaraugusto@gmail.com
@webb-toolsBelo Horizonte, Minas Gerais, Brazil
Pinned Repositories
Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
AEDS_3
Trabalhos práticos feitos durante a disciplina de Algoritmos e Estruturas de Dados 3 ministrada na UFMG.
bls-verification-contract
My tentative on implementing BLS verification using solidity. Converting a hash to a point in the BLS curve takes all block gas limit so stopped implementation there (it's not possible to do what I was trying to without the ethereum pre-compiles for BLS operations)
Dotfiles
My dotfiles for software I usually use.
interpreter-rs
My implementation in rust for https://interpreterbook.com/
Mineracao_Dados_2017-2
Assignments for Data Mining discipline in UFMG 2017/2
mlgo
sumcheck-protocol
Sumcheck protocol implementation
protocol-solidity
Cross chain shielded pool infrastructure / protocols.
semaphore-anchor
A interoperable privacy gadget for creating anonymous proof of membership on blockchains.
semaraugusto's Repositories
semaraugusto/sumcheck-protocol
Sumcheck protocol implementation
semaraugusto/bls-verification-contract
My tentative on implementing BLS verification using solidity. Converting a hash to a point in the BLS curve takes all block gas limit so stopped implementation there (it's not possible to do what I was trying to without the ethereum pre-compiles for BLS operations)
semaraugusto/Dotfiles
My dotfiles for software I usually use.
semaraugusto/Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
semaraugusto/interpreter-rs
My implementation in rust for https://interpreterbook.com/
semaraugusto/mlgo
semaraugusto/aoc
2020
semaraugusto/circom-starter
basic circom project using hardhat-circom and docker
semaraugusto/circomlib
Library of basic circuits for circom
semaraugusto/circomlib-ml
Circom Circuits Library for Machine Learning
semaraugusto/crypto-101
My solutions to Dan Boneh's problems on coursera
semaraugusto/deposit-verifier
A smart contract to enhance the user experience of the `eth2` deposit contract.
semaraugusto/gguf
GGUF parser for Go
semaraugusto/halo2-examples
Some halo2 code I wrote to start learning how to use it
semaraugusto/kickstart.nvim
A launch point for my personal nvim configuration
semaraugusto/Lagrange-Interpolation
Lagrange interpolation over prime fields as described in Justin Thaler's book Proofs, Arguments, and Zero-Knowledge available at https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.pdf
semaraugusto/libstark-bindgen-test
A binding for BairWitness using libSTARK library and rust with bindgen
semaraugusto/mobilenet-nova
semaraugusto/monkey_interpreter_ocaml
an interpreter for the monkey language written in ocaml. Monkey language specification taken from https://interpreterbook.com/
semaraugusto/nixos
My nixos config files
semaraugusto/ocaml-projects
Writing some code in OCaml to learn more functional programming
semaraugusto/onebtc
Trustless Bitcoin on Harmony
semaraugusto/protocol-solidity
Webb Protocol implementation in Solidity.
semaraugusto/RollupNC_tutorial
circom and snarkjs / websnark tutorial, using RollupNC as an example
semaraugusto/rust-cross
testing rust cross-compilation for some mips/riscv targets
semaraugusto/RustProjects
Some Rust code I'm writing to learn the language
semaraugusto/semaphore
A privacy gadget for creating anonymous proof of membership on Ethereum.
semaraugusto/snarkjs-issue
demo repo to link onto issue for snarkjs
semaraugusto/unicorn-test
semaraugusto/zkhack-hidden-in-plain-sight
My solution to: https://zkhack.dev/events/puzzle4.html