flaub

Hey, I'm flaub-111859 and I have contributed to the RISC Zero STARK-to-SNARK Prover MPC Phase2 Trusted Setup ceremony.
The following are my contribution signatures:

Circuit # 1 (stark_verify)
Contributor # 10
Contribution Hash: 7c6832b2 50b9c208 0fa748ee cd2d4d8a
		552e37f3 301ecb49 f72622a9 04720e5e
		cfa26453 2f358f0b 6fa2aa95 3f7c0c69
		59a803a6 c924398d f2b47096 5421a0fe

flaub

Hey, I'm flaub-111859 and I have contributed to the RISC Zero Groth16 Verifier MPC Phase2 Trusted Setup ceremony.
The following are my contribution signatures:

Circuit # 1 (verify)
Contributor # 4
Contribution Hash: ecd14c8e 9d9400a5 3c6848a6 29a883ca
		3d2c942e 3b7c38d4 90485068 22dc4e27
		e697fb8d 04d5bd95 0f7d7511 a7458b6c
		33880325 dcd13346 904e9ded d0624c26

flaub

use std::time::{Duration, Instant};
use tracing_core::{span, subscriber::Subscriber};
use tracing_subscriber::{
    fmt::{self, format::FmtSpan},
    layer::Context,
    prelude::*,
    registry::LookupSpan,
    EnvFilter, Layer,
};

flaub

#include "plaidml/edsl/ffi.h"

void ffi_example() {
  int64_t dims[4] = {1, 2, 3, 4};
  plaidml_error err;

  plaidml_edsl_init(&err);
  if (err.code) {
    // This is an example of how to check for errors and how to report them.
    const char* str = plaidml_string_ptr(err.msg);

flaub

struct LoweringPass : public mlir::ModulePass<LoweringPass> {
  void runOnModule() final {
    // Set up target (i.e. what is legal)
    // ...
    
    // Setup rewrite patterns
    OwningRewritePatternList patterns;
    populateWithGenerated(&getContext(), patterns);
    
    // Run the conversion

flaub

#
# Automatically generated file; DO NOT EDIT.
# Crosstool-NG Configuration
#
CT_CONFIGURE_has_static_link=y
CT_CONFIGURE_has_wget=y
CT_CONFIGURE_has_curl=y
CT_CONFIGURE_has_stat_flavor_GNU=y
CT_CONFIGURE_has_make_3_81_or_newer=y
CT_CONFIGURE_has_libtoolize_2_4_or_newer=y

flaub

• BindProgram
  • TypeCheck
    • ApplyDefines (pre-processor expansion)
    • foreach Input
      • Check Input is bound
      • Ensure shapes match
      • foreach Dim
        • Add/Lookup binding
    • foreach Op
• Add const bindings

flaub

# experimental impl for core.symlinks = false
class WindowsFileSystem(FileSystem):
    def islink(self, path, start=None):
        if start:
            path = os.path.relpath(path, start)
        files = git('ls-files', '-s', path)
        lines = files.splitlines()
        if lines:
            first_line = lines[0]
            parts = first_line.split()

flaub

using System;
using System.Collections.Generic;
using System.Data.Entity;
using System.Data.Entity.ModelConfiguration.Conventions;
using System.Data.SQLite;
using System.Linq;

namespace SQliteEF6
{
	class SqliteContext : DbContext