status-im
/
nescience
mirror of https://github.com/status-im/nescience.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

Update README.md

This commit is contained in:
Jarrad 2020-10-15 19:33:42 +07:00 committed by GitHub
parent a7f8d0445c
commit f60ace7d58
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
README.md
View File

@ -12,7 +12,7 @@ The ambitions are as follows:
## Circuit Generation
Provable Programs
- [x] API
- [ ] DSL
- [x] DSL
- [x] R1CS
## Proving Systems
@ -51,9 +51,9 @@ Structured Reference String (SRS) generation for Setup
## Special Thanks
Check out these great project which have been the inspiration and reference for Nescience.
Check out these great projects which have been the inspiration and reference for Nescience.
- [Circom](https://github.com/iden3/circom) / [SnarkJS](https://github.com/iden3/snarkjs) (Javascript)
- [libsnark](https://github.com/scipr-lab/libsnark) (C++)
- [Gnark](https://github.com/ConsenSys/gnark) (Go)
- [Bellman](https://github.com/zkcrypto/bellman/) (Rust)
- [Bellman](https://github.com/zkcrypto/bellman/) (Rust)