Semacaulk

Semacaulk is a custom prover and verifier of set membership proofs which uses an on-chain polynomial commitment to enable cheap insertions, and techniques which make verification no more expensive than verifying a Groth16 proof.

For a detailed specification, please refer to [https://hackmd.io/@akinovak/SyE1Z3fLs](this document.)

Quick start

1. Install Rust using these instructions.

2. Install Foundry using these instructions.

3. Clone this repository.

git clone https://github.com/geometryresearch/semacaulk.git && \
cd semacaulk

4. Build the contracts

./build_contracts.sh

5. Run tests

cargo test