Pinned Loading

1. arith-circ arith-circ Public

   Domain-specific language for building arithmetic circuits

   Haskell

2. ZK Hack 5 Puzzle 2: don't look up ZK Hack 5 Puzzle 2: don't look up

   1

   *Part of [ZK Hack V](https://zkhack.dev/zkhackV/)*

   2

   3

   Lookup arguments based on logarithmic derivatives are super fast. Protocols that use small fields are super fast. Let's combine both!

   4

   5

   We've implemented a range check for $`[0, 2^6-1]`$ using the special-sound lookup protocol of [ProtoStar](https://eprint.iacr.org/2023/620) (see Section 4.3, p. 34) which itself is a variant of [LogUp](https://eprint.iacr.org/2022/1530). To make this faster, we use a ≈16-bit prime field and take challenges from a larger extension to have roughly 100 bits of security.

3. dice-game dice-game Public

   Dice of Doom game

   Haskell

4. uksiem-parser uksiem-parser Public

   Parser for UK Legislation Documents

   Python