markus's repositories
minimal-ecne
Ecne: An engine for verifying the soundness of R1CS constraints
BattleZips-Noir
Noir implementation of BattleZips circuits
bayesian-hierarchical-models
Research Module in Econometrics and Statistics at Univ. Bonn (2019/2020) on Bayesian Hierarchical Models.
circom-rln
Rate-Limiting Nullifier circuits in Circom
circom_tester
Provides tools for testing circom circuits.
circomjs
CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.
docs
DittoETH docs
eth-gas-reporter
Gas usage per unit test. Average gas usage per method. A mocha reporter.
evm.codes
Source for evm.codes an Ethereum Virtual Machine Opcodes Interactive Reference
foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
huff-docs
Extensive Huff Language Documentation, Tutorials, and Resources built with Vuepress and deployed at https://docs.huff.sh
miden-vm
STARK-based virtual machine
protocol-studies
A study group learning about Ethereum and building protocol wiki
slitherin
Slither Detectors by Pessimistic.io
solidity-coverage
Code coverage for Solidity smart-contracts
uncloak
a community-maintained cryptography resource
zero-knowledge-puzzles
Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.
zk-bug-tracker
A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.
zkPoEX
zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, facilitating efficient communication and collaboration between hackers and project owners for a more secure DeFi ecosystem.