8000 finiteprods (finiteprods) · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View finiteprods's full-sized avatar
6 followers · 3 following
  • UK

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report finiteprods

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. arith-circ arith-circ Public

    Domain-specific language for building arithmetic circuits

    Haskell

  2. ZK Hack 5 Puzzle 2: don't look up ZK Hack 5 Puzzle 2: don't look up
    1 
    Lookup arguments based on logarithmic derivatives are super fast. Protocols that use small fields are super fast. Let's combine both!
    2 
    
              
    
              
    
                3
                
    We've implemented a range check for $`[0, 2^6-1]`$ using the special-sound lookup protocol of [ProtoStar](https://eprint.iacr.org/2023/620) (see Section 4.3, p. 34) which itself is a variant of [LogUp](https://eprint.iacr.org/2022/1530). To make this faster, we use a ≈16-bit prime field and take challenges from a larger extension to have roughly 100 bits of security.
    
              
    
              
    
                4
                
    
              
    
              
    
                5
                
    Can you submit a passing proof that $`2^{15}`$ is in the expected range?
    
              
    
          
    
    
    
  
    

    3. 

      
  3. 
  
    
    
    
      
    
        
    
            
          uksiem-parser  uksiem-parser          Public
        
    
      
    


      
    
        Parser for UK Legislation Documents
      
    

      
    
          
  
  Python


      
    
    
    
  
    

    4. 

      
  4. 
  
    
    
    
      
    
        
    
            
          zksecurity/noname  zksecurity/noname          Public
        
    
      
    


      
    
        Noname: a programming language to write zkapps
      
    

      
    
          
  
  Rust


          
            
    

            216
          
          
            
    

            63
          
      
    
    
    
  
    

    5. 












      
  
        

          
  
    
    

        

        

  





        

      





      
  


          



    



  

    

    

    





    
    

    

  


0