https://github.com/fairdatasociety/beezk

bee zero knowledge proofs boilerplate
https://github.com/fairdatasociety/beezk

Last synced: 7 days ago
JSON representation

bee zero knowledge proofs boilerplate

• Host: GitHub
• URL: https://github.com/fairdatasociety/beezk
• Owner: fairDataSociety
• License: mit
• Created: 2022-07-13T18:27:01.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2022-12-16T20:28:51.000Z (almost 2 years ago)
• Last Synced: 2024-04-10T02:56:45.447Z (7 months ago)
• Language: Solidity
• Homepage:
• Size: 461 KB
• Stars: 7
• Watchers: 4
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# beezk

bee zero knowledge proofs boilerplate

forked from https://github.com/ConsenSys/gnark-tests

## beezk boilerplate features

- Write, debug and compile `gnark` circuits using Go tooling

- Write, debug and compile solidity using `Hardhat`

- Output gnark circuit to solidity

## Project structure

### /build

Circuits are compiled inside build directory, where a solidity artifact is created.

### /circuits - gnark circuits

There are two examples from gnark library, the default cubic equation circuit and a MiMC circuit called `age18orOlder`. Additional helper functions are `EdDSA signatures`, `Merkle proofs` and `zk-SNARK verifier`

### /contracts

Solidity contracts

### /test

Solidity tests

## gnark compilation npm command

### npm run compile:circuit

Compiles `build/contract/main.go`, outputs a proof and verifier. Builds a Solidity contract verifier ready to use.

Maintainers

----

- @molekilla

License

---

MIT