tetration-lab Goto Github PK
Name: Tetration Lab
Type: Organization
Bio: A Web3 R&D lab, working on autonomous world and ZKP
Twitter: Tetration_Lab
Name: Tetration Lab
Type: Organization
Bio: A Web3 R&D lab, working on autonomous world and ZKP
Twitter: Tetration_Lab
magic?
Arkworks implementation of cryptographic hash function MiMC
Arkworks implementation of Groth16's phase 2 CRS generation ceremony
Solidity SNARK verifier generator for Arkwork's proof systems.
ZK filter is library for efficient and easy to use set exclusion zero knowledge proof.
Prototype implementations of various Collaborative zkSNARKs.
Tetration Lab's related documents and papers
Multi-Asset Shielded Pools with external interaction and compliance features. Trade, LP, stake, and more privately while comply with regulators.
python interface for chiquito ZKP DSL
Interfaces for Relations and SNARKs for these relations
Solidity implementation of a twisted Edwards curve on scalar field of BN254, also known as Baby-Jubjub.
Turing machine ZKVM
Web Tree. a fully on chain game build at ETH global hack Istanbul
Source for evm.codes an Ethereum Virtual Machine Opcodes Interactive Reference
On-chain ctf with claimable bounty using zero-knowledge proof.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.