midnight-circuits 7.0.0

Circuit and gadget implementations for Midnight zero-knowledge proofs
Documentation
�F��	"/\bfnrtu0123456789ABCDEFabcdef0123456789ABCDEFabcdef0123456789ABCDEFabcdef0123456789ABCDEFabcdef` !"�#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~dd�d�	d�
dd
d
dd�d�0�1�2�3�4�5�6�7�8�9�A�B�C�D�E�F�a�b�c�d�e�f�0�1�2�3�4�5�6�7�8�9�A�B�C�D�E�F�a�b�c�d�e�f�0123456789ABCDEFabcdef0123456789ABCDEFabcdef0123456789ABCDEFabcdef0123456789ABCDEFabcdef0E1E2E3E4E5E6E7E8E9EAEBECEDEEEFEaEbEcEdEeEfE0F1F2F3F4F5F6F7F8F9FAFBFCFDFEFFFaFbFcFdFeFfF0H1H2H3H4H5H6H7H8H9HAHBHCHDHEHFHaHbHcHdHeHfH0G1G2G3G4G5G6G7G8G9GAGBGCGDGEGFGaGbGcGdGeGfG0I1I2I3I4I5I6I7I8I9IAIBICIDIEIFIaIbIcIdIeIfI0D1D2D3D4D5D6D7D8D9DADBDCDDDEDFDaDbDcDdDeDfD0C1C2C3C4C5C6C7C8C9CACBCCCDCECFCaCbCcCdCeCfC0J1J2J3J4J5J6J7J8J9JAJBJCJDJEJFJaJbJcJdJeJfJ0�1�2�3�4�5�6�7�8�9�A�B�C�D�E�F�a�b�c�d�e�f�0N1N2N3N4N5N6N7N8N9NANBNCNDNENFNaNbNcNdNeNfN 0M1M2M3M4M5M6M7M8M9MAMBMCMDMEMFMaMbMcMdMeMfM!0L1L2L3L4L5L6L7L8L9LALBLCLDLELFLaLbLcLdLeLfL"0K1K2K3K4K5K6K7K8K9KAKBKCKDKEKFKaKbKcKdKeKfK#0O1O2O3O4O5O6O7O8O9OAOBOCODOEOFOaObOcOdOeOfO$0-1-2-3-4-5-6-7-8-9-A-B-C-D-E-F-a-b-c-d-e-f-%05152535455565758595A5B5C5D5E5F5a5b5c5d5e5f5&0:1:2:3:4:5:6:7:8:9:A:B:C:D:E:F:a:b:c:d:e:f:'06162636465666768696A6B6C6D6E6F6a6b6c6d6e6f6(08182838485868788898A8B8C8D8E8F8a8b8c8d8e8f8)07172737475767778797A7B7C7D7E7F7a7b7c7d7e7f7*09192939495969798999A9B9C9D9E9F9a9b9c9d9e9f9+0;1;2;3;4;5;6;7;8;9;A;B;C;D;E;F;a;b;c;d;e;f;,0A1A2A3A4A5A6A7A8A9AAABACADAEAFAaAbAcAdAeAfA-0<1<2<3<4<5<6<7<8<9<A<B<C<D<E<F<a<b<c<d<e<f<.0=1=2=3=4=5=6=7=8=9=A=B=C=D=E=F=a=b=c=d=e=f=/0>1>2>3>4>5>6>7>8>9>A>B>C>D>E>F>a>b>c>d>e>f>00?1?2?3?4?5?6?7?8?9?A?B?C?D?E?F?a?b?c?d?e?f?10@1@2@3@4@5@6@7@8@9@A@B@C@D@E@F@a@b@c@d@e@f@20B1B2B3B4B5B6B7B8B9BABBBCBDBEBFBaBbBcBdBeBfB30123456789ABCDEFabcdef40123456789ABCDEFabcdef50123456789ABCDEFabcdef60123456789ABCDEFabcdef70123456789ABCDEFabcdef80123456789ABCDEFabcdef90123456789ABCDEFabcdef:0123456789ABCDEFabcdef;0123456789ABCDEFabcdef<0123456789ABCDEFabcdef=0123456789ABCDEFabcdef>0!1!2!3!4!5!6!7!8!9!A!B!C!D!E!F!a!b!c!d!e!f!?0 1 2 3 4 5 6 7 8 9 A B C D E F a b c d e f @0"1"2"3"4"5"6"7"8"9"A"B"C"D"E"F"a"b"c"d"e"f"A0123456789ABCDEFabcdefB0#1#2#3#4#5#6#7#8#9#A#B#C#D#E#F#a#b#c#d#e#f#C0�1�2�3�4�5�6�7�8�9�A�B�C�D�E�F�a�b�c�d�e�f�D0�1�2�3�4�5�6�7�8�9�A�B�C�D�E�F�a�b�c�d�e�f�E0}1}2}3}4}5}6}7}8}9}A}B}C}D}E}F}a}b}c}d}e}f}F0~1~2~3~4~5~6~7~8~9~A~B~C~D~E~F~a~b~c~d~e~f~G0123456789ABCDEFabcdefH0�1�2�3�4�5�6�7�8�9�A�B�C�D�E�F�a�b�c�d�e�f�I0�1�2�3�4�5�6�7�8�9�A�B�C�D�E�F�a�b�c�d�e�f�J0�1�2�3�4�5�6�7�8�9�A�B�C�D�E�F�a�b�c�d�e�f�K0�1�2�3�4�5�6�7�8�9�A�B�C�D�E�F�a�b�c�d�e�f�L0�1�2�3�4�5�6�7�8�9�A�B�C�D�E�F�a�b�c�d�e�f�M0�1�2�3�4�5�6�7�8�9�A�B�C�D�E�F�a�b�c�d�e�f�N0�1�2�3�4�5�6�7�8�9�A�B�C�D�E�F�a�b�c�d�e�f�O0�1�2�3�4�5�6�7�8�9�A�B�C�D�E�F�a�b�c�d�e�f�P	P
P P:�Q	Q
Q Q:�R	R
R R:�S	S
S S:�T	T
T T:�U	U
U U:�V	V
V V:�W	W
W W:pX	X
X X:nY	Y
Y Y:oZ	Z
Z Z:�[	[
[ [:�\	\
\ \:�]	]
] ]:^	^
^ ^:�_	_
_ _:~`	`
` `:xa	a
a a:zb	b
b b:yc	c
c c:{d	d
d d:}e	e
e e:�f	f
f f:�g	g
g g:�h	h
h h:�i	i
i i:�j	j
j j:�k	k
k k:�l	l
l l:�m	m
m m:�n
	n
