# SNARK

> computer program

**Wikidata**: [Q7391799](https://www.wikidata.org/wiki/Q7391799)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/SNARK_(theorem_prover))  
**Source**: https://4ort.xyz/entity/snark-q7391799


## References

1. [Source](http://www.ai.sri.com/~stickel/snark.html)