This repository was archived by the owner on Jan 26, 2022. It is now read-only.
  
  
  
            
  
    
      forked from arkworks-rs/snark
    
        
        - 
                Notifications
    You must be signed in to change notification settings 
- Fork 4
Jonch/recursivever #7
          
     Open
      
      
            jon-chuang
  wants to merge
  102
  commits into
  master
  
    
      
        
          
  
    
      Choose a base branch
      
     
    
      
        
      
      
        
          
          
        
        
          
            
              
              
              
  
           
        
        
          
            
              
              
           
        
       
     
  
        
          
            
          
            
          
        
       
    
      
from
jonch/recursivever
  
      
      
   
  
    
  
  
  
 
  
      
    base: master
Could not load branches
            
              
  
    Branch not found: {{ refName }}
  
            
                
      Loading
              
            Could not load tags
            
            
              Nothing to show
            
              
  
            
                
      Loading
              
            Are you sure you want to change the base?
            Some commits from the old base branch may be removed from the timeline,
            and old review comments may become outdated.
          
          
                
     Open
            
            
          Conversation
  
    
      This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
      Learn more about bidirectional Unicode characters
    
  
  
    
    | Not sure if calling  
 What we really want is if a thread in a scope encounters a child scope, its state gets put on a stackframe and the thread is then freed to do some other work. Then when the scope ends, the thread gets reactivated, to continue the work. Also not sure whether the fundamental unit is processes or cpu virtual threads... | 
| @jon-chuang should we close this for now? We can keep the branch for posterity. | 
  
      Sign up for free
      to subscribe to this conversation on GitHub.
      Already have an account?
      Sign in.
  
      
  Add this suggestion to a batch that can be applied as a single commit.
  This suggestion is invalid because no changes were made to the code.
  Suggestions cannot be applied while the pull request is closed.
  Suggestions cannot be applied while viewing a subset of changes.
  Only one suggestion per line can be applied in a batch.
  Add this suggestion to a batch that can be applied as a single commit.
  Applying suggestions on deleted lines is not supported.
  You must change the existing code in this line in order to create a valid suggestion.
  Outdated suggestions cannot be applied.
  This suggestion has been applied or marked resolved.
  Suggestions cannot be applied from pending reviews.
  Suggestions cannot be applied on multi-line comments.
  Suggestions cannot be applied while the pull request is queued to merge.
  Suggestion cannot be applied right now. Please check back later.
  
    
  
    
Recursive verification and finer-granularity parallelisation in
multi_scalar_mul_scaledto take advantage of arbitrary number of cores. Requires tuning ofPARALLELISMparameter.