tutorial.cpp File Reference

#include "depends/gtest/googletest/include/gtest/gtest.h"
#include <libsnark/gadgetlib2/examples/simple_example.hpp>
#include <libsnark/gadgetlib2/gadget.hpp>
#include <libsnark/relations/constraint_satisfaction_problems/r1cs/examples/r1cs_examples.hpp>
#include <libsnark/zk_proof_systems/ppzksnark/r1cs_ppzksnark/examples/run_r1cs_ppzksnark.hpp>

Include dependency graph for tutorial.cpp:

Go to the source code of this file.

Classes
class	gadgetExamples::NAND_Gadget
class	gadgetExamples::HashDifficultyEnforcer_Gadget
class	gadgetExamples::R1P_VerifyTransactionAmounts_Gadget

Namespaces
	gadgetExamples

Functions
	gadgetExamples::TEST (Examples, ProtoboardUsage)
	gadgetExamples::TEST (Examples, NAND_Gadget)
	gadgetExamples::TEST (Examples, HashDifficultyEnforcer_Gadget)
	gadgetExamples::CREATE_GADGET_BASE_CLASS (VerifyTransactionAmounts_GadgetBase)
	gadgetExamples::CREATE_GADGET_FACTORY_CLASS_3 (VerifyTransactionAmounts_Gadget, VariableArray, txInputAmounts, VariableArray, txOutputAmounts, Variable, minersFee)
	gadgetExamples::TEST (Examples, R1P_VerifyTransactionAmounts_Gadget)
	gadgetExamples::TEST (gadgetLib2, Integration)
int	main (int argc, char **argv)

Detailed Description

Tutorial and usage examples of the gadgetlib2 library and ppzkSNARK integration. This file is meant to be read top-down as a tutorial for gadget writing.

Tutorial and usage examples of the gadgetlib2 library.

Author

This file is part of libsnark, developed by SCIPR Lab and contributors (see AUTHORS).

Copyright

MIT license (see LICENSE file)

Definition in file tutorial.cpp.

Function Documentation

main()

int main	(	int	argc,
		char **	argv
	)

Definition at line 613 of file tutorial.cpp.

{
    ::testing::InitGoogleTest(&argc, argv);
    return RUN_ALL_TESTS();
}