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.
aoc
2020
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/
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/aoc
2020
semaraugusto/interpreter-rs
My implementation in rust for https://interpreterbook.com/
semaraugusto/mlgo
semaraugusto/asterisc
Work in progress RISC-V interactive fraud-proof tech
semaraugusto/circomlib-ml
Circom Circuits Library for Machine Learning
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/kona
A suite of libraries and build pipelines for developing verifiable Rust programs targeting Fault Proof VMs.
semaraugusto/libstark-bindgen-test
A binding for BairWitness using libSTARK library and rust with bindgen
semaraugusto/miryoku_zmk
Miryoku is an ergonomic, minimal, orthogonal, and universal keyboard layout. Miryoku ZMK is the Miryoku implementation for ZMK.
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/optimism
Optimism is Ethereum, scaled.
semaraugusto/rust
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/snarkjs-issue
demo repo to link onto issue for snarkjs
semaraugusto/sp1
A performant, 100% open-source, contributor-friendly zkVM.
semaraugusto/tokenizers
💥 Fast State-of-the-Art Tokenizers optimized for Research and Production
semaraugusto/unicorn-test
semaraugusto/zkhack-hidden-in-plain-sight
My solution to: https://zkhack.dev/events/puzzle4.html
semaraugusto/zmk-config-corne-xiao-choc