n n0�1�2�3�4�5�6�7�8�9�o
	o
o o0�1�2�3�4�5�6�7�8�9�p
	p
p p0�1�2�3�4�5�6�7�8�9�q	q
q q}�r	r
r r}�s	s
s s}�t	t
t t}�u	u
u u}�v	v
v v}ww	w
w w}qx	x
x x[�y	y
y y[�z	z
z z[�{	{
{ {{�|	|
| |{�}	}
} }{�~	~
~ ~{�	
 {��	�
� �]�{��	�
� �,�0�1�2�3�4�5�6�7�8�9��	�
� �,�0�1�2�3�4�5�6�7�8�9��	�
� �,�0�1�2�3�4�5�6�7�8�9��	�
� �,��	�
� �,��	�
� �,��	�
� �,��	�
� �,��	�
� �,��	�
� �,��	�
� �,��	�
� �,��	�
� �,��	�
� �,��	�
� �,��	�
� �,��	�
� �,��	�
� �,��	�
� �,��	�
� �,��	�
� �,��	�
� �,��	�
� �,��	�
� �,��	�
� �,��	�
� �,�}��	�
� �,|]��	�
� �,�]��	�
� �,�]��x��x��xJ�x��m&�m�m�m��n,�nw�n)�n�nI�nm�nG�nO�nM�nL�	"�/�\�b�f�n�r�t�u��	"�/�\�b�f�n�r�t�ua�i	�i�i��i�i*�iD�i��i�i��i��i��i��i��i��i.�i-�i/�0�1�2�3�4�5�6�7�8�9�A�B�C�D�E�F�a�b�c�d�e�f��0�1�2�3�4�5�6�7�8�9�A�B�C�D�E�F�a�b�c�d�e�f��0�1�2�3�4�5�6�7�8�9�A�B�C�D�E�F�a�b�c�d�e�f��0�1�2�3�4�5�6�7�8�9�A�B�C�D�E�F�a�b�c�d�e�f��v��v	�v��h �h�	"�/�\�b�f�n�r�t�u2�o��o��o��0�1�2�3�4�5�6�7�8�9�A�B�C�D�E�F�a�b�c�d�e�f��0�1�2�3�4�5�6�7�8�9�A�B�C�D�E�F�a�b�c�d�e�f��0�1�2�3�4�5�6�7�8�9�A�B�C�D�E�F�a�b�c�d�e�f��0�1�2�3�4�5�6�7�8�9�A�B�C�D�E�F�a�b�c�d�e�f��	"�/�\�b�f�n�r�t�u��k��k\�f+�f��@��s�s��s;�s{�s��s<�sz�s|�s��s��sR�sP�sZ�sY�sX�r�r�r�r�rS�r��r��r��j�p�p��p8�p�p��p
�p�cn�c��c��c��c��c��c�cKe�e�e�e�e�eee�e�	e�
e�e�e�
e�e�e�e�ee
ee�ee�e
e�SWS4S=w�g�I�I D!!aV"aN#aQ$aT%aU&a�'a�(a�)aH*a>+a�,aB-aA.a@/a?00�1�2�3�4�5�6�7�8�9�A�B�C�D�E�F�a�b�c�d�e�f�100102030405060708090A0B0C0D0E0F0a0b0c0d0e0f0203132333435363738393A3B3C3D3E3F3a3b3c3d3e3f3301112131415161718191A1B1C1D1E1F1a1b1c1d1e1f14c�uv5u�6u�7u�8uy9u�:u�;u<uu=uv>l�?l@lAlBlCl�DlfEJF{�Gt�Ht�ItJt�Kt�Lt�Mt�Nt9Ot�PtQt7RtoSt�Tt5Ut6VtWt"Xt$Yt%Zt#[th\ti]tg^tk_tj`0c1c2c3c4c5c6c7c8c9cAcBcCcDcEcFcacbcccdcecfca0b1b2b3b4b5b6b7b8b9bAbBbCbDbEbFbabbbcbdbebfbb0`1`2`3`4`5`6`7`8`9`A`B`C`D`E`F`a`b`c`d`e`f`c0�1�2�3�4�5�6�7�8�9�A�B�C�D�E�F�a�b�c�d�e�f�dy�eyEfylgy�hy�iy�jy�ky�lN'mN(nKoC�p0s1s2s3s4s5s6s7s8s9sAsBsCsDsEsFsasbscsdsesfsq0r1r2r3r4r5r6r7r8r9rArBrCrDrErFrarbrcrdrerfrr0p1p2p3p4p5p6p7p8p9pApBpCpDpEpFpapbpcpdpepfps0�1�2�3�4�5�6�7�8�9�A�B�C�D�E�F�a�b�c�d�e�f�t	"�/�\�b�f�n�r�t�uqub�vb�wb�xb�ybCzL�{L�|P:}` }!}"�#}$}%}&}'}(})}*}+},}-}.}/}0}1}2}3}4}5}6}7}8}9}:};}<}=}>}?}@}A}B}C}D}E}F}G}H}I}J}K}L}M}N}O}P}Q}R}S}T}U}V}W}X}Y}Z}[}\�]}^}_}`}a}b}c}d}e}f}g}h}i}j}k}l}m}n}o}p}q}r}s}t}u}v}w}x}y}z}{}|}}}~}}~` ~!~"�#~$~%~&~'~(~)~*~+~,~-~.~/~0~1~2~3~4~5~6~7~8~9~:~;~<~=~>~?~@~A~B~C~D~E~F~G~H~I~J~K~L~M~N~O~P~Q~R~S~T~U~V~W~X~Y~Z~[~\�]~^~_~`~a~b~c~d~e~f~g~h~i~j~k~l~m~n~o~p~q~r~s~t~u~v~w~x~y~z~{~|~}~~~~` !"�#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\�]^_`abcdefghijklmnopqrstuvwxyz{|}~�` �!�"�#�$�%�&�'�(�)�*�+�,�-�.�/�0�1�2�3�4�5�6�7�8�9�:�;�<�=�>�?�@�A�B�C�D�E�F�G�H�I�J�K�L�M�N�O�P�Q�R�S�T�U�V�W�X�Y�Z�[�\�]�^�_�`�a�b�c�d�e�f�g�h�i�j�k�l�m�n�o�p�q�r�s�t�u�v�w�x�y�z�{�|�}�~���` �!�"�#�$�%�&�'�(�)�*�+�,�-�.�/�0�1�2�3�4�5�6�7�8�9�:�;�<�=�>�?�@�A�B�C�D�E�F�G�H�I�J�K�L�M�N�O�P�Q�R�S�T�U�V�W�X�Y�Z�[�\�]�^�_�`�a�b�c�d�e�f�g�h�i�j�k�l�m�n�o�p�q�r�s�t�u�v�w�x�y�z�{�|�}�~���` �!�"�#�$�%�&�'�(�)�*�+�,�-�.�/�0�1�2�3�4�5�6�7�8�9�:�;�<�=�>�?�@�A�B�C�D�E�F�G�H�I�J�K�L�M�N�O�P�Q�R�S�T�U�V�W�X�Y�Z�[�\�]�^�_�`�a�b�c�d�e�f�g�h�i�j�k�l�m�n�o�p�q�r�s�t�u�v�w�x�y�z�{�|�}�~���` �!�"�#�$�%�&�'�(�)�*�+�,�-�.�/�0�1�2�3�4�5�6�7�8�9�:�;�<�=�>�?�@�A�B�C�D�E�F�G�H�I�J�K�L�M�N�O�P�Q�R�S�T�U�V�W�X�Y�Z�[�\�]�^�_�`�a�b�c�d�e�f�g�h�i�j�k�l�m�n�o�p�q�r�s�t�u�v�w�x�y�z�{�|�}�~���` �!�"�#�$�%�&�'�(�)�*�+�,�-�.�/�0�1�2�3�4�5�6�7�8�9�:�;�<�=�>�?�@�A�B�C�D�E�F�G�H�I�J�K�L�M�N�O�P�Q�R�S�T�U�V�W�X�Y�Z�[�\�]�^�_�`�a�b�c�d�e�f�g�h�i�j�k�l�m�n�o�p�q�r�s�t�u�v�w�x�y�z�{�|�}�~���` �!�"�#�$�%�&�'�(�)�*�+�,�-�.�/�0�1�2�3�4�5�6�7�8�9�:�;�<�=�>�?�@�A�B�C�D�E�F�G�H�I�J�K�L�M�N�O�P�Q�R�S�T�U�V�W�X�Y�Z�[�\�]�^�_�`�a�b�c�d�e�f�g�h�i�j�k�l�m�n�o�p�q�r�s�t�u�v�w�x�y�z�{�|�}�~���` �!�"�#�$�%�&�'�(�)�*�+�,�-�.�/�0�1�2�3�4�5�6�7�8�9�:�;�<�=�>�?�@�A�B�C�D�E�F�G�H�I�J�K�L�M�N�O�P�Q�R�S�T�U�V�W�X�Y�Z�[�\�]�^�_�`�a�b�c�d�e�f�g�h�i�j�k�l�m�n�o�p�q�r�s�t�u�v�w�x�y�z�{�|�}�~���` �!�"�#�$�%�&�'�(�)�*�+�,�-�.�/�0�1�2�3�4�5�6�7�8�9�:�;�<�=�>�?�@�A�B�C�D�E�F�G�H�I�J�K�L�M�N�O�P�Q�R�S�T�U�V�W�X�Y�Z�[�\�]�^�_�`�a�b�c�d�e�f�g�h�i�j�k�l�m�n�o�p�q�r�s�t�u�v�w�x�y�z�{�|�}�~���` �!�"�#�$�%�&�'�(�)�*�+�,�-�.�/�0�1�2�3�4�5�6�7�8�9�:�;�<�=�>�?�@�A�B�C�D�E�F�G�H�I�J�K�L�M�N�O�P�Q�R�S�T�U�V�W�X�Y�Z�[�\�]�^�_�`�a�b�c�d�e�f�g�h�i�j�k�l�m�n�o�p�q�r�s�t�u�v�w�x�y�z�{�|�}�~���` �!�"�#�$�%�&�'�(�)�*�+�,�-�.�/�0�1�2�3�4�5�6�7�8�9�:�;�<�=�>�?�@�A�B�C�D�E�F�G�H�I�J�K�L�M�N�O�P�Q�R�S�T�U�V�W�X�Y�Z�[�\�]�^�_�`�a�b�c�d�e�f�g�h�i�j�k�l�m�n�o�p�q�r�s�t�u�v�w�x�y�z�{�|�}�~���` �!�"v#�$�%�&�'�(�)�*�+�,�-�.�/�0�1�2�3�4�5�6�7�8�9�:�;�<�=�>�?�@�A�B�C�D�E�F�G�H�I�J�K�L�M�N�O�P�Q�R�S�T�U�V�W�X�Y�Z�[�\�]�^�_�`�a�b�c�d�e�f�g�h�i�j�k�l�m�n�o�p�q�r�s�t�u�v�w�x�y�z�{�|�}�~���` �!�"u#�$�%�&�'�(�)�*�+�,�-�.�/�0�1�2�3�4�5�6�7�8�9�:�;�<�=�>�?�@�A�B�C�D�E�F�G�H�I�J�K�L�M�N�O�P�Q�R�S�T�U�V�W�X�Y�Z�[�\�]�^�_�`�a�b�c�d�e�f�g�h�i�j�k�l�m�n�o�p�q�r�s�t�u�v�w�x�y�z�{�|�}�~���` �!�"t#�$�%�&�'�(�)�*�+�,�-�.�/�0�1�2�3�4�5�6�7�8�9�:�;�<�=�>�?�@�A�B�C�D�E�F�G�H�I�J�K�L�M�N�O�P�Q�R�S�T�U�V�W�X�Y�Z�[�\�]�^�_�`�a�b�c�d�e�f�g�h�i�j�k�l�m�n�o�p�q�r�s�t�u�v�w�x�y�z�{�|�}�~���	�
� �"��	�
� �"��	�
� �"��	�
� �"��	�
� �"��	�
� �"��	�
� �"��	�
� �"�	�
� �"��	�
� �"~�	�
� �"}�	�
� �"��	�
� �"��	�
� �"��	�
� �"��	�
� �"��	�
� �"��	�
� �"��	�
� �"��	�
� �"��	�
� �"��	�
� �"��	�
� �"_�	�
� �"��	�
� �"x�	�
� �"�	�
� �"��	�
� �"��	�
� �"��	�
� �"�	�
� �"��	�
� �"��	�
� �"��	�
� �"d�	�
� �"��	�
� �"��	�
� �"��	�
� �"��	�
� �"��	�
� �"^�	�
� �"��	�
� �"��	�
� �"��	�
� �"��	�
� �"]�	�
� �"[�	�
� �"��	�
� �"��	�
� �"��	�
� �"�	�
� �"��	�
� �"�{��	�
� �"�]��	�
� �"�]��` �!�"�#�$�%�&�'�(�)�*�+�,�-�.�/�0�1�2�3�4�5�6�7�8�9�:�;�<�=�>�?�@�A�B�C�D�E�F�G�H�I�J�K�L�M�N�O�P�Q�R�S�T�U�V�W�X�Y�Z�[�\�]�^�_�`�a�b�c�d�e�f�g�h�i�j�k�l�m�n�o�p�q�r�s�t�u�v�w�x�y�z�{�|�}�~���` �!�"�#�$�%�&�'�(�)�*�+�,�-�.�/�0�1�2�3�4�5�6�7�8�9�:�;�<�=�>�?�@�A�B�C�D�E�F�G�H�I�J�K�L�M�N�O�P�Q�R�S�T�U�V�W�X�Y�Z�[�\�]�^�_�`�a�b�c�d�e�f�g�h�i�j�k�l�m�n�o�p�q�r�s�t�u�v�w�x�y�z�{�|�}�~���` �!�"s#�$�%�&�'�(�)�*�+�,�-�.�/�0�1�2�3�4�5�6�7�8�9�:�;�<�=�>�?�@�A�B�C�D�E�F�G�H�I�J�K�L�M�N�O�P�Q�R�S�T�U�V�W�X�Y�Z�[�\�]�^�_�`�a�b�c�d�e�f�g�h�i�j�k�l�m�n�o�p�q�r�s�t�u�v�w�x�y�z�{�|�}�~���"P�"Q�"V�"U�"S�"T�"R�"X�"Y�"Z�"[�"\�"_�"^�"`�"]�"b�"a�"W�"d�"c�"l�"j�"i�"k�"h�"g�"m�"e�"f�` �!�"r#�$�%�&�'�(�)�*�+�,�-�.�/�0�1�2�3�4�5�6�7�8�9�:�;�<�=�>�?�@�A�B�C�D�E�F�G�H�I�J�K�L�M�N�O�P�Q�R�S�T�U�V�W�X�Y�Z�[�\�]�^�_�`�a�b�c�d�e�f�g�h�i�j�k�l�m�n�o�p�q�r�s�t�u�v�w�x�y�z�{�|�}�~���` �!�"�#�$�%�&�'�(�)�*�+�,�-�.�/�0�1�2�3�4�5�6�7�8�9�:�;�<�=�>�?�@�A�B�C�D�E�F�G�H�I�J�K�L�M�N�O�P�Q�R�S�T�U�V�W�X�Y�Z�[�\t]�^�_�`�a�b�c�d�e�f�g�h�i�j�k�l�m�n�o�p�q�r�s�t�u�v�w�x�y�z�{�|�}�~���	"�/�\�b�f�n�r�t�u2�	"�/�\�b�f�n�r�t�u0�	"�/�\�b�f�n�r�t�u/�	"�/�\�b�f�n�r�t�u.�	"�/�\�b�f�n�r�t�u1�	"�/�\�b�f�n�r�t�u,�	"�/�\�b�f�n�r�t�u%�	"�/�\�b�f�n�r�t�u*�	"/\bfnrtu(�	"�/�\�b�f�n�r�t�u)�	"~/~\~b~f~n~r~t~u'�	"}/}\}b}f}n}r}t}u&�	"�/�\�b�f�n�r�t�u+�	"�/�\�b�f�n�r�t�u$�	"�/�\�b�f�n�r�t�u4�	"�/�\�b�f�n�r�t�u3