clean/Clean.lean at main · ZKForAll/clean · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
import Clean.Circuit
import Clean.Circomlib.AliasCheck
import Clean.Circomlib.BinSum
import Clean.Circomlib.BinSub
import Clean.Circomlib.Bitify
import Clean.Circomlib.Bitify2
import Clean.Circomlib.Gates
import Clean.Circomlib.Comparators
import Clean.Circomlib.CompConstant
import Clean.Circomlib.Mux1
import Clean.Circomlib.Sign
import Clean.Examples.AddOperations
import Clean.Examples.Add32Explicit
import Clean.Examples.ToJson
import Clean.Examples.FemtoCairo.FemtoCairo
import Clean.Tables.Fibonacci8
import Clean.Tables.Fibonacci32
import Clean.Tables.Fibonacci32Inductive
import Clean.Tables.KeccakInductive
import Clean.Tables.BLAKE3.ProcessBlocksInductive
import Clean.Gadgets.Bits
import Clean.Gadgets.Conditional
import Clean.Gadgets.IsZeroField
import Clean.Gadgets.IsZero
import Clean.Gadgets.BLAKE3.ApplyRounds
import Clean.Gadgets.BLAKE3.BLAKE3G
import Clean.Gadgets.BLAKE3.Compress
import Clean.Gadgets.BLAKE3.Permute
import Clean.Gadgets.BLAKE3.FinalStateUpdate
import Clean.Gadgets.BLAKE3.Round
import Clean.Gadgets.BLAKE3.FinalizeChunk
import Clean.Test
import Clean.Specs.BLAKE3.ChunkProcessingTests