github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
Code Issues Projects Releases Wiki Activity

update doc

Browse source
This commit is contained in:
Thibaut Schaeffer 2017-11-26 15:03:35 +01:00
parent 4fafe84214
commit deaa681620
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
examples/waldo.code
View file

@ -1,4 +1,6 @@
// Find Waldo = find a non-prime number in a set
// Where's Waldo is a puzzle where the goal is to find Waldo in the picture of a crowd
// In this example, the crowd is a series of numbers, ideally* all prime but one, and Waldo is a non-prime number
// * we don't enforce only one number being non-prime, so there could be multiple Waldos
def isWaldo(a):
// make sure that p and q are both non zero