status-im
/
nescience
mirror of https://github.com/status-im/nescience.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity
A Zero-Knowledge Toolkit
5 Commits 1 Branch 0 Tags 59 KiB
Nim 97.5%
Makefile 2.5%
Go to file
Jarrad f60ace7d58
Update README.md 		2020-10-15 19:33:42 +07:00
nescience statusbuidl 2020 DSL 2020-10-15 17:10:35 +07:00
tests statusbuidl 2020 DSL 2020-10-15 17:10:35 +07:00
vendor initial commit 2020-10-05 14:04:05 +07:00
.gitignore statusbuidl 2020 DSL 2020-10-15 17:10:35 +07:00
.gitmodules initial commit 2020-10-05 14:04:05 +07:00
LICENSE-APACHEv2 initial commit 2020-10-05 14:04:05 +07:00
LICENSE-MIT initial commit 2020-10-05 14:04:05 +07:00
Makefile initial commit 2020-10-05 14:04:05 +07:00
README.md Update README.md 2020-10-15 19:33:42 +07:00
nescience.nim It's important for the internet to be correct 2020-10-06 08:24:54 +02:00
nescience.nimble statusbuidl 2020 DSL 2020-10-15 17:10:35 +07:00
nescience.nims initial commit 2020-10-05 14:04:05 +07:00

README.md

Nescience

A Zero Knowledge Toolkit aims to support circuit generation (API & DSL), multiple curves and proving systems.

To Run:

make update make test

The ambitions are as follows:

Circuit Generation

Provable Programs

  • API
  • DSL
  • R1CS

Proving Systems

Curve Support

  • BN128
  • BN254
  • BN256
  • BLS12-381
  • BLS12-377 (Zexe inner curve)
  • SW6 (Zexe outer curve)
  • BW6-761 (More efficient Zexe outer curve)
  • JubJub ?

Gadgets

Standard Library for Circuits

MPC

Structured Reference String (SRS) generation for Setup

Special Thanks

Check out these great projects which have been the inspiration and reference for Nescience.