frameworks
                                
                                
                                
                                    frameworks copied to clipboard
                            
                            
                            
                        add Leo
Programming language designed for formally verified, zero-knowledge applications https://eprint.iacr.org/2021/651