1  """
 2  GrothExamples - Educational examples and demonstrations for the Groth zkSNARK ecosystem
 3  
 4  This package contains various examples demonstrating the use of:
 5  - GrothAlgebra: Finite field arithmetic and polynomial operations
 6  - GrothCurves: Elliptic curve operations
 7  - GrothProofs: Zero-knowledge proof systems
 8  """
 9  module GrothExamples
10  
11  using GrothAlgebra
12  using GrothCurves
13  using GrothProofs
14  
15  # Include example files
16  include("multiplication_proof.jl")
17  include("test_r1cs_qap.jl")
18  
19  export demonstrate_r1cs_qap, multiplication_proof_example
20  
21  end # module GrothExamples