testing examples

PeaceFounder · Nov 6, 2024 · 1000d67 · 1000d67
1 parent d36c786
commit 1000d67
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -133,8 +133,8 @@ simulator = braid(Y, g, verifier)
 @assert verify(simulator)
 
 # Get outputs
-h = output_generator(simulator.proposition)
-Y′ = output_members(simulator.proposition)
+h = ShuffleProofs.output_generator(simulator.proposition)
+Y′ = ShuffleProofs.output_members(simulator.proposition)
 
 # Verify membership preservation
 @assert sort(h .^ y) == sort(Y′)

diff --git a/src/ShuffleProofs.jl b/src/ShuffleProofs.jl
@@ -20,4 +20,6 @@ Base.isvalid(::Type{VShuffleProof{G, N}}, proposition::Shuffle{G, N}) where {G <
 include("braid.jl")
 include("serializer.jl")
 
+export prove, verify, shuffle, braid
+
 end # module